Implemented the Kearns/Vazirani algorithm for DFA and Mealy learning