Non Determinism and General Choice

Non determinism may or may not actually occur in the known computing Universe. It, however, is a convenient fiction, a useful abstraction, when the internal mechanisms which determine the choice are hidden from us.. If we prefer to say that the choice of what happens next is beyond the scope of our program then we use non-determinism. If our simple computer game program now includes whether the player wins or loses:




Now the traces of this include: