The MyhillNerode theorem based on regular expressions (0)

by Chunhan Wu, Xingyuan Zhang, Christian Urban
Venue:Archive of Formal Proofs. August 2011. http://afp.sf.net/entries/ Myhill-Nerode.shtml. Journal of Formalized Reasoning