ПОИСК Статьи Рисунки Таблицы Понятие логической i схемы из "Программирование " Второе условие, которому подчинена -функция, означает, что все состояния памяти Q, совпадающие друг с другом на кортеже X, входят в область задания функции если в нее входит хотя бы одно из них. Это позволяет считать областью задания функции ц (/) множество состояний кортежа X, а не множество состояний всей памяти й (в дальнейшем так и будем поступать). [c.154] Действующий оператор будем либо изображать в виде записи комплекса (которая содержит входной кортеж X, нормальную последовательность формул и выходной кортеж У), либо будем его обозначать буквой D, снабженной снизу целым положительным числовым индексом. Например, действующие операторы могут быть изображены символом D,, Dj и т. п. [c.155] Варьирующий оператор либо будем представлять в виде записи его комплекса, либо будем обозначать символом где V — натуральное число. [c.155] Логический оператор либо будем изображать в виде записи комплекса, либо будем его обозначать буквой Р, снабженной снизу целым положительным числовым индексом. Например, логические операторы могут изображаться символами Р,, Р и т. п. [c.155] Более сложные предикаты могут быть заданы как функции алгебры логики от более простых предикатов. [c.156] Если для любого входящего в О состояния g(x) кортежа X выполяйм и заканчивается после конечного числа шагов процесс, определяемый описанным ниже алгорифмом выполнения, то агрегат (Г, О, (г)) называется логической схемой. [c.158] Увеличиваем значение й на 1. Переходим к п. 6 . [c.158] Если (Г, О, (г)) является схемой, то О называется областью задания схемы, кортеж X, состояния которого входят в О, называется входным кортежем схемы, / (/) называется начальным состоянием схемы, а Г—ее графиком. Любое состояние /(/) кортежа I, получающееся в процессе выполнения схемы, называется состоянием схемы. [c.159] В дальнейшем схему Г, О, у (/)) будем обозначать одной буквой 2. [c.159] Из определения схемы следует, что ее график должен содержать хотя бы один оператор конца. В противном случае схема не была бы выполнима ни для одного (х), т. е. не была бы схемой. [c.159] В дальнейшем, говоря о термах и их последовательностях, присутствующих в графике схемы, мы будем для краткости говорить, что они присутствуют в схеме. Производя изменения в графике схемы, мы будем говорить, что производим изменения схемы. [c.159] Вернуться к основной статье