关于自动机理论的自学书籍

我需要一本有限的自动机理论书，其中包含许多示例，可用于自学和考试准备。

经典参考是“ 自动机理论，语言和计算简介 ”（由Hopcroft，Motwani和Ullman撰写）。有些人还推荐了更老的“ 形式语言及其与自动机的关系 ”（由Hopcroft和Ullman撰写）。

但是，我喜欢“ 计算理论导论 ”（作者：Sipser）。它写得很好，是一本比较新的书。

我对Dexter Kozen的“ 自动机和可计算性”情有独钟（目录和示例章节 [PS]）。它非常详尽，涵盖了一些非常有趣的高级主题。证明是正式的和明确的，符号和格式很漂亮。最重要的是，这些练习非常好，因此根据您的考试水平，它将是很好的学习材料。

我在课程中使用最多的是《自动机理论的要素》，作者是雅克·萨卡罗维奇（Jacques Sakarovitch），剑桥大学出版社，2009年。它的范围可能与其他课程有所不同，因为它还广泛涵盖了代数方面，形式幂级数，和转导。而且有很多练习。

Lothaire撰写的“单词应用组合词”，2004年

是我最喜欢的地方。大量示例，也从绝对基础逐步发展到一些非常有趣的自动机应用程序，例如带有加权有限状态换能器的自动语音识别以及生物信息学主题。

最重要的是，它是免费下载的，还包括解决方案集：

http://www-igm.univ-mlv.fr/~berstel/Lothaire/

继Sipser，HU和Kozen之后，Du-Ko的“自动机，语言和复杂性问题解决”是我的最爱之一。它包含许多有关Kozen和Sipser的* rd问题的解决方案，并包含大量示例和相关练习。对于准备考试特别有用。

我不确定这是准备考试的最好书，但是这本书

有限自动机 行为与综合 BA Trakhtenbrot和Ya。巴兹丁

很好 我发现它取得了令人惊讶的惊人结果，这些结果在研究中特别有帮助。

语言导论和计算理论

约翰·马丁

我向初学者强烈推荐这本书，对于那些正在寻找大量示例的人来说，这是一个完美的选择。

我喜欢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

H.Lewis和C.Papadimitriou也有计算理论的要素。这是对自动机理论的书面介绍。

了解计算

从简单的机器到不可能的程序

它确实涵盖了很多内容，其中包括自动机理论。这些示例以Ruby呈现，并且很容易理解。如果您想深入学习理论，可能需要另一本书，但是这对于学习基础知识非常有用。

AA Puntambekar撰写的“形式语言和自动机理论”是解决示例的最佳书。本书的大部分内容仅包含已解决的示例，很少涉及理论。通过考试很好。