第二章_2.3 有限自动机FA（Finite Automata ).pptVIP

2.3 有限自动机FA（Finite Automata )  自动机:表示无穷字符串集合的工具。 自动机 字符串集合。 有限自动机的描述能力与乔姆斯基体系中的3型文法是等价的。 描述程序设计语言中的单词，进一步为词法分析程序的自动构造寻找特殊的方法和工具。它不能用来描述表达式、语句等复杂的语法结构。 主要内容： 确定有限自动机DFA 确定有限自动机DFA的实现 非确定有限自动机NFA NFA到DFA的转换 DFA的化简 2.3.1 确定有限自动机 （DFA： Deterministic Finite Automata )  一.确定有限自动机的定义 确定有限自动机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的例子 DF