Transition Relation (Deterministic Turing Machine)

Definition