对任意一个右线性文法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）。

一个文法所有句型的集合形成该文法所能接受的语言。

判断题一个文法所有句型的集合形成该文法所能接受的语言。