私は jflap に大きく基づいたコースでオートマトンのテストのために勉強しています。問題は、ドキュメントがあまりないことと、jlap で見つけた this や this のようなサンプル オートマトンでは、次のテストに備えるには不十分です。
詳細はどこで確認できますか? サンプルのチューリング マシンが遷移付きのグラフとして示されている他のリソースも役立ちます。
質問する
641 次
2 に答える
2
「オートマトン、言語、および複雑さの問題解決」は、タイトルに関連するあらゆるもののための素晴らしい教科書です。とりわけ、あらゆる種類の DFA/NFA/PDA/TM の例を多数見つけることができ、それらを構築するための多くのテクニックを教えてくれます。
編集：あなたの最初のリンクは、「非決定論的NPDA」と「決定論的NPDA」について話し続けています。私はこのようなプレナズムとオキシモラを非難したいという私の衝動を満たすためだけにこの編集を書いています:)
于 2009-06-26T21:58:00.290 に答える
1
Michael Sipser の優れた本「Introduction to the Theory of Computation」を試してみてください。オートマトンとチューリング マシンはすべて状態図として表現されており、解釈と実装に役立つ十分なテキスト説明が付いています。
これは、第 2 版が出る直前の約 4 年前の Uni でのコース テキストです。それは本当のロックでした、私はそれを心からお勧めします!
于 2009-06-26T21:59:28.057 に答える