В системах автоматической проверки текста применяются различные математические методы, например:

• Графематический анализ (токенизация). 1 Выделение из массива данных предложений и слов (токенов), а также границ предложений. 1
• Морфологический анализ. 12 Выделение грамматической основы слова, определение частей речи, приведение слова к словарной форме. 1
• Синтаксический анализ. 1 Выявление синтаксических связей между словами и предложениями, построение синтаксической структуры предложения. 1
• Семантический анализ. 1 Выявление семантических связей между словами и синтаксическими группами, извлечение семантических отношений. 1

Также в системах автоматической обработки текста используются методы квантитативной лингвистики, например, для построения частотных словарей, словарей-индексов, конкордансов, создания машинных фондов лексики. 3

Кроме того, для оптимизации работы системы и решения вспомогательных задач применяются математические методы в области вычислительной математики, теории вероятности, алгебры логики, математической статистики и других областей. 4