|
Обобщим машину Тьюринга на неизолируемый случай. Пусть одна из перестановок меняет способ кодирования информации на ленте памяти для следующих; а номер той перестановки, что обладает на данном шаге таким правом – задаётся внешним шумом со столькими различимыми уровнями, сколько имеется различных перестановок (пример в 2 бита).
Если игнорировать пошаговое выполнение, можно решить, что машина занимает 2+3–1 = 4 или с протоколом 2+3–1+2–1 = 5 измерений! Протокол памяти одной машины может стать шумом для другой – тогда для описания сети машин потребуется n-мерное гильбертово пространство Н. Но машинный цикл разделён надвое:
Переписав теорию "мыслящей машины" с языка подстановок на язык множеств, получим "универсальный квантовый компьютер" по Д.Дойчу, не так ли? А это значит, что и через "мыслящую машину" можно определять "физическую вычислимость". |