对给定的正规式b(a|b)*aa,构造其NFA M，并将其确定化。

Question

编译原理题

Answer 1

表示方法：五元组（S，Z，f，S0，z）

S：状态集

Z：字母表

f：映射关系

s0：初态

z：终态

（2）确定有限自动机DFA：f为单值映射

（3）非确定有限自动机NFA：f为多值映射

（4）状态转换图和状态转换矩阵

扩展资料

假定DFAMd＝（｛s0，s1，s2｝，｛a，b｝，f，s0，｛s2｝）：

f：

f（s0，a）＝s1f（s0，b）＝s2

f（s1，a）＝s1f（s1，b）＝s2

f（s2，a）＝s2f（s2，b）＝s1

试着给出Md的状态转换图和状态转换矩阵。

状态转换矩阵如下

ab

s0s1s2

s1s1s2

s2s2s1