Каталог
Главная
→ Физико-математические науки
→ Машины в теории вычислимых функций
Машины в теории вычислимых функций
Приводятся определения как хорошо известных вычислительных устройств (машины Тьюринга, машины с произвольным доступом к памяти, машины Минского, двуленточные нестирающие машины Тьюринга), так и некоторых машин, появившихся сравнительно недавно (стековые регистровые машины, регистровые машины со счетчиками, счетчиковые машины с сумматором). Для каждого типа машин излагаются результаты по вычислимым функциям, достаточно полно характеризующие вычислительные возможности рассматриваемого типа машин и связывающие соответствующие классы вычислимых функций с известными классами рекурсивных функций. Для студентов, аспирантов и научных сотрудников, специализирующихся в области дискретной математики и кибернетики.
Характеристики
- 978-5-9729-2057-0
- Марченков С. С., Савицкий И. В.
- 104
- 148х210
- Твердый
- 2024
- 0,241