Анотація: Ознайомлення з класичним розділом математичної лінгвістикою і теоретичної інформатики -теорії формальних мов. Розглядаються породжують граматики, класифікація формальних мов, регулярні вирази, кінцеві автомати, автомати з стековою пам'яттю, алгоритмічні проблеми, пов'язані з контекстно-вільними граматиками. Приводяться методи і алгоритми побудови основних частин трансляторів і інтерпретаторів.
- Викладач: Голуб Белла Львівна