Transition Relation (Nondeterministic Turing Machine)

Definition