информационно-новостной портал
Главная / Статьи / Информатика / Программирование /

Чистое лямбда-исчисление (определение, правила вывода, редексы, порядок редукций).

  -это исчисление анонимных функций, в нем отсутствуют константы, структуры данных и управляющие предложения. Но все эти возм-ти можно определить, используя l-выражения. Синтаксис: <выр>::+<ид>

Просмотров: 301 | Дата добавления: 08.02.2016