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

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

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