Explain Non Deterministic Turing Machine