ФОРМАЛЬНАЯ ГРАММАТИКА

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