Cтраница 1
Определяющее выражение нельзя вычислить, оно не имеет значения. [1]
Внутри определяющего выражения de или определяющего выражения del функции fn, если это - функция класса EXPR, могут встречаться не только связанные переменные этого выражения, но и другие переменные, которые называются свободными. Значения свобод ных переменных в момент задания функционального аргумента и в момент его использования могут отличаться друг от друга. Считается, что при вычислении тела определяющего выражения de или fifet должны использоваться те значения свободных переменных, которые эти переменные имели во время задания функционального аргумента, а не те, которые они могли получить позже. Это - существенное исключение из общего правила ( см. разд. Задавая функциональный аргумент в виде ( FUNCTION de) или ( FUNCTION fn), мы и обеспечиваем соблюдение этого особого правила нахождения значений свободных переменных в телах функциональных аргументов. Если же в теле определяющего выражения ни прямо ни косвенно ( через другие функции класса EXPR) не используются свободные переменные, то вместо FUNCTION можно прибегнуть к QUOTE. Последнюю форму заведомо можно применять, если fn - наименование встроенной функции, так как такие функции не связаны ни с какими определяющими выражениями, и проблемы свободных переменных для них нет. [2]
Однако определяющие выражения при этом значительно усложняются, теряется наглядность, которая могла бы оправдать использование этой менее адекватной модели. [3]
Тело или определяющее выражение функции пользователя представляется в виде ПГ, имеющего по одной внешней входящей дуге для каждого формального параметра функции и одну внешнюю выходящую дугу, соответствующую результату этой функции. Ссылки на эту функцию в ПГ других функций представляются с помощью вершины-значения. [4]
Непредикативное-определение) - определяющее выражение использует определяемый термин. Таковы уже приведенные О. Однако квантор существования, входящий в определяющее выражение, не приводит на самом деле к непредикативности благодаря тому обстоятельству что ( корректно сформулированное) и. [5]
Она извлекает из определяющего выражения адрес тела е интерпретируемой функции, запоминает в магазине значение указателя aptr, связывает в ассоциативном списке наименования переменных интерпретируемой функции с их значениями, вычисляет выражение е при получившемся состоянии ассоциативного списка и, наконец, восстанавливает значение aptr, возвращаясь тем самым к исходному состоянию ассоциативного списка. [6]
В решении и определяющих выражениях ( 78) функция JJL ( W) задается произвольно. [7]
Внутри определяющего выражения de или определяющего выражения del функции fn, если это - функция класса EXPR, могут встречаться не только связанные переменные этого выражения, но и другие переменные, которые называются свободными. Значения свобод ных переменных в момент задания функционального аргумента и в момент его использования могут отличаться друг от друга. Считается, что при вычислении тела определяющего выражения de или fifet должны использоваться те значения свободных переменных, которые эти переменные имели во время задания функционального аргумента, а не те, которые они могли получить позже. Это - существенное исключение из общего правила ( см. разд. Задавая функциональный аргумент в виде ( FUNCTION de) или ( FUNCTION fn), мы и обеспечиваем соблюдение этого особого правила нахождения значений свободных переменных в телах функциональных аргументов. Если же в теле определяющего выражения ни прямо ни косвенно ( через другие функции класса EXPR) не используются свободные переменные, то вместо FUNCTION можно прибегнуть к QUOTE. Последнюю форму заведомо можно применять, если fn - наименование встроенной функции, так как такие функции не связаны ни с какими определяющими выражениями, и проблемы свободных переменных для них нет. [8]
Эти функции связывают наименования функций с определяющими выражениями. [9]
Каждое определение состоит из определяемого термина и определяющего выражения. Наиболее распространены определения через род и видовое отличие. В их определяющей части говорится о множестве предметов, к которому относится определяемый предмет, и указывается признак, по которому может быть выделен этот предмет. [10]
Здесь fn может быть атомом-наименованием функции или определяющим выражением. [11]
Функция называется рекурсивной, если в ее определяющем выражении содержится хотя бы одно обращение к ней самой. Такое обращение может быть неявным. Это значит, что обращение происходит к другой функции, а та прямо или также косвенно обращается к определяемой функции. [12]
Два класса переменных: связанные переменные в определяющих выражениях и программные переменные в выражениях PROG, в общем, совершенно равноправны. Каждая переменная может быть связана со значением и даже со многими значениями одновременно. Однако в каждый момент выполнения программы лишь одна из этих связей-та, которая была установлена последней-находится в активном состоянии. Это значит, что в качестве значения переменной, когда оно потребуется, берется значение, соединенное с ней активной связью. Это значит также, что при присваивании переменной нового значения посредством оператора SETQ активная связь начинает связывать переменную с этим новым значением, а старое теряется безвозвратно. Значения же, связанные с переменной пассивными связями, не могут быть ни использованы в вычислениях, ни заменены другими значениями, пока соответствующая связь не перейдет в активное состояние. [13]
Ясно также, что соотношение (2.70) следует непосредственно из определяющего выражения (2.49) для чисел Стерлинга 2-го рода. [14]
Теперь можно окончательно уточнить состав рабочей подпрограммы, соответствующей определяющему выражению компилируемой функции. Каждая такая подпрограмма представляет собой отдельный участок области полных слов. Поэтому в начале этого участка должна содержаться ячейка - паспорт участка ( см. разд. Далее следует подпрограмма тела определяющего выражения, а за ней - обращение к блоку return. Для нужд конкретных реализаций к этому могут быть добавлены дополнительные ячейки со служебной информацией. Подпрограмма функционального аргумента также должна завершаться обращением к блоку return ( имеется в виду подпрограмма, помеченная меткой Le, см. разд. [15]