确定有限自动机DFA和非确定有限自动机NFA

确定自动机DFA 定义： 两种表示方式 状态转换图 三种节点：终止状态，非终止状态，开始状态 边：状态转换函数 举例： 状态转换矩阵 概括：用二维数组的方式表示状态机 注意：右上角+号代表初始状态，右上角*号表示终止状态 举例： 陷阱状态（错误状态） 状态图表现为非终止节点，有自己指向自己的状态转换函数 状态转换矩阵表现为对应元素为空 DFA的确定性体现 初始状态唯一 状态转换函数为单值函数 没有

>>阅读原文<<