私は、jflapに大きく依存しているコースでオートマトンテストを勉強しています。問題があります。多くのドキュメントがなく、thisとthisのようなjlapで見つかったサンプルオートマトンは、今後のテストの準備には不十分です。サンプルオートマトンとチューリングマシンはどこにありますか?
どこでもっと見つけることができますか?遷移を持つグラフとして表示されたサンプルチューリングマシンを備えた他のリソースも役立ちます。
私は、jflapに大きく依存しているコースでオートマトンテストを勉強しています。問題があります。多くのドキュメントがなく、thisとthisのようなjlapで見つかったサンプルオートマトンは、今後のテストの準備には不十分です。サンプルオートマトンとチューリングマシンはどこにありますか?
どこでもっと見つけることができますか?遷移を持つグラフとして表示されたサンプルチューリングマシンを備えた他のリソースも役立ちます。
「オートマトン、言語、複雑さの問題解決」はタイトルに何か関連するものの素晴らしいテキストです。とりわけ、あらゆる種類のDFA/NFA/PDAs/TMの例を見つけることができます。それらは、それらを構築するための多くのテクニックを教えてくれます。
編集:あなたの最初のリンクは、「非決定論的NPDA」と「決定的NPDA」について話し続けます。私はそのようなpleonasmsとoxymoraを非難する私の衝動を満たすためにこの編集を書いています:)
マイケルシップサーの優れた本"Introduction to the Theory of Computation"を試してください。オートマトンとチューリングマシンはすべて状態図として表現されており、それらの解釈と実装に役立つ十分なテキスト説明があります。
これは約4年前、第2版が出る直前のUniのコーステキストでした。それは本当の岩だった、私はそれを心からお勧めします!
その本には素晴らしいexapmplesがあります。どうもありがとう。 – andandandand