An implementation of a Turing machine in SQL