我想知道是什么让语言可以用递归下降来解析。例如我们在 {x,y,r} 上有 5 种语言:
A = { x^n y^n | n <= k }
B = { x^n y^k | n > k }
C = { x^k y^n | k > n }
D = { x^n y^n r^n | n <= k }
E = { x^n y^n r^n | n >= k }
x,y,r 出现 n 次,k 未知。
我的理由是,只有我们可以用上下文无关文法定义语言,然后它才能用递归下降来解析,如果是这种情况,我认为只有 B 和 C 可以用递归体面解析,但我不确定
我相信对于 L1,可以在递归下降中进行解析,因为它可以识别 DPDA。