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