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

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

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

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

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

二义文法不是上下文无关文法。

判断题二义文法不是上下文无关文法。