### Turing machines

an abstract machine devised by Alan Turing to model computation Wikipedia entry → http://www.wikipedia.com/wiki/Turing_machine

- Universal Turing Machine
- Deterministic Turing Machine
- Probabilistic Turing Machine
- Non Determinisitic Turing Machine?
- Limit Turing Machine
- Topological Turing Machine

a 272 bit universal computer is described here → http://www.cwi.nl/~tromp/cl/cl.html

### Turing completeness

Surprisingly Turing-Complete, “A catalogue of software constructs, languages, or APIs which are unexpectedly Turing-complete; implications for security and reliability”