正规文法与有限自动机的相互转换

}

if(i4 != 0) { }

cout << stat[i4];

cout << \

cout << \

cout << \

for(int i5 = 0; i5 < m; i5++) { }

cout << \

cout << \

cout << stat[0] << \ cout << \其中P为：\

for(i = 0; i < n; i++) {

for(j = 0; j < n; j++) {

if(f[i][j] != '0') { if(i5 != 0) { }

cout <

cout << \

13

}

}

}

cout << stat[i] << \

//输出可接受状态增加的产生式，例如A->ε for(int i6 = 0; i6 < n_final_stat; i6++) { }

return 0; }

cout << stat[n_midd_stat + 1 + i6] << \ε\

5运行与测试

测试程序使用的自动机用例： 开始状态：A； 中间状态：1个，为B； 终态：2个，分别为C、D； 终结符：2个，分别为a、b； 装换关系为

Stat A B C A 0 0 a B a 0 0 C 0 b 0 D b 0 b

14

D 0 b 0 b （6）得到的结果如图：

15

16