Сложность вычислений и алгоритмов. Сборник переводов

Abstract

Затрагиваемые в сборнике проблемы математической логики тесно связаны с теорией вычислительных машин. В книге рассматриваются модели вычислительных устройств, их классификация, классификация языков, оцепки сложности вычислений и оценки сложности программ. Развивается связанный со сложностью программ подход А. Н. Колмогорова к обоснованию теории вероятностей и теории информации. В настоящее время эти вопросы начинают привлекать большое число исследователей. Перевод ряда более ранних работ содержится в сборнике «Проблемы математической логики» («Мир», 1970). Кпига рассчитана на читателей, интересующихся современными проблемами теории алгоритмов и автоматов, математической лингвистики, вычислительных машин п программирования. Она будет полезна студентам и аспирантам указанных специальностей.