Non Deterministic Turing Machine - Search