Содержание
- 2. Выполнить подстановку (λ x z. x y) [y := z] = по опр. (λ x. (λz
- 3. 2) Доказать равенство λ-выражений E1 = E2 E1 = λ y . x y E2 =
- 4. 3) Используя различные редукционные стратегии привести к нормальной форме следующее выражение: (λ z . y z)
- 5. 4) Используя свойства комбинаторов редуцировать выражение S (K I) (K S) K S (K I) (K
- 6. 5) Вычислить следующее λ-выражение: fst (false 1) fst (false 1) =по опр. fst (λ p. p
- 7. 6) Вычислить следующее λ-выражение: (2, 1) true (2, 1) true =по опр. пары (λ f. f
- 8. 7) Используя свойства комбинатора неподвижной точки вычислить следующее λ-выражение: Y 0 1 Y 0 1 =по
- 10. Скачать презентацию