Итоги голосования для комментария:

witpun

Кстати, компьютерная модель не обязательно должна быть конечной для обитающих внутри нее процессов.