Turing Machines

• In general, we can write at a higher lever, secure that TMs can do it-

  • But don’t forget, we can encode any description.

• We can just write the above TM as

• M: On input w,

  • If w consists of 2n, then ACCEPT
  • Else, REJECT

Previous slide

Next slide

Back to first slide

View graphic version