Какое из приведенных ниже преобразований является примером альфа-редукции?
При аппликативном порядке редукции:
При нормальном порядке редукции:
Какой порядок редукции соответствует передаче параметров по значению?
Какому способу передачи параметров соответствует аппликативный порядок редукции?
Какой будет следующий шаг при нормальном порядке редукции выражения (λx.x+x)(2+3)?
Какой будет следующий шаг при аппликативном порядке редукции выражения (λx.x+x)(2+3)?
Какие из преобразований надо применить, чтобы редуцировать (λx.sin x) 0 → 0?
Какое максимальное количество неподвижных точек может иметь функция?
Какое множество значений у прямой суммы T1+T2?
