Xingyuan Zhang

Universal Turing Machine

by Jian Xu, Xingyuan Zhang, Christian Urban 🌐, Sebastiaan J. C. Joosten 🌐 and Franz Regensburger 🌐

The Myhill-Nerode Theorem Based on Regular Expressions

by Chunhan Wu, Xingyuan Zhang and Christian Urban 🌐