Машина Поста

Front Cover

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Внешний вид машины Поста
7
Примеры выполнения программ
14
Запись чисел в машине Поста и постановка задачи о при
22
Copyright

9 other sections not shown

Other editions - View all

Common terms and phrases

2-го блока безрезультатная остановка бесконечно будем будет вид всех второй выполнение программы выполнения команды выполняться вычисления вычислимой на машине вычислимой функции вычислительные машины главы говорить двух должна друг есть задает записи числа запись имеет именно Интуиционизм каждого качестве класса Еп команда с номером команды остановки конечно лишь любого ма массива математики математической машина Тьюринга метка может можно надо называется например натурального числа начальном состоянии нашей некоторой образом Однако одной определения отмеченных секций отсылку пары первой перфоленте показанное на рис понятие алгоритма прибавлении единицы приводит применении пример проблема Гильберта проблемы программу машины Поста произвольному пустую секцию работы машины результат результативной остановке рекурсивные функции решением задачи рис русском алфавите секции ленты символически следующим слова сложение чисел случае Составить программу состоит состоянии из класса список стоп существует тезиса Чёрча тем теории алгоритмов теория вычислимых теперь Тогда тому Тьюринга Упражнение уравнения формулировка целых числах Частично рекурсивные числовые кортежи читателю шагов ЭВМ этот является ящик

Bibliographic information