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

Question

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

Answer 1

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

Answer 2

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

<强>更新 我必须纠正这个问题。即使没有任何数据模型，SCXML也已经完成！使用内部队列作为FIFO，您可以建模一个确定性队列自动机（DQA），它等同于图灵机。因此，SCXML是图灵完备的。