Книга входит в известную серию «Библиотека
«Кибернетического сборника» и содержит переводы наиболее важных статей
последних лет по теории языков программирования. Эта тематика
ранее затрагивалась в «Кибернетических сборниках» и сборниках
переводов «Проблемы математической логики» («Мир», 1970) и
«Сложность вычислений и алгоритмов» («Мир», 1974).
В сборнике три раздела. Первый посвящен
контекстно-свободным языкам и открывается классической статьей Д. Кнута о
языках, допускающих однопроходной анализ; в других статьях
рассматриваются скорость распознавания языков и алгоритмические
проблемы. Во втором разделе излагаются грамматики более
общего вида — индексные, контекстные и грамматики с рассеянным
контекстом. Несколько основополагающих статей третьего раздела
посвящены аксиоматическому описанию языков; эта тематика еще
не затрагивалась в отечественной литературе.
Книга рассчитана на специалистов по математической логике,
языкам программирования, теории алгоритмов и математической
лингвистике. Она будет полезна студентам и аспирантам
указанных специальностей.
