Turing Machines

• Continues until it reaches an unknown condition

• All computer languages and architectures are equivalent to Turing machines

• Universal Turing machine

• Generalisation
• Reads instructions off of tape