математическая лингвистика
Направление, возникшее в XX в. на стыке языкознания, математики и математической логики и занимающееся разработкой формального аппарата описания языка, применяемого в частности, в диалоге "человек – ЭВМ".
Словарь лингвистических терминов Жеребило