SCXML描述了什么类型的自动机？

Question

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

Answer 1

没有数据模型，就可以将每个SCXML文档映射到等效的DFA上。您将使用powerset结构，这与将NFAs转换为DFAs没有什么不同。但是对于每一个实际目的，jbeard4都是正确的，只要您有一个图灵完整的数据模型，SCXML就是图灵完整的。

更新：，我必须纠正我在这个问题上的错误。SCXML，即使没有任何数据模型，也已经完成了！使用内部队列作为FIFO，您可以建模一个确定性队列自动机(DQA)，它相当于图灵机。因此，SCXML是图灵完整的.

Answer 2

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