DMCA

The Myhill-Nerode Theorem based on Regular Expressions (2011)

by Chunhan Wu , Xingyuan Zhang , Christian Urban
Venue:The Archive of Formal Proofs. http://afp.sourceforge.net/devel-entries/ Myhill-Nerode.shtml
Citations:12 - 2 self