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






Ссылка на выделенный текст