自动机理论、语言和计算导论(英文版·第3版)

【内容简介】

本书是关于形式语言、自动机理论和计算复杂性方面的经典教材，是三位理论计算大师的巅峰之作，现已更新到第3版。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的，陸质、图灵机、不可判定性以及难解问题等内容。
本书已被世界许多著名大学采用为计算机理论课程的教材或教学参考书，适合用作国内高校计算机专业高年级本科生或研究生的教材，还可供从事理论计算工作的研究人员参考。

【作译者介绍】

【目录信息】

1 Automata: The Methods and the Madness
　1.1 Why Study Automata Theory?
　　1.1.1 Introduction to Finite Automata
　　1.1.2 Structural Representations
　　1.1.3 Automata and Complexity
　1.2 Introduction to Formal Proof
　　1.2.1 Deductive Proofs
　　1.2.2 Reduction to Definitions
　　1.2.3 Other Theorem Forms
　　1.2.4 Theorems That Appear Not to Be If-Then Statements
　1.3 Additional Forms of Proof
　　1.3.1 Proving Equivalences About Sets
　　1.3.2 The Contrapositive
　　1.3.3 Proof by Contradiction
　　1.3.4 Counterexamples
　1.4 Inductive Proofs
　　1.4.1 Inductions on Integers
　　1.4.2 More General Forms of Integer Inductions
　　1.4.3 Structural Inductions
<< 查看详细目录

【免费试读】

　电子书Web试读版：试读本书　全部品种