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:
#equation1103#
then:
#equation1105#
Now the traces of this include:
#equation1107#