SCXML 描述了什么样的自动机？答案

【问题标题】：What sort of automaton does SCXML describe?SCXML 描述了什么样的自动机？
【发布时间】：2014-06-05 19:07:36
【问题描述】：

SCXML 的局限性是否与确定性有限自动机/确定性有限状态机相同，或者其他抽象机器/自动机是否能更好地捕捉 SCXML 的功能？例如，SCXML 是否可以被认为足以描述下推自动机或图灵机？

【问题讨论】：

【解决方案1】：

没有数据模型，您可以将每个 SCXML 文档映射到等效的 DFA。在将 NFA 转换为 DFA 时，您将使用 powerset 构造。但是对于每一个实际目的来说，jbeard4 都是正确的，只要你有一个图灵完备的数据模型，SCXML 就是图灵完备的。

更新： 我必须在这一点上纠正我。 SCXML，即使没有任何数据模型，也已经是图灵完备的了！使用内部队列作为 FIFO，您可以对确定性队列自动机 (DQA) 进行建模，它等效于图灵机。因此，SCXML 是图灵完备的。

【讨论】：

【解决方案2】：

实际上，SCXML 是图灵完备的，因为它可以使用脚本标签来执行任意图灵完备的代码。

【讨论】：