Myhill.thy
2011-02-07 zhang More into first direction
2011-02-06 zhang A formal presentation of automaton and Myhill-Nerrode theorem added to serve as a basis for further discussion
2011-02-05 zhang Check in Myhill.thy before trying another way to explain DFA
2011-02-04 zhang Added something to Myhill.thy, trying to explain the relationship between finite automata and language partition.
less more (0) -10 -4 tip