Inference of finite automata: Reducing the search space with an ordering of pairs of states

  • François Coste
  • Jacques Nicolas
Regular Papers Applications of ML
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1398)


We investigate the set of all minimal deterministic finite automata accepting a given set of words and rejecting another given set of words. We present several criteria to order the exploration of the corresponding search space. Three criteria are shown to have a very good behavior with respect to the pruning they imply in the search space. Best results have been obtained for the prefix ordering. We have also worked on a new dynamic ordering based on an entropy computation.


grammatical inference DFA constraints search tree entropy 


  1. Coste, F. and Nicolas, J.: Regular Inference as a Graph Coloring Problem. Workshop on Grammar Inference, Automata Induction, and Language Acquisition (ICML' 97), Nashville, TN.Google Scholar
  2. Dupont, P.; Miclet, L.; and E.Vidal. What is the search space of the regular inference ? ICGI'94, Grammatical inference and Applications 25–37. Springer Verlag.Google Scholar
  3. Dupont, P. Utilisation et apprentissage de modèles de langages pour la reconnaissance de la parole continue. Ph.D. Dissertation, Ecole Nationale Supérieure des TélécommunicationsGoogle Scholar
  4. Lang, K. Random DFA's can be Approximately Learned from Sparse Uniform Examples. In proceedings of the fifth annual ACM Workshop on Computational Learning Theory 45–52, July 1992.Google Scholar
  5. Lang, K. Merge Order count NECI Tech Report, Sept26, 1997Google Scholar
  6. Oncina, J., and Garcia, P. Inferring regular languages in polynomial update time. Pattern Recognition and Image Analysis 49–61.Google Scholar
  7. Quinlan, J.R. Induction of decision trees. Machine Learning (1):81–106.Google Scholar
  8. Trakhenbrot, B. and Barzdin, Y., Finite Automata: Behavior and Synthesis Amsterdam, North Holland Pub. Comp Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • François Coste
    • 1
  • Jacques Nicolas
    • 1
  1. 1.IRISA- IRRIACedexFrance

Personalised recommendations