Ah, right. I meant non-determinism in the sense of a non-deterministic automaton that calculates all outcomes at the same time, not in the sense of introducing

Ah, right. I meant non-determinism in the sense of a non-deterministic automaton that calculates all outcomes at the same time, not in the sense of introducing randomness.