Creation of a minimum state deterministic finite automaton for a given language using Myhill Nerode Theorem.