Формальная лингвистика - это отрасль лингвистики, в которой используется применял математические методы для анализа естественных языков. К таким методам относятся формальные языки, формальные грамматики и логические выражения первого порядка. Формальная лингвистика также составляет основу компьютерной лингвистики.
Методы формальной лингвистики были представлены семиотиками, такими как Чарльз Пирс и Луи Ельмслев. Основываясь на работах Дэвида Гильберта и Рудольфа Карнапа, Ельмслев предложил использовать формальные грамматики для анализа, генерации и объяснения языка в своей книге 1943 года «Пролегомены к теории языка». С этой точки зрения язык считается результатом математической связи между значением и формой.
Формальное описание языка было развито лингвистами, в том числе Дж. Р. Ферт и Саймон Дик, положив начало современным грамматическим структурам, таким как системная функциональная лингвистика и грамматика функционального дискурса. Вычислительные методы были разработаны, среди прочего, с помощью фреймворка функционального генеративного описания.
Грамматика зависимостей, созданная французским структуралистом Люсьеном Тесньер, широко использовалась в обработке естественного языка.
Аналитической модели, основанные на семантике и дискурсе прагматике, были отклонены школой лингвистики Блумфилда, производные которой помещают объект в глагол фраза, следующая из Wilhelm Wundts Völkerpsychologie. Формализмы, основанные на этом соглашении, были построены в 1950-х годах Зеллигом Харрисом и Чарльзом Хокеттом. Так появилась современная порождающая грамматика. Было высказано предположение, что отношения зависимости вызваны случайной мутацией в геноме человека.
Генеративные модели формальной лингвистики, такие как Фраза, управляемая головой Структурная грамматика (HPSG) широко изучалась и использовалась при обработке естественного языка.
.