Turing Machines




CS154

Chris Pollett

Apr. 4, 2011

Outline

General Models of Computation

A Real-Life Turing Machine

A photo an a Turing Machine implemented in real-life

[YouTube video of above machine in action]

Example

Quiz

Which of the following is true?

  1. The SEQUITUR algorithm gives a method to construct a CFG from a string.
  2. We gave an algorithm in class to determine whether a PDA accepts all strings.
  3. The CFLs are closed under intersection.