Non Deterministic Turing Machine Example