寻找有关使该BNF语法适合LL（1）解析（左分解）的建议

Question

我正在做一个解析项目，该项目对Perl的正则表达式使用了此语法的改编版本http://www.cs.sfu.ca/~cameron/Teaching/384/99-3/regexp-plg.html 。 我已经出于我自己的目的简化了该语法，例如（请注意，因为“ |”是一个标记，所以我使用逗号“”，因此给定的非终结符是单独产生的）：

<RE>      := <union>, <simple>
<union>   := <RE> | <simple>
<simple>  := <concat>, <basic>
<concat>  := <simple><basic>
<basic>   := <zero>, <one>, <onezero>, <elem>
<zero>    := <elem>*
<one>     := <elem>+
<onezero> := <elem>?
<elem>    := <group>, <any>, <literal>, <class>
<group>   := (<RE>)
<class>   := [<items>]
<items>   := <item>, <item><items>
<item>    := <range>, <literal>

我想编写一个LL（1）解析器来处理此语法，并且对于LL（1）解析器， <items>具有一些歧义。 为了解决这个问题，我可以通过添加一个新的非终结符<X>来对它们进行左分解，如下所示：

<items>   :=  <item><X>
<X>       :=  <items>, epsilon

但是我想知道的是，是否可以在<items>翻转第二个产品的顺序，如下所示：

<items>   := <item>, <items><item>

并避免添加新的非终结符？ 看起来这并没有破坏任何东西，毕竟这个生产的全部目的是允许任意数量的连续<item>符号，并且如果我们颠倒顺序，我们仍然会得到它。 我是否缺少某些东西，还是在这种情况下简单地颠倒顺序就可以达到与左因子分解相同的目标？

Answer 1

您要解决的问题是

items → item
items → item items

不是左撇子； 两种生产都从item开始。

您建议的修复

items → item
items → items item

并不能真正帮助（不管启动item仍然可以启动或者生产items ），但更重要的是，它是左递归的，这是禁止的为LL语法。

原则上，“ new non-terminal”是正确的解决方案，但是在递归下降解析器中，您可能会执行以下操作：

def items():
  list = [ item() ]
  while couldStart(item, lookahead):
    list.append(item())
  return list