Лингвистический энциклопедический словарь

Форма́льная грамма́тика —

см. Математическая лингвистика.