Последние темы автора:
Go (Golang) Developer Basic [otus] [Константин Войта, Алексей Романовский]
Упражнения, освобождающие от диеты [humberto 2.0] [Валерий Подрубаев]
Гайд для здорового зрения [Первая школа биохакинга] [Ирина Баранова, Татьяна...
Здоровье и долголетие [Тариф Товарищ] [Юрий Фролов]
Пётр Чайковский [2024] [Умные люди] [Никита Брусиловский]
Упражнения, освобождающие от диеты [humberto 2.0] [Валерий Подрубаев]
Гайд для здорового зрения [Первая школа биохакинга] [Ирина Баранова, Татьяна...
Здоровье и долголетие [Тариф Товарищ] [Юрий Фролов]
Пётр Чайковский [2024] [Умные люди] [Никита Брусиловский]
Приводятся определения как хорошо известных вычислительных устройств (машины Тьюринга, машины с произвольным доступом к памяти, машины Минского, двуленточные нестирающие машины Тьюринга), так и некоторых машин, появившихся сравнительно недавно (стековые регистровые машины, регистровые машины со счетчиками, счетчиковые машины с сумматором).
Для каждого типа машин излагаются результаты по вычислимым функциям, достаточно полно характеризующие вычислительные...
Машины в теории вычислимых функций. Учебное пособие [Сергей Марченков, Игорь Савицкий]