The Myhill-Nerode Theorem Based on Regular Expressions by Chunhan Wu, Xingyuan Zhang and Christian Urban Aug 26