Non Deterministic Turing Machine Diagram