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

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