Машины в теории вычислимых функций: Учебное пособие

Handling time: 21 days Приводятся определения как хорошо известных вычислительных устройств (машины Тьюринга, машины с произвольным доступом к памяти, машины Минского, двуленточные нестирающие машины Тьюринга), так и некоторых машин, появившихся сравнительно недавно (стековые регистровые машины, регистровые машины со счетчиками, счетчиковые машины с сумматором). Для каждого типа машин излагаются результаты по вычислимым функциям, достаточно полно характеризующие вычислительные возможности рассматриваемого типа машин и связывающие соответствующие классы вычислимых функций с известными классами рекурсивных функций.Для студентов, аспирантов и научных сотрудников, специализирующихся в области дискретной математики и кибернетики.

#ASTTD# Search Terms: Марченков С.С., Савицкий И.В. , Marchenkov S.S., Savickii I.V. , Инфра-М , Infra-M , 9785972920570 , 978-5-9729-2057-0 , 2019697