1
Finite Model Theory
Lecture 5
Turing Machines and Finite Models