Universal Turing Machineby Jian Xu, Xingyuan Zhang, Christian Urban and Sebastiaan J. C. Joosten08 Feb
The Myhill-Nerode Theorem Based on Regular Expressionsby Chunhan Wu, Xingyuan Zhang and Christian Urban26 Aug