Основы функционального программирования/Трансформация программ: различия между версиями

м
Нет описания правки
м (Шаблон со списком лекций)
м
__TOC__
{{ОФП Содержание}}
 
= Лекция 11. «Трансформация программ» =
 
Под программой P на некотором языке L понимается некоторый текст на L. В случае функционального языка под программой понимается набор клозов. Семантика же языка L определяется, если задан интерпретатор этого языка. Интерпретатор определяется формулой:
271

правка