Определение «Формальная грамматика» по БСЭ: Формальная грамматика - в языкознании, одно из средств строгого описания естественных языков; один из разделов математической лингвистики (см. Грамматика формальная).
Формальная арифметика Формальная грамматика Формальная система
Формальная арифметика
