Примитивная функция

Cтраница 3

Невычисляемые выражения могут служить параметрами примитивных функций со значениями типа образец. Образец строится, но параметр не вычисляется до момента сопоставления. [31]

Совсем другое представляет процесс отыскания примитивной функции, даваемый основной теоремой. Отправляясь от разных систем Р и Чг, мы получаем в результате разные примитивные F ( x), не отличающиеся на аддитивную постоянную. [32]

Функция DOMINO может быть заменена примитивной функцией domino в функциях CURRENTS и CORRAL, если не используется DEC-АПЛ. Эта функция имеет оператор формата, который приводит к зависанию программы в DEC-АПЛ в случае, когда предполагается, что вектор длины нуль форматирован, но требующаяся модификация крайне незначительна. Функция CURRENTS содержит ряд усовершенствований по сравнению с версией в [1], которая в очень редких случаях упускала экстремальный ток. В ближайшее время будет разработана намного более быстродействующая версия CURRENTSREV. Алгоритмы, использующие COMBO, способны обработать все комбинации, и может потребоваться много времени центрального процессора. [33]

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

Условные выражения могут рассматриваться как применения примитивной функции cond в связи с ленивой семантикой функционирования G-машины в МОП-системе, с другой стороны, условные выражения рассматриваются как особый случай ( по этому вопросу см. также гл. [35]

Эта ошибка фиксируется при обращении к примитивной функции с неправильным числом параметров. В случае явного вызова эта ошибка получается только из-за лишних параметров, поскольку вместо не указанных последних параметров автоматически подставляются пустые цепочки. В случае же когда функция связана с примитивной посредством OPSYN или вызывается с помощью APPLY, нехватка параметров также вызывает эту ошибку. [36]

Правила преобразования графа, соответствующего применению примитивной функции, задаются б-правилами для этой функции. [37]

Заметим, что в этом определении использована примитивная функция, аргументами которой являются два действительных числа, тогда как в определении функции max, данном ранее, функция была использована для операций над целыми числами. Однако было бы довольно неудобно при необходимости использовать различные символы для описания функции больше в зависимости от того, являются ее аргументы действительными или целыми числами, или же в том случае, когда один аргумент - действительный, а другой - целый. В Норе эта проблема решается использованием перекрытия, которое дает возможность одному символу функции иметь то количество значений, которое требуется в зависимости от той или иной ситуации. [38]

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

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

Существует несколько предварительно определенных базовых типов и примитивных функций, из которых можно составлять другие типы и функции. [41]

В наших интерпретаторах мы представляем частичное применение примитивных функций в виде троек, описанных в разд. [42]

Но даже сведя мир всего к двум примитивным функциям, рыночная экономика не в состоянии стабильно работать. [43]

Спуск по гребню графа выражения 12. а - начальное состояние. б - одни шаг вниз по гребню. в - конец спуска. [44]

Для инициации вычисления г - го аргумента применения примитивной функции мы просто выполняем подъемом через / вершин вверх по гребню ( считая от первой не - вершины) и затем входим в гребень аргумента по правой дуге соответствующей - вершины. [45]

Страницы: 1 2 3 4