回答:
古典的な参考文献は、「オートマトン理論、言語、および計算入門」です（Hopcroft、Motwani、およびUllmanによる）。一部の人々は、はるかに古い「形式言語とオートマトンとの関係」（HopcroftとUllmanによる）も推奨しています。
しかし、私は「計算理論入門」が好きです（by Sipser）。それは非常によく書かれており、比較的新しい本です。
Dexter KozenによるAutomata＆Computabilityのソフトスポットがあります（目次とサンプルの章 [PS]）。それは非常に徹底的であり、いくつかの本当に興味深い高度なトピックをカバーしています。証明は形式的かつ明示的であり、表記法と書式設定は美しいです。最も重要なことは、エクササイズが優れているため、試験のレベルに応じて、良い教材になることです。
私がコースで最も使用しているのは、2009年ケンブリッジ大学出版局のジャック・サカロヴィッチによるオートマタ理論の要素です。および変換。そして、多くの演習があります。
「言葉に適用された組み合わせ論」、Lothaire、2004年
私のお気に入りです。多数の例があり、絶対的な基礎から、重み付き有限状態トランスデューサーを使用した自動音声認識、バイオインフォマティクスのトピックなど、かなり興味深いオートマトンアプリケーションに至るまで構築されています。
何よりも、無料でダウンロードでき、ソリューションセットも含まれています。
ジョン・C・マーティン
この本を初心者に強くお勧めします。これは、多くの例を探している人に最適です。
Jarkko Kariによる次の講義ノートをお楽しみください。http： //users.utu.fi/jkari/automata/
簡単なコース概要：
Regular languages
Finite automata, regular expressions
Kleene theorem
Pumping lemma
Closure properties and decision algorithms
State minimization, Myhill-Nerode theorem
Context-free languages
Grammars, parsing
Normal forms
Pushdown automata
Pumping lemma
Closure properties and decision algorithms
Turing machines
Recursive and recursively enumerable languages
Universal Turing machines
Undecidability of the halting problem (Turing)
Reductions, other undecidable problems