LL(k)-граматики. Перевірка LL(1)-умови для довільної КВ- граматики
Граматика називається - граматикою, якщо існують два виводи:
,
,
та:
, то , де
S |
{множина термінальних слів, довжина яких не більше , які можна вивести з }
, якщо
LL(1)-умова для довільної КС-граматиці:
,
,
Якщо з виводиться не -слово, то вже не впливає на результат.
Умови:
1. , , ,
2. в граматиці не може бути , ,
3. Якщо існує таке , то при
,
Функція:
,
,
в інших випадках не визначено.
Системне програмування