Устранение двусмысленности, оставленной рекурсии и факторизации
Может кто-нибудь сказать мне, является ли следующая грамматика LL(1) или нет, если нет, пожалуйста, предложите, как преобразовать ее в LL(1). Насколько я знаю, это не потому, что первое (A) пересечение следует (A)={d} не пустой набор. Может кто-нибудь, пожалуйста, помогите мне с этим?
S -> A d C
A -> B A | EPSILON
B -> d C.
C -> D C| EPSILON
D -> h g j