Cтраница 2
Комплекс, все функции которого являются функциями от объектов, выходной кортеж состоит из параметров, а все ячейки, не входящие в выходной кортеж, являются объектами, называется оператором формирования. Такие операторы тоже могут зависеть от параметров. [16]
Очевидно, комплекс является изображением некоторого ( т, М - j - /) - оператора, имеющего входной кортеж X, выходной кортеж У и рабочий кортеж ZL - У. [17]
Предположим, что комплексы Ki и К отличаются только ( быть может) своими областями задания Qi и О2, причем их входные кортежи, нормальные последовательности и выходные кортежи - соответственно графически одинаковы. [18]
Предположим, что комплексы К, и Кг отличаются только ( быть может) своими областями задания Gt и G2, причем их входные кортежи, нормальные последовательности и выходные кортежи - соответственно графически одинаковы. [19]
Предположим, что однородные комплексы К % и К2 отличаются только ( быть может) своими областями задания Gt и G2, причем их входные кортежи, нормальные последовательности и выходные кортежи соответственно графически одинаковы. [20]
Легко видеть, что столбец формул, получающийся, если к нормальной последовательности 9t приписать нормальную последовательность 92, представляет собой новую нормальную последовательность 9 с входным кортежем X и выходным кортежем У. [21]
Предположим, что однородные комплексы / G и / Са отличаются только ( быть может) своими областями задания GI и G2, причем их входные кортежи, нормальные последовательности и выходные кортежи соответственно графически одинаковы. [22]
G точек, координаты к-рых являются значениями величин as, a. Выходной кортеж может содержать только те величины, к-рые встречаются во входном кортеже и ( или) среди левых частей ф-л. Множество G должно содержать только такие точки, отправляясь от значений величин, равных координатам к-рых, можно последовательно выполнить все ф-лы, принадлежащие К. [23]
Множество тех состояний входного кортежа, для к-рых заданы значения ф-ций, определяющих результирующие состояния ячеек выходного кортежа, наз. [24]
R совпадает с тем, что получится, если к последовательности ф-л К. G, величины, принадлежащие входному кортежу К. R содержит буквы, принадлежащие либо выходному кортежу Л2, либо выходному кортежу Л, ( но не рабочему кортежу К. [25]
Если за ф-лой а -: ф следует конечный отрезок а-звена, не содержащий буквы а -, то ф-лу а -: ф можно вычеркнуть. Если буква а - не встречается в К. Пусть а-звено разделено на две части а. Ото имеет место, когда последним элементом а-зве-на является выходной кортеж. [26]
R совпадает с тем, что получится, если к последовательности ф-л К. G, величины, принадлежащие входному кортежу К. R содержит буквы, принадлежащие либо выходному кортежу Л2, либо выходному кортежу Л, ( но не рабочему кортежу К. [27]
Если за ф-лой а -: ф следует конечный отрезок ц - звена, не содержащий буквы а -, то ф-лу a. Если буква а; не встречается в К. Пусть а-звено разделено на две части ay - барьером так, что в элементах а-звена, расположенных до а. Это имеет место, когда последним элементом а-зве-на является выходной кортеж. [28]
Если ф-ции Ф и г ]) между собой тождественны, то формулу ay: ф можно заменить ф-лой а. Если буквы а - и а - неодинаковы, а - не является аргументом ф и а. Если а-не входит, а а - входит в выходной кортеж К. [29]