universal turing machine concepts 9819385