第二章词法分析2确定有限自动机DFA确定有限自动机（DFA）.ppt

第二章 词法分析2确定有限自动机DFA 确定有限自动机（DFA）的定义 DFA的两种表示方法 DFA接受的集合 DFA的确定性 用DFA描述单词 自动机的实现 有限自动机FA（Finite Automata )  有限自动机FA作为一种识别装置，它能准确识别正规集，即识别正规表达式所表示的语言，引入FA这个理论，正是为词法分析程序的自动构造寻找一种特殊的方法和工具。 确定有限自动机（DFA： Deterministic Finite Automata ) 非确定有限自动机（NFA： Nondeterministic Finite Automata ) 1 确定有限自动机的定义 确定有限自动机M为一个五元组: M = ( S ,? , S0 ,f ,Z )，其中： S是一个有穷状态集，它的每个元素称为一个状态； ?是一个有穷字母表，它的每个元素称为一个输入字符； S0?S，是唯一的一个初始状态(开始状态)； f是状态转换函数:S??? S，且单值函数.f(Si,a)=Sk 表示：当前状态为Si，遇输入字符a 时，自动机将唯一地转换到状态 Sk，称Sk为 Si的一个后继状态; Z?S，是终止状态集（可接受状态集、结束状态集），其中的每个元素称为终止状态（可接受状态、结束状态）,Z可空. 一个DFA的例子 DFA M=({S0, S1, S2