Transition Relation (Turing Machine)

Definition