有穷自动机

一. 转换图

     1. 定义

         字母表∑上的有向图

      2. 组成

          ⑴ 至少一个的初始结点，表示为  →○

          ⑵ 存在一些终止节点（可空）

          ⑶ 在每个边上有字母表∑上的符号串（可以为空串ε）

      

二. 有限自动机

      1. 定义

    · 具有离散输入输出系统的一种数学模型

    · 有限的状态

    · 状态+输入→状态转移

    · 每次转换后的后继状态都唯一→确定型有限状态自动机（DFA）

    · 转换后的后继状态存在不唯一→不确定有限状态自动机（NFA）

     （DFA是NFA的特例，即NFA能接收的语言DFA也一定能够接收）

     2. 五要素

        ⑴ 有限状态集

        ⑵ 有限输入符号集

        ⑶ 转移函数

        ⑷ 一个开始状态（NFA可以有多个）

        ⑸ 一个终态集合

    3. 分类

        DFA，M=（Q，T，δ，q0，F）

       · Q：有限的状态集合

       · T：有限的输入字母表

       · δ：转换函数（状态转移集合，Q*T→Q

       · q0：初始状态，q0∈Q

       · F：终止状态集，F 包含于Q

         NFA

三. ε自动机

       1. 定义

           边上有空符号串的自动机 εFA

       2. 由εFA构造等价FA

           ⑴ 在εFA中寻找ε边。如果状态B没有ε边输出，则进入步骤2，否则跳到步骤4

           

          (2) 如图ai∈∑

           

                 Ⅰ. 消除ε边，引进新边

                       

                Ⅱ.  如果B为终止状态，则A为终止状态

                Ⅲ. 如果存在一条从初始状态到A的空路，则B为初始状态，

                       

          ⑶ 重复步骤⑵直到所有的ε边消除

          ⑷ 如果还有ε边，则一定存在ε回路。此时合并为一个结点