Матэматычная лінгвістыка
From Вікіпедыя
МАТЭМАТЫЧНАЯ ЛІНГВІСТЫКА, матэматычная дысцыпліна, прадметам якой з'яўляецца распрацоўка і вывучэнне паняццяў, якія ствараюць аснову фармальнага апарата апісання структуры натуральных моваў, у т. л. метамовы лінгвістыкі.
Дысцыпліна шырока карыстаецца матэм. метадамі тэорыі алгарытмаў, тэорыі аўтаматаў, алгебры, лінгвістычнымі канцэпцыямі структурнай лінгвістыкі. Метады дысцыпліны выкарыстоўваюцца ў тэорыі праграмавання дзеля апісання моваў праграмавання і транслятараў (гл. таксама: Бескантэкстныя граматыкі).
Дысцыпліна з'явілася каля 1950-х гг. з унутраных патрэб тэарэтычнай лінгвістыкі і задач аўтаматычнай перапрацоўкі моўнай інфармацыі. Паступова ператвараецца з чыста прыкладной дысцыпліны ў тэарэтычную, структурна прыналежную да матэматычнай логікі.