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