Minimal universal turing machines