第二章词法分析非确定有限自动机.pptVIP

第二章词法分析非确定有限自动机第1页，共29页，星期日，2025年，2月5日

第2章outline一、词法分析概述1，词法分析程序的功能2，词法分析相关的一些问题二、正则表达式三、有限自动机1，确定有限自动机DFA2，非确定有限自动机NFA，NFA到DFA的转换3，DFA的化简4，正则表达式到NFA的转换四、词法分析程序构造√√√第2页，共29页，星期日，2025年，2月5日

2、非确定有限自动机确定有限自动机是五元组(SS,?,?,S0,TS)确定性体现：初始状态唯一、转换函数是单值函数非确定有限自动机：也是五元组(SS,?,?,S0,TS)其中SS={S0,S1,…Sn}是状态集?是字母表S0?SS是初始状态集,不能为空?是转换函数，但不要求是单值的?:SS?(???)?2SSTS?SS是终止状态集，可为空。第3页，共29页，星期日，2025年，2月5日

非确定有限自动机的例子?={a,b}SS:{S0,S1,S2,S3}初始状态集:{S0,S1}终止状态集:{S3}?:{(S0,a)?{S1,S3},(S0,?)?{S2},(S1,b)?{S1},(S1,