• TECHNIQUES FOR TM CONSTRUCTION
• MODIFICATIONS OF TM's
  • Two-way infinite tape
  • Multiple Tape TM
  • NONDETERMINISTIC TM (NDTM)
  • Multidimensional TM
  • Off-line TMs
• CHURCH - TURING HYPOTHESIS
  • Arguments For Church-Turing Thesis
  • Random-Access Machine
• DIFERENT WAYS TO VIEW TM's
• LANGUAGE GENERATED BY M
  • Pair Genetator: :
  • Characterization of Recursive Sets by Generators
• About this document ...