next up previous
Next: Instantaneous Description Of M Up: No Title Previous: DEFINITIONS

TURING MACHINE


figure27

tex2html_wrap_inline467
Q finite set of states.
tex2html_wrap_inline471 input alphabet
tex2html_wrap_inline473 tape alphabet tex2html_wrap_inline475
tex2html_wrap_inline477 blank symbol tex2html_wrap_inline479
F set of final states tex2html_wrap_inline483
tex2html_wrap_inline499
When tex2html_wrap_inline489 is undefined, then M halts.



Sushil Prasad
Thu Jul 30 13:41:04 EDT 1998