Compiler construction 这些语法是递归的吗?为什么?

Compiler construction 这些语法是递归的吗?为什么?,compiler-construction,context-free-grammar,left-recursion,Compiler Construction,Context Free Grammar,Left Recursion,我有这些语法来解决左递归。但是为什么这些语法是递归的呢?他们没有遵循模式A->Aa | b: 1.,S→ 0S1 | 01 2.,S→ + SS |*SS 这些语法是递归的吗 没有 为什么 在这两种情况下,如果不先使用终端,就永远无法到达S(这是唯一的非终端)。在第一种语法中,唯一出现的S前面是终端0,而在第二种语法中,每次出现的前面都是+或* 这些语法是递归的吗 没有 为什么 在这两种情况下,如果不先使用终端,就永远无法到达S(这是唯一的非终端)。在第一个语法中,S的唯一出现处前面是终端0,在

我有这些语法来解决左递归。但是为什么这些语法是递归的呢?他们没有遵循模式
A->Aa | b

1.,
S→ 0S1 | 01

2.,
S→ + SS |*SS

这些语法是递归的吗

没有

为什么

在这两种情况下,如果不先使用终端,就永远无法到达
S
(这是唯一的非终端)。在第一种语法中,唯一出现的
S
前面是终端
0
,而在第二种语法中,每次出现的前面都是
+
*

这些语法是递归的吗

没有

为什么


在这两种情况下,如果不先使用终端,就永远无法到达
S
(这是唯一的非终端)。在第一个语法中,
S
的唯一出现处前面是终端
0
,在第二个语法中,每个出现处前面是
+
*

谢谢@sepp2k!谢谢@sepp2k!