自动机理论、语言和计算导论（一）

Content自动机理论的中心概念 自动机理论的中心概念 有穷自动机 有穷自动机涉及一些状态和当响应输入时在状态之间的转移。用来构造许多不同种类的软件，例如包括编译器的词法分析部件以及电路与协议正确性的验证系统。 正则表达式 这是描述有穷自动机所表示的相同模式的结构记号。用在许多常见类型的软件中，例如包括查找文本模式或文件名模式的工具。 上下文无关文法 这是描述程序设计语言的结构以及相关的串集合的重要记号；用来构造编译器的语法分析部件。 图灵机 这是为真实计算机的能力建立模型的自动机。图灵机允许研究可判定性

计算理论是计算机应用的基础，理论和应用缺一而不可。 ---- 目录 ---- C01 自动机 C02 有穷自动机 C03 正则表达式与正则语言 C04 正则语言的性质 C05 上下文无关文法及上下文无关语言 C06 下推自动机 C07 上下文无关语言的性质 C08 图灵机 C09 不可判定性 C10 难解问题 C11 其他问题类 ---- C01 自动机 ---- ...

Content正则表达式 正则表达式

1.1为什么要研究状态机（自动机）理论？     在计算机科学内重要的核心内容中，有若干种原因需要我们研究状态机理论及其复杂性。该节主要是向读者展示理论研究动机及在本书当中的一些主要话题及一些轮廓。1.1.1有限自动机导论    对于大部分的硬件或者软件来说，有限自动机都是一种非常有效的模型。我们将会从第二章开始讨论它，将会展示一些概念的应用。这里我们会列出比较重要的几种应用：

由于公式无法显示,乱码的地方请参考原文1.5状态机核心概念       本节介绍遍布于状态机理论当中的一些核心概念，这些概念主要包括”字符集合”（即符号集合），”字符串”(由符号集合当中的符号构成的列表)，和”语言”（由同一个符号集合构成的字符串集合）。1.5.1 字符集合     一个alphabes是一个有限的，非空的符号集合构成的。通常情况下，我们使用符号Σ来代

自动机历史 非确定性，与搜索相关，可以没有操作，可以存在多个操作，在任何下一个状态可存在多种选择。 [自动机示意图] 自动机=代数表达式(Regular expressions) Why study computability theory Q1:Halting Problem 给定一个算法，判断程序结束之后是否会停机，还是会一直运行下去。 Q2:Post Correspondence Probl...