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