Определение формальной грамматики включает:
а) алфавит нетерминальных символов
б) набор формул
в) алфавит терминальных символов
г) систему уравнений
д) множество правил вывода
е) начальный символ (аксиому)
Формальная грамматика определяется следующими характеристиками:
а) набор (алфавит) терминальных символов
б) набор (алфавит) нетерминальных символов
в) набор правил вида: «левая часть» ® «правая часть»
г) стартовый (начальный) символ из набора нетерминальных символов
д) набор констант
е) набор высказываний
ж) набор предикатов