При нормальном порядке редукции:

Какой будет следующий шаг при нормальном порядке редукции выражения (λx.x+x)(2+3)?

При аппликативном порядке редукции:

Какой будет следующий шаг при аппликативном порядке редукции выражения (λx.x+x)(2+3)?

Какой порядок редукции соответствует передаче параметров по значению?

Какое из приведенных ниже преобразований является примером бета-редукции?

Какое из приведенных ниже преобразований является примером альфа-редукции?

Какому способу передачи параметров соответствует аппликативный порядок редукции?

В каком порядка обходятся поддеревья в постфиксном порядке обхода?

В каком порядка обходятся поддеревья в префиксном порядке обхода?

В каком порядка обходятся поддеревья в инфиксном порядке обхода?