标签: parsing compiler-construction context-free-grammar
这个语法显然是递归的:
S -> 0 A A -> S 1 | 1
可以通过将语法更改为:
S -> 0 A A -> 0 A 1 | 1
但我不明白为什么第一个语法是递归的。这是为什么?