27
第27页/共85页
• 例如,假定状态 s 1和s 2经a 弧 分 别 到 达t1和t2,而t1和t 2属于现行 中的两个
不同子集,说明有一个字, t1读出后到达终态,而t2读出后不能到达终 态,或者反之,那么对于字a , s1读出a后到达终态,而s2读出a不能到 达终态,或者反之,所以s1和s2不等价。
{c,d,e} {c,d,f}
{c,d1,f}
1
{c,d}
{c,d,e,g}
{c,d,f}
③.重命名后的状态转换矩阵
I1 {b,c,d}
1 {c,dF,e}
{c,d,e}
0{c,d,e}
{c,d,e,g}
{c,d,e}
S
0
1
A(始态)
Φ
B
B
C
D
C
C
D
D
E
D
E
C
F(终态)
33
F(终态)
第33页/共E85页
40
{10,11}
{12}
第40页/共85页
I1
{1,2,3} {5,9,10,11}
{2,3} {2,3,7,8,13} {5,9,10,11} {5,9,10,11} {2,3,5,9,10,11} {5,9,10,11,13} {2,3,5,9,10,11} {5,9,10,11}
{2,3} {2,3,7,8,13} {2,3,7,8,13}
• 描述工具:正规式和有限自动机理论
ห้องสมุดไป่ตู้
• 语法规则:语法单位的形成规则。
• 语法单位通常包括:表达式、语句、子程序、 过程、函数、程序等;
2
• 描述工具:上下文无关文法