不确定的有限自动机是指对于某个输入符号，它存在不止一种转换。

闭包运算有最高的优先级并且是右结合的运算。

判断题闭包运算有最高的优先级并且是右结合的运算。

L*表示零个或多个L连接的并集。

判断题L*表示零个或多个L连接的并集。

最右推导称为（），由规范推导产生的句型称为规范句型。

填空题最右推导称为（），由规范推导产生的句型称为规范句型。