SCXML の制限は、決定論的有限オートマトン/決定論的有限ステート マシンと同じですか? それとも、SCXML の能力は他の抽象マシン/オートマトンの方がうまく捉えられますか? たとえば、SCXML は、プッシュダウン オートマトンやチューリング マシンを説明するのに十分強力であると考えられますか?
2 に答える
2
データモデルがなくても、すべての SCXML ドキュメントを同等の DFA にマップできます。NFA を DFA に変換する場合と同様に、powerset 構造を使用します。しかし、すべての実用的な目的について、jbeard4 は正しく、チューリングが完了したデータモデルを取得するとすぐに、SCXML はチューリングが完了します。
更新： これについて私を修正する必要があります。SCXML は、データモデルがなくても、既にチューリングが完了しています! 内部キューを FIFO として使用すると、チューリング マシンに相当する決定論的キュー オートマトン (DQA) をモデル化できます。したがって、SCXML はチューリング完全です。
于 2014-07-04T01:59:41.377 に答える
2
実際には、SCXML はスクリプト タグを使用して任意のチューリング完全コードを実行できるため、チューリング完全です。
于 2014-04-21T17:59:40.943 に答える