transformers are universal turing machines