1)构造与之等价的NFA: 我们可以构造一个有两个状态的NFA,其中一个状态是接受状态,另一个状态是拒绝状态。从接受状态转移到拒绝状态的边对应的是“00”,从拒绝状态转移到接受状态的边对应的是“0”,从接受状态转移到接受状态的边对应的是“1”。
2)构造与之等价的DFA: 我们可以将NFA的状态确定化,即把每个NFA状态看作一个DFA状态,最后得到一个DFA。
3)对DFA最小化: 我们可以对DFA进行状态压缩,将等价的状态合并,得到一个最小的DFA。
4)给出对应的右线性文法: 对应的右线性文法为:S -> 0S | 0T T