北京邮电大学形式语言自动机课件.ppt

* * * * 从图中可以看到两个最短解是：从初始状态到终止状态的最短路径。实际上，问题存在无穷多个不同的解。因此可以认为有限状态系统定义了一个无穷的语言，这个语言是由那些能使状态从初始状态经过任意可能的路径到达终止状态的字符串组成。 在上面的例子中，至少有两点不应作为有限状态系统的一般形式。首先，例中仅有一个终止状态，而一般可以不止一个；其次，例中每个状态的转移，在同一输入符号作用下，都存在反向的，这在一般情况下是不需要的。此外，注意“终止状态”这一术语并不意味着一旦抵达这个状态演算就必须停止。如上例中的终止状态 Φ一MWGC，在g的作用下可以继续转移到状态MG—WC。 * * * * * * College of Computer Science Technology, BUPT * * College of Computer Science Technology, BUPT 第三章 有限自动机与右线性文法 本章主要内容 确定有限自动机 非确定有限自动机 确定与非确定有限自动机的等价性 右线性文法和有限自动机的等价性， 右线性文法的性质(泵浦定理) 使用归纳法进行证明的方法。 * * College of Computer Science Technology, BUPT 第一节 有限自动机 一、有限状态系统的概念 状态:状态是可以将事物区分开的一种标识。