有限自动机(Finite.pptVIP

有限自动机(Finite Automata) 描述程序设计语言中的单词的识别过程。 主要内容： 确定有限自动机DFA(Deterninistic FA) 确定有限自动机DFA的实现 非确定有限自动机NFA(Nondeterninistic FA) NFA到DFA的转换 DFA的化简 确定有限自动机DFA 确定有限自动机DFA为一个五元组 (?,SS,S0,f,TS)，其中： ?是一个有穷字母表，它的每个元素称为一个输入字符； SS是一个有穷集，它的每个元素称为一个状态； S0? SS是唯一的一个初始状态； f是在 SS ? ?? SS上的转换函数 TS?SS，是一个终止状态集，又称为接受状态集 DFA的两种表示方式 状态转换图： 结点表示状态，转换边表示转换函数，边 的箭头方向指向转换函数中定义的转换方 向。标识出初始状态和终止状态。 状态转换表： 可用二维数组描述。标识出初始状态和终 止状态。 Trans（ SI ，a）＝ SJ 一个DFA的例子 DFA M=( {a,b}, {S,U,V,Q}, S, f, {Q} ), 其中 f 定义为： f ( S, a )=U f ( V, a )=U f ( S, b )=V