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

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

判断题对任何正规表达式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′的状态数不同，则二者必不等价。