monotale: What level of abstract-ism is computationally impossible to achieve?

Is it possible to design a non-deterministic non-probabilistic infinite automaton?

Provided the Quantum Architecture – would this become a possibility in the future?