Наверное, отвечая на вопрос "для чего" нужно перенестись в середину XX века и представить, какой наукой была лингвистики в тот момент. Кажется, что математика была редким гостем в ней. У Ноама Хомского было стремление привнести строгости в лингвистические методы. И он предложил иерархию формальных языков, которыми с той или иной степенью строгости может описать естественные и искусственные языки в виде математических объектов: конечных и бесконечных множеств, продукционных правил. Так, неограниченные и контекстно-зависимые грамматики подходят для почти любого языка, но допускают очень много бессмысленных слов и структур. Более строгие грамматики позволяют строить более искушённые правила, похожие на правила в учебнике, но при этом не может учитывать всех вариаций языка. Тем не менее, формальные языки открывают дорогу формальным методам дискретной математики к анализу естественных и искусственных языков. Например, можно автоматически проверить синтаксическую корректность предложения. Или автоматически выделить структуру предложения и типы токенов, которые дают неплохое представление о субъекте, объекте и действии в высказывании. Автоматический анализ открывает дорогу к гораздо большим корпусам текстов, чем это было возможно раньше.