Алгоритмическая машина Поста
По сути, Пост, в отличие от Тьюринга, не воспользовался термином «машина», а называл свою модель алгоритмической системой. Как принято в литературе, все таки будем гласить о машине Поста, подчеркивая тем…
По сути, Пост, в отличие от Тьюринга, не воспользовался термином «машина», а называл свою модель алгоритмической системой. Как принято в литературе, все таки будем гласить о машине Поста, подчеркивая тем…
Начнем с неких общих замечаний относительно понятия число. Можно считать, что хоть какое число имеет значение (содержание) и форму представления*. Значение числа задает его отношение к значениям других чисел («больше»,…