我有一个有趣的间接递归问题，我想我已经解决了，但我不确定它是否正确。
开始语法：
A-> Bxy | x
B-> CD
C-> A | c
D-> d
我的解决方案是首先在 A 上进化：
A -> ADxy | cDxy | x
现在，有了它，我看到了我在哪里有递归并删除它，得到：
A-> cDxyA' | xA'
A'-> DxyA' | empty
完整的解决方案将是
A-> cDxyA' | xA'
A'-> DxyA' | empty
B-> CD
C-> A | c
D-> d
这个语法正确吗？