Если перед вычислением функции необходимо убедиться, что ее аргументы принадлежат области определения, или возникает задача подсчета элементов списка определен
.RU

Если перед вычислением функции необходимо убедиться, что ее аргументы принадлежат области определения, или возникает задача подсчета элементов списка определен


Лекция 2

1.3 Предикаты.

Если перед вычислением функции необходимо убедиться, что ее аргументы принадлежат области определения, или возникает задача подсчета элементов списка определенного типа, то используют специальные функции – предикаты. Предикатом называется функция, которая используется для распознавания или идентификации и возвращает в качестве результата логическое значение - специальные символы t или nil. Часто имена предикатов заканчиваются на P (от слова Predicate).

Предикат ATOM возвращает значение t, если аргумент является атомом. Вызов предиката имеет вид:

(ATOM s-выражение).

Пример: Рассмотрим примеры работы предиката ATOM:

  1. (ATOM ‘x)  t;

  2. (ATOM ‘((1) 2))  nil;

  3. (ATOM nil)  t.

Предикат LISTP возвращает значение t, если аргумент является списком. Вызов предиката имеет вид:

(LISTP s-выражение).

Пример: Рассмотрим примеры работы предиката LISTP:

  1. (LISTP ‘x)  nil;

  2. (LISTP ‘((1) 2))  t;

  3. (LISTP nil)  t.

Предикат SYMBOLP возвращает значение t, если аргумент является атомом – переменной или специальным символом. Вызов предиката имеет вид:

(SYMBOLP s-выражение).

