Страница:
166 из 257
— Я уже нашел решение! — тут же заявил Крейг.
4. — Интересно, — сказал Мак-Каллох, просмотрев решение Крейга. — А у меня решение другое.
Действительно, в этой задаче существует и второе решение. Можете ли вы его найти?
5. — Ну, а теперь, — сказал Фергюссон, — мы добрались до действительно важного свойства. Так, из одних только правил 1 и 2 следует, что для любых чисел А и В существуют такие числа X и У, при которых X порождает АУ, а У порождает ВХ. Например, существуют такие X и У, что X порождает 7 У, а У порождает 8X. Не можете ли вы найти эти числа?
6. — Из последней задачи, — сказал Фергюссон, — со всей очевидностью следует (правда, из второго принципа Крейга это получается еще более просто), что для любых операционных чисел М и N должны существовать такие числа X и У, при которых X порождает M(Y), а У порождает N(X). Причем это оказывается справедливым не только для данной машины, но и для любой машины, в программу работы которой включены правила 1 и 2. С помощью вашей теперешней машины можно, например, найти такие X и У, при которых число X порождает обращение числа У, а число У порождает ассоциат числа X.
Сумеете ли вы их найти?
7. — Это страшно интересно, — сказал Фергюссону Мак-Каллох, когда они с Крейгом решили последнюю задачу.
|< Пред. 164 165 166 167 168 След. >|