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