有限状态自动课件.pptVIP

(三) 自动机 一、转换图 二、确定有限自动机(DFA) 三、不确定有限自动机(NFA) 四、NFA与DFA的变换 五、?-自动机 六、语法图与自动机 引言 程序设计语言： 。生成系统：文 法 。识别系统：自动机 自动机：具有离散输入输出系统的一种数学模型。 一、转换图（TG） 转换图：字母表?上的有向图。 条件: 1.至少存在一个初始结点 2.存在一些终止结点(可空) 3.在每个边上有字母表?上的符号串(也可以是空串?) 约定:初始结点: ? 终止结点: 一、转换图（TG）(续1) 转换图: 二、确定有限自动机(DFA) 有限自动机(Finite Automata): 二、确定有限自动机(DFA)(续1) 初始状态: 终止状态(接收状态): 后继状态:有限状态机在读入一个字符时,其状态改变为另一状态,则改变后的状态被称为后继状态. 如果有限状态机每次转换后的状态是唯一的则称之为确定有限状态机(DFA);如果转换后的后继状态不是唯一的则称之为不确定有限自动机(NFA); 二、确定有限自动机(DFA)(续2) 状态转换图－描述有限自动机的工作状态 二、确定有限自动机(DFA)(续3) 确定有限状态机:确定有限状态机定义为一个五元组:AD=(S,?,?,K,F) 其中: S:状态的非空集; ?:输入字母表