Cтраница 1
Выходной кортеж может содержать только те величины, к-рые встречаются во входном кортеже и ( или) среди левых частей ф-л. Множество С должно содержать только такие точки, отправляясь от значений величин, равных координатам к-рых, можно последовательно выполнить все ф-лы, принадлежащие К. [1]
Если ячейки выходного кортежа действующего оператора являются существ, аргументами вышеуказ. [2]
Если ячейки выходного кортежа действующего оператора являются существ, аргументами выгаеуказ. [3]
Если ячейки выходного кортежа варьирующего оператора V не являются существ. [4]
Если ячейки выходного кортежа варьирующего оператора V но являются существ. [5]
X, a z - образует выходной кортеж У. [6]
Если ни при одном наборе значений параметров ячейки выходного кортежа действующего оператора Q не являются существенными аргументами предиката, вычисляемого логич. [7]
Нормальная последовательность (5.2) с входным кортежем X и выходным кортежем У, рассматриваемая вместе с G, представляет собой комплекс, который мы будем называть эквивалентом комплекса К и будем обозначать символом ЭК. [8]
Если к комплексу применяется преобразование В-7, затрагивающее его выходной кортеж Y, причем р К, то перед выполнением В-7 в кортеж Y можно включить второй экземпляр ячейки р, с тем чтобы ( при выполнении В-7) его заменить ячейкой ос. [9]
Предположим, что для каждой величины аг, принадлежащей выходному кортежу К. Если такая ф-ла найдена, перейти к пункту 3, иначе - к пункту 2; 2) выписать ф-цию ФАОГ &. Перейти к пункту четыре; 4) двигаясь дальше в обратном порядке но последовательности, заменять в Фд каждый раз аргумент, одинаковый с левой частью очередной ф-лы, правой частью этой ф-лы и получающуюся при этом новую ф-цию принимать за Фй. [10]
Комплекс, все функции которого являются функциями от объектов, выходной кортеж состоит из параметров, а все ячейки, не входящие в выходной кортеж, являются объектами, называется оператором формирования. Такие операторы тоже могут зависеть от параметров. [11]
Легко видеть, что полученный столбец формул представляет собой нормальную последовательность с входным кортежем X и выходным кортежем У. [12]
Комплекс, содержащий только одну формулу, функция в которой является предикатом, и имеющий в качестве выходного кортежа одну логическую ячейку о, называется логическим оператором. Как и все вышеописанные операторы, логические операторы могут быть зависящими от параметров. Так как во всех логических операторах формула начинается одинаково с пары знаков о:, то в ЯЛС принято соглашение эту пару знаков опускать. Таким образом, вместо формулы в записи логического оператора может присутствовать предикат. [13]
Действующий оператор будем либо изображать в виде записи комплекса ( которая содержит входной кортеж X, нормальную последовательность формул и выходной кортеж У), либо будем его обозначать буквой Д снабженной снизу целым положительным числовым индексом. [14]
Действующий оператор будем либо изображать в виде записи комплекса ( которая содержит входной кортеж X, нормальную последовательность формул и выходной кортеж Y), либо будем его обозначать буквой D, снабженной снизу целым положительным числовым индексом. [15]