The Myhill-Nerode Theorem Based on Regular Expressionsby Chunhan Wu, Xingyuan Zhang and Christian Urban26 Aug