Основной корпус фундаментальных исследований прикладной лингвистики представляет описание и моделирование фонетической, грамматической, семантической структуры текста документов, в частности построение формальных моделей текстовых данных.

На пересечении методов классификации языкознания, логики, математики и семиотики выросла современная структурная лингвистика. Это целостная наука о методах моделирования в языкознании. На границе между лингвистикой и математикой проявилась математическая лингвистика. Появление данной науки было связано с появлением структуры языка, подхода к языку как системе, осознание языковой системы как сложной структуры, выявление разных типов отношений между лингвистическими объектами и их атрибутами. Основной предмет этих двух дисциплин - разработка и совершенствование структурных и формальных методов анализа описания языка.

Структурная лингвистика («предшественница» матем. и компьютерной лингвистики)- совокупность взглядов на язык м методов его исследования, в основе которых лежит понимание языка как знаковой системы с четко выделенными структурными элементами (единицами языка, их классами и пр.) и стремление к строгому (как в точных науках) формальному описанию языку. Свое название СЛ получила благодаря особому вниманию к структуре языка, которая представляет собой сеть отношений (противопоставлений) между элементами языковой системы, упорядоченных и находящихся в иерархической зависимости в пределах определенных уровней. Структурное описание языка предполагает такой анализ реального текста, который позволяет выделить обобщенные инвариантные единицы (схемы предложений, морфемы, фонемы) и соотнести их с конкретными речевыми сегментами на основе строгих правил реализации Эти правила определяют границы допустимого варьирования яз. единиц в речи. В зависимости от уровня анализа правила реализации формулируются как правила позиционного распределения конкретных, например, принцип дополнительной дистрибуции в фонологии и морфологии (дистрибутивный анализ), или как трансформационные правила в синтаксисе (при трансформационном анализе) регулирующие переход от инвариантной глубинной структуры предложения к множеству ее реализации. На базе СЛ развилась порождающая грамматика (генеративная лингвистика); идеи структурного анализа во многом определили постановку и решение задач, связанных с машинным переводом; СЛ открыла дорогу для широкого проникновения в лингвистику мат. методов (математическая лингвистика). На СЛ оказали влияние: Сепир, Блумфилд. Ф.де Соссюр, один из создателей и ведущих теоретиков -Якобсон; у нас - Реформатский (знаковая теория языка), Ревзин (общая теория моделирования), Холодович; практическое применение методов СЛ: Апресян, Арутюнова, Гак, Зализняк, Звегинцев, Мельчук, Успенский и др.

Математическая лингвистика - математическая дисциплина, предметом которой является разработка формального аппарата для описания строения естественных и некоторых искусственных языков. Основным направлением является Теория формальных языков, или Formal Language Theory, которая часто изучается в рамках Computer Science. Возникла в 50 годы 20 в.; одним из главных стимулов появления математической лингвистики послужила назревшая потребность в уточнения основных лингвистических понятий. Методы МЛ имеют много общего с с методами мат. логики - мат. дисциплины, занимающейся изучением строения мат. рассуждений, - и в особенности таких ее разделов, как теория алгоритмов и теория автоматов.

Математическая лингвистика использует для изучения языков два основных типа моделей: аналитические и порождающие. Несколько упрощая ситуацию, можно сказать, что для порождающих моделей исходным пунктом является некоторая формальная грамматика, а исследуемым объектом - язык, порождаемый этой грамматикой. В аналитических моделях - наоборот: здесь исходным материалом служит язык как совокупность предложений, а цель исследования заключается в том, чтобы выявить структуру этих предложений, их составные элементы, а также отношения между этими элементами. Далее они будут рассмотрены подробнее.