Операция расширения окружения. Множество свободных переменных. Множество связанных переменных. | MetodPro.ru

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

Операция расширения окружения. Множество свободных переменных. Множество связанных переменных.


7)Операция расширения окружения. Множество свободных переменных. Множество связанных переменных.

Операция пополнения окружения
Для заданного окружения r, переменной x и значения v операция r[x/v] строит новое окружение, которое ставит в соответствие переменной x значение v, а остальным переменным значения, определяемые окружением r.
Если x=y то p[x/v](y) = v, иначе p[x/v](y) = p(y)

Множество свободных переменных
FVar(n) = O/
FVar(x) = {x}
FVar(e op e’) = FVar(e) U FVar(e’)
FVar(let x = e in e’) = (FVar(e’) – {x}) U FVar(e)
Множество связанных переменных
BVar(n) = O/
BVar(x) = O/
BVar(e op e’) = BVar(e) U BVar(e’)
BVar(let x = e in e’) = BVar(e) U BVar(e’) U {x}
В одном выражении одна и та же переменная  может быть и свободной и связанной
Например, в выражении let y = y+2 in y*y второе вхождение переменной свободное, а третье и четвертое – связанные.




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

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