Абстрактные машины

Чтобы формализовать понятие алгоритма, надо:
1) формализовать понятие объекта;
2) формализовать действия над этим объектом.

Формализация объекта
Объекты могут быть различными: числа, слова, фигуры и так далее, но во всех случаях можно считать, что алгоритм имеет дело не с объектами реального мира, а с их изображениями. Например, когда алгоритм сложения работает с числами 23 и 56, можно считать, что алгоритм работает с объектом, который изображен пятью знаками: 23+56. Результат работы этого алгоритма тоже изображение, состоящее из двух знаков: 79. При этом мы исходим из того, что у нас в распоряжении имеется набор из 11 различных знаков: {0,1,2,3,4,5,6,7,8,9,+}. Эти знаки мы будем называть буквами, а весь набор – алфавитом.
Буквами могут быть любые знаки, но алфавит должен быть конечным и все буквы в нем должны быть различны. Любая конечная последовательность букв алфавита называется словом. Количество букв в слове – длина слова.
Таким образом, можно дать следующее уточненное (но не окончательно) понятие алгоритма: алгоритм – это четкая, конечная система правил для преобразования слов из некоторого алфавита в слова из этого же алфавита.
Слово, к которому применяется алгоритм, называется входным словом. Слово, которое получается в результате, – выходным словом.
Совокупность слов, к которым может быть применен алгоритм, называется областью применимости алгоритма.
Любой алфавит можно заменить другим, при этом каждой букве из первого алфавита нужно поставить в соответствие ее код, представляющий собой слово во втором алфавите.
Поиск способов формализации действий над объектами происходил в трех направлениях, которые и определили три основных класса универсальных алгоритмических моделей:
1-е направление – рекурсивные функции;
2-е направление – абстрактные машины;
3-е направление – нормальные алгоритмы Маркова.
Определение. Универсальной алгоритмической моделью называется такая модель, позволяющая реализовать любой алгоритм.
Впоследствии в теории алгоритмов была доказана теорема об эквивалентности различных универсальных алгоритмических моделей. Это означает, что если удается решить некоторую задачу (указать способ нахождения значения некоторой функции) средствами одной универсальной алгоритмической модели, то задача (функция) может быть решена и средствами любой другой универсальной алгоритмической модели, т. е. задача (функция) разрешима (вычислима) вообще.



Полностью интегрированная экшн-камера vio pov 1.5 moto в комплекте с картой памяти, рекордером, выносным объективом, крепежом на шлем-отличный выбор для съемок экстремального отдыха.


У имеется прайс лист на строительства фундамента любых размеров, на любой земляной почве.


Предоставляется выполнение операций на всевозможные варианты отделки рубленного бревенчатого дома по доступным ценам.