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