2009-06-26 2 views
0

私は、jflapに大きく依存しているコースでオートマトンテストを勉強しています。問題があります。多くのドキュメントがなく、thisthisのようなjlapで見つかったサンプルオートマトンは、今後のテストの準備には不十分です。サンプルオートマトンとチューリングマシンはどこにありますか?

どこでもっと見つけることができますか?遷移を持つグラフとして表示されたサンプルチューリングマシンを備えた他のリソースも役立ちます。

答えて

2

「オートマトン、言語、複雑さの問題解決」はタイトルに何か関連するものの素晴らしいテキストです。とりわけ、あらゆる種類のDFA/NFA/PDAs/TMの例を見つけることができます。それらは、それらを構築するための多くのテクニックを教えてくれます。

編集:あなたの最初のリンクは、「非決定論的NPDA」と「決定的NPDA」について話し続けます。私はそのようなpleonasmsとoxymoraを非難する私の衝動を満たすためにこの編集を書いています:)

+0

その本には素晴らしいexapmplesがあります。どうもありがとう。 – andandandand

1

マイケルシップサーの優れた本"Introduction to the Theory of Computation"を試してください。オートマトンとチューリングマシンはすべて状態図として表現されており、それらの解釈と実装に役立つ十分なテキスト説明があります。

これは約4年前、第2版が出る直前のUniのコーステキストでした。それは本当の岩だった、私はそれを心からお勧めします!

関連する問題