Пример: Рассмотрим примеры работы предиката SYMBOLP:

  1. (SYMBOLP +x)  t;

  2. (SYMBOLP 2)  nil;

  3. (SYMBOLP ‘(a b c))  nil;

  4. ((SYMBOLP t)  t.

Предикат NUMBERP возвращает значение t, если аргумент является числом. Вызов предиката имеет вид:

(NUMBERP s-выражение).

Пример: Рассмотрим примеры работы предиката NUMBERP:

  1. (NUMBERP 56)  t;

  2. (NUMBERP ‘t)  nil.

Предикат NULL возвращает значение t, если аргумент является пустым списком. Вызов предиката имеет вид:

(NULL s-выражение).

Пример: Рассмотрим примеры работы предиката NULL:

  1. (NULL ‘(5 6))  nil;

  2. (NULL (ATOM ‘(1 2)))  t;

  3. (NULL (LIST ‘(1 2)))  nil.

Рассмотрим еще несколько предикатов, аргументами которых являются числа.

Предикат = возвращает значение t, если все аргументы – числа равны между собой. Вызов предиката имеет вид:

(= n1 nm), где ni - число.

Пример: Рассмотрим примеры работы предиката =:

  1. (= 1 1 2)  nil;

  2. (= 4 4)  t.

Предикат < возвращает значение t, если все аргументы – числа упорядочены в порядке возрастания. Вызов предиката имеет вид:

(< n1 nm), где ni - число.

Этот предикат можно использовать для проверки попадания числового значения в заданный диапазон.

Пример: Рассмотрим примеры работы предиката <:

  1. (< 1 1 2)  nil;




  1. (< 1 x 2) 




  1. (< 3 6 8 9)  t.

Аналогично определяются предикаты: > (проверка аргументов – чисел на упорядоченность по убыванию);  (проверка аргументов – чисел на упорядоченность по неубыванию);  (проверка аргументов – чисел на упорядоченность по невозрастанию); /= (проверка аргументов – чисел на неравенство всех пар рядом стоящих аргументов).

Пример: Рассмотрим примеры работы предикатов >, , , /=:

  1. (> 4 1 -5)  t;

  2. (<= 3 3 8 9)  t;

  3. (>= 9 9 5 5)  t;

  4. (/= 1 4 1)  t.

Для сравнения s-выражений используется предикаты EQUAL и EQ. Предикат EQUAL возвращает значение t, если совпадают внешние структуры s-выражений. Вызов предиката имеет вид:

(^ EQUAL s1 s2), где si (i=1,2) – s-выражение.

Предикат EQ возвращает значение t, если совпадают внешние структуры s-выражений и их физические адреса. При использовании EQ следует помнить, что одноименные переменные всегда хранятся в одном месте, а списки – нет. Кроме того, малые целые числа (меньшие 65536 по абсолютной величине) определяются уникально, а большие целые числа (большие 65536 по абсолютной величине) и дробные числа не определяются уникально. Вызов предиката EQ производится аналогично вызову EQUAL.

Пример: Рассмотрим примеры работы предикатов EQUAL и EQ:

  1. (EQUAL a a)  t;

  2. (EQUAL ‘(a b) ‘(a b))  t;

  3. (EQUAL ‘(a) a)  nil;

  4. (EQ a a)  t;

  5. (EQ 100000 100000)  nil;

  6. (EQ ‘(a) ‘(a))  nil. Здесь список (a) создан дважды и хранится по разным адресам;

  7. (EQ 2.25 2.25)  nil.

Заметим, что функции EQUAL и EQ иногда называют примитивными функциями сопоставления с образцом.

1.4 Псевдофункции SET и SETQ.

Мы уже видели, что перед любыми лисповскими константами (числами и символами t и nil) не надо ставить апостроф, т.к. значением константы является сама константа. Символы могут обозначать некоторые выражения. Если символ не имеет значения, то считается, что символ представляет самого себя. Связать символ с некоторым значением можно при помощи функций SET и SETQ. Эти функции являются псевдофункциями, поскольку эти функции возвращают в качестве своего значения вычисленное значение второго аргумента, а связывание является побочным эффектом работы этих функций.

Функция SET вычисляет значения обоих аргументов и возвращает значение второго аргумента. Побочным эффектом работы этой функции является связывание значений аргументов. Вызов функции имеет вид:

(^ SET символ s-выражение).

Пример: Рассмотрим примеры работы предиката SET:

  1. (SET a 2)  2, побочный эффект – связывание: a  2;

(SET c ‘(1 2))  (1 2), побочный эффект – связывание: с  (1 2);

(SET c ‘(3 4))  ошибка, не может выполниться связывание: (3 4)  (1 2) (символ c получил значение (3 4) в предыдущей строке);

Для изменения значения c следовало обратиться к функции следующим образом: (^ SET ‘c ‘(3 4)). Тогда результатом работы функции будет (3 4), а побочным эффектом – связывание с  (3 4).

  1. (SET a ‘(b c d))  (b c d), побочный эффект – связывание: a  (b c d);

(^ SET (car a) 3)  3, побочный эффект – связывание: b  3;

(SET b 4)  ошибка, не может выполниться связывание: 3  4 (символ b получил значение 3 в предыдущей строке);

Для изменения значения b следовало обратиться к функции следующим образом: (SET ‘b 4). Тогда результатом работы функции будет 4, а побочным эффектом – связывание b  4.

В случае если вычислять значение символа – первого аргумента не требуется, то вместо того, чтобы перед символом писать ‘, можно использовать функцию SETQ. Об автоматическом блокировании вычисления первого аргумента напоминает буква q (от QUOTE) в имени функции.

Функция SETQ имеет четное количество аргументов. Аргументы с нечетными номерами должны быть символами, а с четными – s-выражениями. Функция вычисляет значения аргументов с четными номерами и возвращает значение последнего вычисленного s-выражения. Побочным эффектом работы этой функции является связывание символов - аргументов с нечетными номерами со значениями вычисленных s-выражений. Вызов функции имеет вид:

(^ SETQ p1 s1  pn sn), где pi-символ, si-s-выражение.

Пример: Рассмотрим пример работы предиката SETQ:

(SETQ a 1 b 2 c a)  1, побочный эффект – связывания: a  1, b  2,
c  1.

Все образовавшиеся связи действительны в течение всего сеанса работы с интерпретатором Лиспа. Если необходимо разорвать все образовавшиеся связи, следует выполнить команду (RESTART).

^ 1.5 Интерпретатор языка Лисп EVAL.

Интерпретатор Лиспа называется EVAL и его можно так же, как и другие функции вызывать из программы. “Лишний” вызов интерпретатора может, например, снять эффект блокировки вычисления от функции QUOTE или найти значение значения выражения, т.е. осуществить двойное вычисление.

Функция EVAL вычисляет значение значения аргумента и возвращает его. Вызов функции имеет вид:

(^ EVAL s-выражение).

Пример: Рассмотрим примеры работы предиката EVAL:

  1. (EVAL ‘(+ 4 8))  12,

  2. (SETQ x ‘(a b c))  (a b c), побочный эффект – связывание: x  (a b c);

(EVAL ‘x)  (a b c);

(EVAL x)  ошибка, т.к. сначала вычисляется значение x, а потом делается попытка вычислить функцию с именем a;


  1. (^ SETQ a ‘b)  b, побочный эффект – связывание: a  b;

(SETQ b ‘c)  c, побочный эффект – связывание: b  c;

(EVAL a)  c, вычисляется значение значения a, т.е. значение b;

(EVAL ‘a)  b.

  1. (SETQ a 3)  3, побочный эффект – связывание: a  3;

(^ SETQ b ‘a)  a, побочный эффект – связывание: b  a;

(EVAL b)  3, вычисляется значение значения a;

(SETQ a 4)  4, побочный эффект – связывание: a  4;

(^ EVAL b)  4, вычисляется значение значения b, т.е. значение a;

(EVAL ‘b)  a.

Для функции EVAL нет аналогий в процедурных языках программирования. Используя EVAL, мы можем выполнить “оператор”, который создан Лисп-программой и который может меняться в процессе выполнения программы. Лисп позволяет с помощью одних функций формировать определения других функций, программно анализировать и редактировать эти определения как s-выражения, а затем, используя функцию EVAL, исполнять их.

Диалог с интерпретатором языка Лисп на самом верхнем, командном, уровне можно описать простым циклом:

(^ PRINT ‘$) % На экран выводится приглашение;

(PRINT (EVAL (READ))) % Ввод выражения с клавиатуры, вычисление его значения и вывод этого значения на экран

(PRINT ‘$) % Повторение вывода приглашения.

………………

^ 1.6 Определение функций пользователем.

Определение функций и их вычисление в Лиспе основано на лямбда-исчислении Черча, представляющем простой и точный формализм для описания функций. Для описания функции в Лиспе используется лямбда-выражение, которое имеет вид:

(LAMBDA (x1 x2  xn) S1 S2  Sk), где x1, x2, , xn – формальные параметры функции, S1, S2, , Sk – последовательность s-выражений, которые образуют тело функции и описывают вычисления. Список из формальных параметров называется лямбда-списком. Лямбда-выражение соответствует используемому в других языках определению функции.

Например, функцию f (x, y) = x2 + y2 можно определить с помощью следующего лямбда-выражения: (LAMBDA (x y) (+ (* x x) (* y y))).

Лямбда-выражение нельзя вычислить, оно не имеет значения. Но можно организовать лямбда-вызов, который соответствует вызову функции и имеет вид:

(лямбда-выражение a1 a2  an), где a1, a2, , an – вычислимые s-выражения, задающие вычисления фактических параметров.

Например, для того, чтобы найти вычислить значение функции f (2, 3) где f (x, y) = x2 + y2, можно организовать следующий лямбда-вызов:

( (LAMBDA (x y) (+ (* x x) (* y y))) 2 3)  13.

Вычисление лямбда-вызова производится в два этапа. Сначала вычисляются значения фактических параметров и соответствующие формальные параметры связываются с полученными значениями. На следующем этапе с учетом новых связей вычисляется тело функции, и последнее вычисленное значение возвращается в качестве значения лямбда-вызова. После завершения лямбда-вызова фактические параметры получают те связи, которые были у них до вычисления лямбда-вызова, т.е. происходит передача параметров по значению.

Лямбда-вызовы можно объединять между собой и другими формами. Лямбда-вызовы можно ставить как на место тела функции, так и на место фактических параметров.

Пример:

  1. Лямбда-вызов стоит на месте фактического параметра:

( (^ LAMBDA (x) (LIST 2 x)) ( (LAMBDA (y) (LIST y)) ‘a) )  (2 (a)), (a) – вычисленное значение фактического параметра;

  1. Лямбда-вызов стоит на месте тела функции:

( (^ LAMBDA (x) ( (LAMBDA (y) (LIST y x)) ‘a) ) ‘b)  (a b), сначала x связывается с b, затем вычисляется тело функции – лямбда-вызов, при котором y связывается с a и создается список (a b).

Лямбда-выражение является чисто абстрактным механизмом для определения и описания вычислений. Это безымянная функция, которая пропадает сразу после вычисления значения лямбда-вызова. Ее нельзя использовать еще раз, т.к. она не имеет имени. Тем не менее, безымянные функции используются при передаче функции в качестве аргумента другой функции или при формировании функции в результате вычислений.

Дать имя функции можно с помощью функции ^ DEFUN, вызов которой имеет следующий вид: (DEFUN имя_функции лямбда-список тело_функции). Функция DEFUN возвращает имя функции, а ее побочным эффектом является связывание символа - имени функции с соответствующим лямбда-выражением: (LAMBDA лямбда-список тело_функции).

Пример:

  1. Определим функцию list2 с двумя аргументами, которая создает список из своих аргументов:

( ^ DEFUN list2 (x y) (CONS x (CONS y nil)) )  list2;

Обращение к функции:

(list2 ‘a 1)  (a 1);

  1. Определим функцию NEWFUN, которая имеет два аргумента x и y, и определяет другую функцию с именем x и лямбда-выражением y:

(DEFUN NEWFUN (x y) (EVAL (CONS ‘DEFUN (CONS x (CDR y)))))  NEWFUN

Обращение к функции NEWFUN для определения функции с именем SUM, вычисляющей сумму квадратов своих аргументов:

(NEWFUN ‘SUM ‘(LAMBDA (x y) (+ (* x x) (* y y))))  SUM

Теперь можно обратиться к функции SUM:

(SUM 2 3)  13 (22+32)

  1. Определим функцию без аргументов pi, которая приближенно вычисляет число :

(DEFUN pi() 3.141592)  pi;

Обращение к функции:

(pi)  3.141592.





etnonimika-lekciya-vvodnaya-dlya-chego-neobhodimo-znat-paleografiyu-numizmatiku-metrologiyu.html
etnopoeticheskoe-svoeobrazie-hakasskoj-prozi-1930-1990-h-gg.html
etnopravosudie-u-mordvi-v-konce-xix-nachale-xxi-v.html
etnopsihologiya-pn-bojinsha-1-rubezhdk-bailaua-arnalan-test-sratari.html
etnos.html
etnosocialnie-osobennosti-prirodopolzovaniya-shorskij-nacionalnij-prirodnij-park-ili-territoriya-tradicionnogo.html
  • bukva.bystrickaya.ru/osvidetelstvovanie-na-sostoyanie-alkogolnogo-opyaneniya-v-sisteme-mer-administrativnogo-processualnogo-obespecheniya.html
  • spur.bystrickaya.ru/kursi-tehnicheskoe-obsluzhivanie-i-remont-promishlennogo-oborudovaniya.html
  • thesis.bystrickaya.ru/prakticheskoe-zanyatie-1-dvp4-4-chasa-uchebno-metodicheskij-kompleks-disciplini-osnovi-psihoprofilaktiki-i-psihokorrekcii.html
  • klass.bystrickaya.ru/avtoadvokat-moskovskij-komsomolec-04122008-271-str-9-novosti-11.html
  • teacher.bystrickaya.ru/glava-iii-poverhnostnoe-natyazhenie-i-adsorbciya-zakonom-razvedeniya-ostvalda.html
  • teacher.bystrickaya.ru/gde-i-pokazatel-indeksa-po-q-oj-gruppe-q-q0-kolichestvennie-pokazateli-sostoyaniya-obekta-v-tekushem-i-bazisnom-periode-v-naturalnih-pokazatelyah.html
  • znaniya.bystrickaya.ru/programma-speckursa-sovremennij-anglijskij-yazik-dlya-delovogo-obucheniya-v-10-m-profilnom-klasse.html
  • teacher.bystrickaya.ru/generator-otchetov-s-proizvolnoj-gruppirovkoj-programmnij-kompleks-administrator-d-rukovodstvo-polzovatelya.html
  • uchebnik.bystrickaya.ru/uchebno-metodicheskij-kompleks-disciplini-psihodiagnostika-dlya-specialnostej.html
  • literatura.bystrickaya.ru/respubliki-belarus-38-stranica-4.html
  • znanie.bystrickaya.ru/bardiya-i-ego-ubijstvo-kambizom-2008-riza-shabani-kratkaya-istoriya-irana-sankt-peterburg.html
  • otsenki.bystrickaya.ru/shestaya-tankovaya-armiya-ss-konstantin-zalesskij.html
  • predmet.bystrickaya.ru/seminar-soveshanie-predsedatelej-profsoyuznih-organizacij-organov-i-uchrezhdenij-socialnoj-zashiti-naseleniya-stranica-6.html
  • turn.bystrickaya.ru/otkritoe-akcionernoe-obshestvo-elektrogorskij-nauchno-issledovatelskij-centr-po-bezopasnosti-atomnih-elektrostancij-stranica-7.html
  • letter.bystrickaya.ru/o-zadachah-organov-mestnogo-samoupravleniya-po-formirovaniyu-byudzhetnoj-politiki-v-usloviyah-finansovogo-krizisa.html
  • school.bystrickaya.ru/bankovskij-kredit-na-primere-kabardino-balkarskogo-otdeleniya-sberegatelnogo-banka-chast-11.html
  • holiday.bystrickaya.ru/metodicheskie-ukazaniya-i-kontrolnie-zadaniya-dlya-studentov-zaochnoj-formi-obucheniya-po-specialnosti-080110-ekonomika-i-buhgalterskij-uchet-po-otraslyam-stranica-3.html
  • spur.bystrickaya.ru/mchs-rossii-sergej-shojgu-rossijskie-smi-o-mchs-monitoring-za-27-dekabrya-2010-g.html
  • abstract.bystrickaya.ru/1-filosofskie-problemi-tehniki.html
  • tetrad.bystrickaya.ru/vnimanie-po-zhelaniyu-gruppi-vozmozhna-organizaciya-obeda-v-restorane-puteshestvujte-vmeste-s-ugresha-tur.html
  • shkola.bystrickaya.ru/posobie-dlya-studentov-specialnosti-matematika-pedagogicheskih-i-klassicheskih-universitetov.html
  • doklad.bystrickaya.ru/urok-razvitiya-rechi-v-5-klasse-po-teme-pismo.html
  • upbringing.bystrickaya.ru/lekcii-po-istorii-filosofii-nachalo.html
  • esse.bystrickaya.ru/rajonnoj-konferencii.html
  • student.bystrickaya.ru/2-osnovnie-zadachi-i-napravleniya-raboti-po-podgotovke-i-uspeshnomu-uchastiyu-sbornoj-komandi-rossii-na-hsh-paraolimpijskih-igrah-v-pekine.html
  • ekzamen.bystrickaya.ru/referat-podgotovil-lihomanov-oleg-yakovlevich-prepodavatel-organizator-osnov-bezopasnosti-zhiznedeyatelnosti-mou-vsosh-2.html
  • reading.bystrickaya.ru/lesnoj-plan-rostovskoj-oblasti-na-2009-2018-godi-v-red-rasporyazheniya-glavi-administracii-gubernatora-ro-stranica-62.html
  • znaniya.bystrickaya.ru/raisa-danilovna-f-a-lobanceva-kompyuternaya-verstka.html
  • upbringing.bystrickaya.ru/leksika.html
  • letter.bystrickaya.ru/metodicheskie-ukazaniya-k-kursovoj-rabote-razrabotka-matematicheskih-modelej-elektronnih-shem-v-razlichnih-rezhimah-ih-raboti-stranica-4.html
  • crib.bystrickaya.ru/ivanovskij-gubernator-obeshaet-agrariyam-lgotnie-ceni-na-toplivo-vozvrasheniya-prodovolstvennih-kartochek-v-hode.html
  • textbook.bystrickaya.ru/gosudarstvennij-obrazovatelnij-standart-visshego-professionalnogo-obrazovaniya-napravlenie-511300-mehanika-prikladnaya-matematika.html
  • lecture.bystrickaya.ru/56-matham-i-mathi-besedi-bhagavana-shri-satya-sai-babi-c-1964-po-1965-g.html
  • credit.bystrickaya.ru/plan-konspekt-uroka-fizicheskoj-kulturi-v-6-klasse-tema.html
  • composition.bystrickaya.ru/p-e-r-e-ch-e-n-federalnaya-celevaya-programma-preduprezhdenie-i-borba-s-socialno-znachimimi-zabolevaniyami-2007-2011godi.html
  • © bystrickaya.ru
    Мобильный рефератник - для мобильных людей.