2.2词法记号的描述与识别 。无符号数的转换图 number→digit+(.digit+)?(E(+|-)?digit+-)? E digit digit digit 开始 12 digit digit digit 18 other other other 10 return(installNum())
2.2 词法记号的描述与识别 • 无符号数的转换图 number → digit+ (.digit+)? (E (+ | −)? digit+)? 开始 19 12 13 14 15 16 17 18 digit digit digit digit digit digit other . E +/− E digit other other return( installNum( ) ) *
2.2词法记号的描述与识别 ·空白的转换图 delim -blank tab newline ws→delim+ delim 开始 delim other 20 21 22
2.2 词法记号的描述与识别 • 空白的转换图 delim → blank | tab | newline ws → delim+ 21 22 开始 delim other * delim 20
23有限自动机 2.3.1不确定的有限自动机(简称NFA) 一个数学模型,它包括: 1、有限的状态集合S 2、输入符号集合Σ 3、转换函数move:S×(U{ε})→P(S 4、状态s是唯一的开始状态 5、FsS是接受状态集合 识别语言 开始 (ab)"ab 的NFA
2.3 有 限 自 动 机 2.3.1 不确定的有限自动机(简称NFA) 一个数学模型,它包括: 1、有限的状态集合S 2、输入符号集合 3、转换函数move : S ( {}) → P(S) 4、状态s0是唯一的开始状态 5、F S是接受状态集合 识别语言 (a|b) *ab 的NFA 开始 1 2 a 0 a b b
2.3有限自动机 •NFA的转换表 输入符号 状态 L b 0 {0,1} 0仍 ☑ 2 2 ☑ 识别语言 开始 b (ab)"ab ② 的NFA
输 入 符 号 a b 0 {0, 1} {0} 1 {2} 2 状 态 • NFA的转换表 2.3 有 限 自 动 机 识别语言 (a|b) *ab 的NFA 开始 1 2 a 0 a b b
2.3有限自动机 ·例识别aa*bb*的NFA 开始 3
2.3 有 限 自 动 机 • 例 识别aa*|bb*的NFA 1 2 开始 a 0 a b b 3 4