Cтраница 3
Пусть р, q и г - переменные до выполнения машинного цикла. Во время машинного цикла переменные р и q не изменяются. Можно сказать, что г определяет выбор программы, а р vt q являются переменными, на которых выполняется выбранная программа. Это устройство логически обратимо, поскольку результат на выходе однозначно определяет входные данные. Тем не менее, оно пригодно для реализации такой операции как и, которая сама по себе не является логически обратимой. Но компьютер сохраняет достаточно входной информации для обеспечения обратимости. Все же было бы интересным отметить, что программа на самом деле не сохраняется; какая она была, можно понять только дедуктивным путем. [31]