Non Deterministic Turing Machine Definition