Type 1 Deterministic Turing Machine