Здравствуйте, Аноним, Вы писали:

[ХЪ]
А> ...В любом случае современный компьютер теоретически всего лишь сложный конечный автомат, даже не машина Тьюринга.
Извините, Вы не правы. Компьютер — это больше, чем автомат, если Вы, конечно не имеете в виду, что число образов памяти конечно... Да и в таком случае можно предположить, что вычисления останавливаются, добавляется память (эмуляция бесконечной памяти) — в итоге получаем модель RAM, которая, как известно, эквивалентна МТ.