next up previous contents
Next: Procedures equivalent to TM's Up: Background for Decidability Previous: Turing Machines briefly defined

Procedures and Functions


 
root
6/10/1998