Двухместная функция

Cтраница 1

Двухместная функция имеет вид f / рЯ, где U - вектор с целыми положительными компонентами. [1]

Доказать рекурсивность двухместной функции - такой, что для любых п, m s w n - m - модуль разности этих чисел. [2]

Применив его к произвольной двухместной функции /, мы получим новую двухместную функцию O. [3]

Определим кусочно возвратной рекурсией двухместную функцию Fr, обладающую следующим свойством: для любой 0е Г ( 20) U ( 2o) имеем Fr ( v0, ) 1, если vn вхрдит свободно в 0, и Рг ( у0, п) 0 в противном случае. [4]

Система, состоящая из этих двух двухместных функций и констант О и 2, двойственна системе ( 5) из теоремы 12 относительно ( 0) ( 12) и, следовательно, неявно полна. [5]

Символ Q может употребляться и как одно - и как двухместная функция. [6]

Применив его к произвольной двухместной функции /, мы получим новую двухместную функцию O. [7]

Гребневидное дерево редукции для линейной функции. [8]

В дереве на рисунке узлы, помеченные символом а, представляют вызовы двухместной функции а, которая имеется в уравнении, определяющем линейную функцию, скажем /, а подчиненные поддеревья каждого узла представляют выражения ее аргументов. [9]

Подставив в эту функцию константы на место постоянных компонент выделяемого ей квадрата, получим двухместную функцию д ( х х2) с тем же свойством. [10]

Подставим в функцию и в ее неявное представление соответствующие константы на место всех постоянных компонент этого квадрата и получим неявное представление двухместной функции F ( x ж2), выделяющей вершину квадрата. Поскольку F принимает только три значения, какие-то два значения она на этом квадрате принимает дважды. [11]

Все арифметические действия в АПЛ: ( сложение), - ( вычитание), х ( умножение), н - ( деление) и ( возведение в степень) имеют в отличие от обычной алгебры одинаковый приоритет и подчиняются тому же правилу исполнения - справа налево. Все эти операции суть двухместные функции, аргументами которых могут служить два произвольных массива одинаковой формы. Действие выполняется поэлементно и дает массив той же формы. [12]

А так как для всех термов q ( x) алгебры Л имеет место равенство д ( 0) - 0, то совокупности одноместных функций, определяемых на Л условными и стандартными термами, совпадают. Нетрудно видеть, что для двухместных функций это уже не так. [13]

Этот случай полностью аналогичен предыдущему. Подставив в эту функцию константы на место постоянных компонент выделяемого ей квадрата, получим двухместную функцию д ( х х2) с тем же свойством. [14]

Подставим в эту функцию соответствующие константы на место всех постоянных компонент рассматриваемого квадрата. Получим неквазилинейную двухместную функцию, выделяющую вершину соответствующего квадрата. [15]

Страницы: 1 2