Cтраница 1
Примитивные функции, предикаты и операции рассматриваются в гл. О функциях, определяемых программистом, рассказано в гл. Массивы, таблицы и определяемые программистом типы данных описаны в гл. Средства для трассировки описаны в гл. [1]
Примитивные функции вызываются до вычисления параметров: каждая функция сама вычисляет свои параметры. Указание лишних параметров для примитивной функции является ошибкой. Если при обращении к примитивной функции указано слишком мало параметров, значениями опущенных параметров становятся пустые цепочки. Исключения из этого правила представляют функции, вызываемые с помощью APPLY или с помощью синонима, заведенного функцией OPSYN. Такие обращения должны содержать правильное число параметров. [2]
Примитивные функции - CAR, CDR и CONS встроены в интерпретатор языка ЛИСП. Определения составных функций задаются ЛПР. Эти определения вводятся с помощью примитивной функции DEFINE, которая будет рассмотрена ниже. [3]
Примитивная функция SIZE имеет один параметр ( цепочку) и один результат ( целое число) - длину ( количество литер) этой цепочки. [4]
Примитивную функцию иначе называют неопределенным интегралом данной функции; однако мы в дальнейшем этим термином пользоваться не будем. [5]
Если примитивная функция ( в вершине S) является строкой, нужно инициировать вычисление задержки: при этом текущее состояние сохраняется в дампе. После того как значение задержки вычислено, примитивная функция применяется к этому значению. Следует отличать элемент дампа для случая вычисления задержки от элемента дампа для случая вычисления замыкания. Поэтому каждый элемент дампа должен быть специальным образом помечен - либо как дамп для замыкания, либо как дамп для задержки. Это все, что необходимо для реализации вызова по имени. [6]
Символ примитивной функции может теперь появиться на функциональном входе вершины применения. Поэтому правила для вершины такого типа должны быть соответствующим образом расширены. [7]
Несколько примитивных функций служат для проверки отношений между параметрами. Эти функции, успех или неудача которых зависят от истинности отношения, называются предикатами. Если предикат завершился успешно, то результирующее значение - пустая цепочка. [8]
Применения примитивных функций включают ( рекурсивную) редукцию строгих аргументов примитива и проведение затем примитивной операции в соответствии с б-правилами. [9]
Вершина примитивной функции имеет одну входящую дугу для каждого параметра этой функции и одну выходящую дугу. Когда на всех входящих дугах, соответствующих строгим аргументам функции, имеются данные, результат применения функции к этим данным помещается на выходящую дугу. Вершина помечена своим типом, а также идентификатором соответствующей примитивной функции. [10]
Так родились примитивные функции и предикаты: CAR, CDR, CONS, АТОМ и EQ, необходимые для анализа, 1 / конструирования и сравнения списков. [11]
Опираясь на базисные примитивные функции, найдите функцию REVERSE2: S - S, которая переставляет первые две литеры в строке длины 2 и более. [12]
Рассмотрим применение примитивной функции 1 ( succ2), где succ, как и прежде, является функцией следования на множестве целых чисел. [13]
Обращение к примитивной функции CODE завершается неудачей, если ее параметр содержит синтаксическую ошибку. [14]
Результатом интегрирования является примитивная функция. [15]