チューリングマシンや有限状態オートマトンなどの抽象機械を実装するプログラミング言語をご存知ですか?オートマトンプログラミング言語
、次の入力処理である。
- 5タプル(The notorious ⟨Q,Σ,δ,q0,F⟩ from formal languages 101)、チューリングマシンまたは抽象機械の任意の他の形式的な表現のため7-tuple。
- 入力語。
入力単語が受け入れられた単語かどうかを教えてください。
おかげで、
アダム
チューリングマシンや有限状態オートマトンなどの抽象機械を実装するプログラミング言語をご存知ですか?オートマトンプログラミング言語
、次の入力処理である。
入力単語が受け入れられた単語かどうかを教えてください。
おかげで、
アダム
J programming languageは、言語の基本シンボルとして有限状態マシンプロセッサを提供します。そのシンボルのドキュメントはhereです。
しかし、Sequential MachineはJ言語の適切な開始点ではないことを警告します。これは高度なコンポーネントです。 Jにかなり精通していなくてもそれを使用しようとすると、多くの不満が生じます。
Jのシーケンシャルマシンの使用方法を示すアクセシブルなエッセイはHuffman Codingです。
私はチューリングマシンについて知りません。私は人々がそこにシミュレータを書いたと確信しています。 FSAの場合は、正規表現を使用することができます。 :)
私は、タプル表記を利用するより広い言語を探しています。 –