由来 : 确定性有限自动机 ( DFA ) 基础上扩展而来的 ;

image.png

  1. 输入字符串 : 将输入的字符写在右侧的带子上 ;

  2. 开始状态 : 读取指针 ( 读头 ) 开始指向最左端字符 , 此时处于开始状态 ;

  3. 启动自动机 , 自动机根据读取的指令进行计算 ;

  4. 读取指令 : 每读取一个字符 , 自动机跳转到一个新的状态 , 指针向后移动一个格子 ;

  5. 自动机停止 : 当读取指针指向输入的最右端 , 此时自动机就停止了 , 此时查看当前状态 , 如果当前是接受状态 , 称自动机接受该字符串 ( 带子上写的字符组成的字符串 ) , 反之 , 自动机不接受该字符串 ;

todo

References