This paper presents an algorithm that learns Output-DFA by making Evaluation and Equivalence queries. The correctness and termination of the algorithm are discussed. A description of the implementation of the algorithm is also included.
Domingo, C., Guijarro, D. "On the learnability of output-DFA: a proof and an implementation". 1993.