ПОИСК Статьи Рисунки Таблицы Уточнение понятия алгорифма. Алгорифм выполнения. Абстрактная машина из "Программирование " Слово Q в алфавите В, которому поставлена в однозначное соответствие определенная операция 0 ,, называется элементарным предписанием в алфавите С. Область определения операции будем называть также областью определения элементарного предписания Q. [c.56] Два элементарных предписания в алфавите С называются различными, если они не являются равными словами в алфавите С. [c.57] Пусть Е—конечное или счетное множество попарно различных элементарных предписаний, среди которых присутствует элементарное предписание С, соответствующее тождественной операции в алфавите С. [c.57] Предположим, что О—некоторое множество слов Р в алфавите А и что Р—слово в алфавите В, содержащее вхождение с заранее известной характеристикой а некоторого элементарного предписания Q , принадлежащего Е. [c.57] Простота операций на каждом шагу процесса выполнения алгорифма Р заключается в том, что они принадлежат некоторому заранее заданному множеству операций. [c.57] Алгорифм, которому подчинен процесс выполнения алгорифма / с основанием Е, называется алгорифмом выполнения при основании Е или, коротко, в-алгорифмом при основании Е. [c.58] Алгорифмы с основанием Е, имеющие один и тот же в-алгорифм, образуют семейство родственных алгорифмов. [c.58] Совокупность в-алгорифма У при основании и основания Е называется абстрактной машиной и обозначается символом (Л, В, Е, V). [c.58] Вернуться к основной статье