对任何正规表达式e，都存在一个NFA M，满足L（G）=L（e）。

对任意一个右线性文法G，都存在一个NFA M，满足L（G）=L（M）。

判断题对任意一个右线性文法G，都存在一个NFA M，满足L（G）=L（M）。

自动机M和M′的状态数不同，则二者必不等价。

判断题自动机M和M′的状态数不同，则二者必不等价。

设r和s分别是正规式，则有L（r∣s）=L（r）∣L（s）。

判断题设r和s分别是正规式，则有L（r∣s）=L（r）∣L（s）。