13/13. (В этом параграфе рассматривается небольшое усложнение.)

В приведенных примерах проектировщик делал выбор между машинами, преобразования которых имели одно и то же множество операндов, т. е. одно и то же множество состояний машины. Но что будет, если выбор делается, например, между машинами

Можно ли представить такой выбор как фиксацию входного значения? Такой выбор может встретиться на ранних стадиях проектирования, когда, например, принимается решение, должны ли компоненты машины быть электронными или гидравлическими.

На самом деле этот случай содержится в предыдущем случае, что можно показать просто с помощью изменения обозначений. Так, только что упомянутый выбор можно представить как выбор между , и v в нижеследующей (приводимой) машине, состояниями которой служат пары:

(В этом преобразовании точками изображаются значения, не играющие никакой роли.) Если выбрать , то одна часть даст машину

где прочие составляющие отброшены; а если выбрать , то другая часть даст

Таким образом, первоначальная формулировка действительно является вполне общей.