（扩展的）规则语法的RHS中可以有多个非终结符吗？

Question

标准（正确）常规语法具有三种规则：

A <- ""
A <- "a"
A <- "a" B

从理论上讲这是可以的，但是在实践中给使用带来很大的不便。 实用的常规语法应允许我们使用商品运算符（ | ， * ， + ， ? ， . ， ( ， ) ），字符集并将多个规则组合在一个规则中。 例如，以下常规语法描述了分数：

start <- digit+ dot digit* | digit* dot digit+
digit <- [0-9]
dot   <- '.'

问题是，必须对RHS非终端使用什么限制，以使该语法保持规则（如果可能的话）？

注意

问- 为什么使用正则语法而非正则表达式？

A-正则表达式适用于简单的语言，但对更复杂的语言则仅写。 另一方面，写得好的扩展常规语法更易于阅读和维护，使我们可以轻松地通过捕获和规则操作来扩展它们。

Answer 1

必须对RHS非终端应用什么限制，以使此语法保持常规

基本上，您不想发明新的语法规则，您只想将多个语法规则的记法（语法）缩写合并为一个。 这就是限制：对于新语法，您必须对如何将其“反向”转换为有限数量的严格（正确）常规语法规则进行定义。

对于您给出的示例，这就是

• A <- α | β A <- α | β ⇒ A <- α; A <- β A <- α; A <- β
• A <- [αβ…] ⇒A A <- α; A <- β; … A <- α; A <- β; …
• A <- . ⇒A A <- [Σ]
• A <- B ? ⇒A A <- ε; A <- B A <- ε; A <- B
• A <- B * ⇒A A <- X; X <- ε; X <- BX A <- X; X <- ε; X <- BX
• A <- B + ⇒A A <- X; X <- B; X <- BX A <- X; X <- B; X <- BX

这里有一个问题，因为X <- BX不是常规的语法规则。 但是，我们可以制作B及其所有子条款的副本：

• B <- ε BX <- X
• B <- α BX <- α X
• B <- α C BX <- α CX （然后对CX做同样的事情）

通常，您可以对语法规则的末尾部分使用整个正则表达式。 只需将其转换为常规语法，然后将相应的非终结符附加到所有最终规则即可。