Системне програмування

LL(k)-граматики. Перевірка LL(1)-умови для довільної КВ- граматики

Граматика називається - граматикою, якщо існують два виводи:

,

,

та:

, то , де

S

{множина термінальних слів, довжина яких не більше , які можна вивести з }

, якщо

LL(1)-умова для довільної КС-граматиці:

,

,

Якщо з виводиться не -слово, то вже не впливає на результат.

Умови:

1. , , ,

2. в граматиці не може бути , ,

3. Якщо існує таке , то при

,

Функція:

,

,

в інших випадках не визначено.

Системне програмування