Наведено основні результати вивчення теорії формальних мов, граматик і автоматів. Ця теорія описує деякі абстрактні машини, здатні виконувати певні операції над рядками символів. Операції спрямовані на породження текстів у штучних та природних мовах, а також на розпізнавання належності тексту до конкретної мови. Описані моделі належать до основних результатів теоретичної інформатики і є прикладом ефективного застосування математичних методів для формалізації знань із синтаксичного аналізу та трансляції мов програмування.
Для студентів спеціальностей “Комп’ютерні науки” та “Системний аналіз”, а також аспірантів, які займаються проблемами кібернетики та прикладної лінгвістики.

Зміст

Передмова