Эта таблица анализа LL (1) верна?

Question

Учитывая грамматику:

S -> AB 
A -> aA | b 
B -> CA 
C -> cC | ɛ 

Является ли его LL (1) синтаксический таблица это?

Answer 1

Нет, это не совсем верно, так как эти расчеты:

Первый (S) = Первый (А) = {a,b}
Первый (А) = {a,b}
Первый (В) = Первый (C) = {c,ε}
Первый (С) = {c,ε}

Учитывая, что Последующие каждого не-терминального символа является терминальный символ сразу после:

Следовать (S) = {a,b} (если САБ -> АВ, то SAAB -> аАВ или SBB -> бб)

Последующие (А) = {a,c} (если АаА -> Аа и Ab - > b, тогда AaA -> aA или Ab -> b)

Follow (B) = Follow (A) = {a,c} (модель производства A -> aB, который является терминалом и a = ε, затем Follow (A) = Следуйте (B))

Follow (C) = {a,b} (от B -> CA, B -> CaA или B -> Cb)

Таким образом, разница с разбором таблицы и эти вычисления состоят в том, что в нетерминальной строке B в столбцах a и b значения NULL.