todo.
also, for ea. machine, which proofs you need to prove to show it is a universal turing machine
see also http://en.wikipedia.org/wiki/Turing_machine_equivalents
![[Home]](http://www.bayleshanks.com/cartoonbayle.png)
