А-машина Тьюринга и кофе-машина Хоара пит-стоп

Может не в тему, но хочу всем посоветовать «Читаем Тьюринга» — Чарлз Петцольд — очень интересно и хорошо написано! И спасибо за статью

А ссылку на оригинал? Судя по поросюшкам, что-то из Милевского?

Заметим, что можно редуцировать в произвольном порядке и получить при этом равнозначный результат.

Так ведь аппликативный порядок не всегда приводит к нормальной форме, а нормальный всегда, если это возможно. Тот же традиционный пример:

(λx.y) ((λx.x x) (λx.x x))