Inference of Finite Automata: Reducing the Search Space with an Ordering of Pairs of States.

François Coste Jacques Nicolas Inference of Finite Automata: Reducing the Search Space with an Ordering of Pairs of States. 37-42 1998 conf/ecml/1998 ECML db/conf/ecml/ecml98.html#CosteN98 http://dx.doi.org/10.1007/BFb0026669