About

Turing Machine are automata that model the power of real computers

They allow:

• the study of decidabilty
• to distinguish tractable problems