Книга является общедоступным введением в теорию алгоритмов и рассматривает круг вопросов, лежащих на грани между математической логикой и теорией автомагических вычислительных машин. Рассчитана на широкий…