编译原理(第二章):
一. 例: ∑={a,b},下面是 ∑ 的正规式和相应的正规集
正规式 正规集
ba* 以b为首后跟任意多个a的字
a(a|b)* 所有以a为首的字
(a|b)*(aa|bb)(a|b)* 所有含有两个相继aa或bb的字
二、确定有限自动机(DFA)
一个确定的有限自动机是一个五元式M=(S,∑,f,S0,Z)
其中
1.S是一个有限集,他的每个每个元素都是一个状态
2.∑是一个又穷字母表,他的每个元素称为一个输入字符
3.f是一个从S×∑至S的(单值)部分映照。F(s,a)=s'意味着:当现行状态为s,输入字符为a时,奖转换到下一个状态s'。我们把s'称为s的一个后继状态。
4.S0∈S是唯一的一个初态;
5.Z∈是一个终极态(可空)。
三、
一个DFA可用一个矩阵表示,该矩阵的行表示状态,列表示输入字符,矩阵元素表示f(s,a)的值,这个矩阵称为状态矩阵。
四、NFA