Условное выражение | MetodPro.ru

Реклама на сайте

Условное выражение


(cond e1 e2 e3) при вычислении такого условного оператора выражения e2 и e3 заранее не вычисляются, пока не будет вычислено выражение e1. Основываясь на денотационной семантике условно можно записать правило:

Eval[(cond e1 e2 e3),n,v] = if not(eval[e1,n,v]) then eval[e3,n,v] else eval[e2,n,v]

λ-выражение.

Вычисление λ-выражений заключается в построении замыкания функций.

(lambda y e)

y = (x1...xn)

eval[(lambda y e),n,v] = cons (cons(y,e), cons(n,v)).

n = ((A B))

v = ((3 4))

e = (add x z)

y = (x z)

(lambda  (x z) (add x z))

замыкание =  (((x z) (add x z)) ((A B) (3 4)))



Методические пособия

  • Системы автоматизированного проектирования
  • Социология молодёжи
  • Общая социология
  • Криптография
  • Проектирование трансляторов
  • Компьютерная графика
  • Моделирование систем
  • Информационная безопасность
  • Теория вычислительных процессов
  • Логические основы искусственного интелекта
  • Проектирование распределённых информационных систем