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