计算机数学基础第二章.ppt

计算机科学的数学基础 第二章 有限自动机 2. 1 有限自动机的定义与构造 有限自动机（Finite Automata——FA）或称为有穷状态的机器，由一个有限的内部状态集和一组控制规则组成。 在计算机科学中，可以找到许多有限状态系统的例子，如计算机本身也可以是认为是一个有限状态系统。 有限自动机与正规文法和正规式有着非常密切的关系，它们的描述能力是相同的。 例2.1 构造一个有限自动机M0，它能识别出除以3余2的二进制数。 解：用V3(x)来表示二进制数x除以3的余数，例如，V3 (100)＝1, V3 (1011)＝2，设输入符号串为w＝a1a2…an，其中ai∈{0, 1}，0≤i≤n。显然，对于每一个i，0≤i≤n，自动机读入符号串a1a2…ai后，二进制数a1a2…ai除以3的余数V3(a1a2…ai)必然为0、1、2之一，不可能有其它情况。因此可知，在自动机M0中只需要采用三个状态来分别表示上述的三种情况即可。令自动机M0中有状态q0、状态q1和状态q2分别表示余数为0、1和2的情况。 状态之间的转换 当M0读完符号串a1a2…ai后 又读到符号ai+1时，新符号串a1a2…ai ai+1除3 的余数与原符号串a1a2…ai除3的余数之间显 然有： V3(a1a2…ai ai+1) ≡2*V3(a1a2…ai) + ai+1(mod 3)