Week 3 - Turing Machines: Introduction Flashcards
What are turing machines?
A model for devices/automata with unlimited memory, and unrestricted use of that memory. The define the theoretical limits of computation.
What did M. Sipser say about Turing Machines?
A Turing Machine “can do everything that a real computer can do”.
TRUE OR FALSE: Real computers are Turing Machines.
TRUE, though they are generally less powerful Turing machines.
Decribe the internals of a Turing Machine in more detail.
A Machine with states, include and inital state and accepting state and rejecting state. It also has a memory (refered to as a tape) like the pushdown automata, but it is no a stack but memory that allows for any item in the memory to be accessed at any time. Imagine it like an infinite array. It accesses the memory through a ‘tape head’ which decides which item in memory it is looking at. The tape is initially filled with only the input string at the start of memory. A Turing machine will compute forever until it reaches either an accepting or rejecting state for the input.
What is a tape head?
A index that specifies which item in memory that a Turing machine is accessing. It is used to read and write symbols on the memory.
TRUE OR FALSE: The input alphabet for a Turing Machine can contain an empty symbol.
FALSE, because Turing machines need to use the empty symbol for empty memory, and thus it cannot be connected to a symbol in the alphabet.
What are the main differences between Turing machines and the automata we have learned about so far?
The input string is stored in the tape (Memory).
It has unlimited, unrestricted memory.
It will continue forever, unless it reaches either the accept or reject state.
What symbol is used to describe the tape?
Γ