Грамматика входного языка. Входной язык ППП представляет собой специально разработанный программный язык. Как правило, он ориентируется на терминологию, привычную для пользователя прикладного программного обеспечения.
Правильность предложений входного языка определяется специальным набором правил, так называемой формальной грамматикой.
Для описания формальной грамматики используем метаязык и нотацию Бэкуса-Наури. Эта нотация предусматривает использование следующих символов - по описанию есть - логическое сложение или - скобка для обозначения нетерминального символа - обозначение необязательного элемента. Формальная грамматика G задается четырьмя элементами GN,Z,T,F, где N - множество нетерминальных символов нетерминальный словарь Z - начальный символ аксиома Т - множество терминальных символов терминальный словарь F - множество порождений.
Формальная грамматика позволяет описать входной язык пакета. 5.