标签: compiler-construction context-free-grammar ll
我有这个语法必须转换为LL(1)语法:
S->A A->BC|DBC B->Bb|epsilon C->c|epsilon D->a|b|d
在应用左递归并将其保留后,我得到如下语法:
S->A A->BCA'|epsilon A'->D | epsilon B->B' B'->bB'|epsilon C->c|epsilon D->a|b|d
但语法仍然含糊不清。我做错了什么?