Построение формального языка L

Протокол работы синтаксического распознавателя оператора цикла while языка.Проверка на IDENT, текущий символ - a.Проверка на TERM.Проверка на O.Проверка на ЦБЗ, текущий символ - ).Проверка на AB.Найден While проверка началась с символа.Проверка на FUNC, текущий символ - c.Вывод : G [Z] - контекстно-свободная грамматика.Дата : 30 мая 1997г.