已知正规式:(0|1)^* 00 1）构造与之等价的NFA; 2）构造与之等价的DFA; 3)对DFA最小化; 4）给出对应的右线性文法。

1）构造与之等价的NFA：
我们可以构造一个有两个状态的NFA，其中一个状态是接受状态，另一个状态是拒绝状态。从接受状态转移到拒绝状态的边对应的是“00”，从拒绝状态转移到接受状态的边对应的是“0”，从接受状态转移到接受状态的边对应的是“1”。

2）构造与之等价的DFA：
我们可以将NFA的状态确定化，即把每个NFA状态看作一个DFA状态，最后得到一个DFA。

3）对DFA最小化：
我们可以对DFA进行状态压缩，将等价的状态合并，得到一个最小的DFA。

4）给出对应的右线性文法：
对应的右线性文法为：S -> 0S | 0T
T -> 1T | 1
其中S是开始符号，0和1分别代表0和1的字符。