Regular grammatical inference from positive and negative samples by genetic search: the GIG method

  • Pierre Dupont
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 862)


We recall briefly in this paper the formal theory of regular grammatical inference from positive and negative samples of the language to be learned. We state this problem as a search toward an optimal element in a boolean lattice built from the positive information. We explain how a genetic search technique may be applied to this problem and we introduce a new set of genetic operators. In view of limiting the increasing complexity as the sample size grows, we propose a semi-incremental procedure. Finally, an experimental protocol to assess the performance of a regular inference technique is detailed and comparative results are given.


Negative Sample Regular Language Finite Automaton Optimal Partition Correct Classification Rate 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    A. Aho and J. Ullman, The Theory of Parsing, Translation and Compiling, Vol. 1: Parsing, Series in Automatic Computation, Prentice-Hall, Englewood, Cliffs, 1972.Google Scholar
  2. [2]
    D. Angluin, Inference of Reversible Languages, Journal of the ACM, Vol. 29, No. 3, pp. 741–765, 1982.Google Scholar
  3. [3]
    P. Dupont, L. Miclet and E. Vidal, What is the search space of the regular inference ?, to be published in the Proc. of the 2nd ICGI, 1994.Google Scholar
  4. [4]
    K.S. Fu and T.L. Booth, Grammatical Inference: Introduction and Survey, IEEE Transactions on SMC, Part 1: Vol. 5, pp. 85–111, Part 2: Vol. 5, pp. 409–423, 1975.Google Scholar
  5. [5]
    E.M. Gold, Language Identification in the Limit, Information and Control, Vol. 10, No. 5, pp. 447–474, 1967.Google Scholar
  6. [6]
    E.M. Gold, Complexity of Automaton Identification from Given Data, Information and Control, Vol. 37, pp. 302–320, 1978.CrossRefGoogle Scholar
  7. [7]
    D.E. Goldberg, Genetic Algorithms in Search, Optimization & Machine Learning, Addison-Wesley, Reading, Massachusetts, 1989.Google Scholar
  8. [8]
    M.A. Harrison, Introduction to Formal Language Theory, Addison-Wesley, Reading, Massachusetts, 1978.Google Scholar
  9. [9]
    D.R. Jones and M.A. Beltrano, Solving Partitioning Problems with Genetic Algorithms, Proc. of the 4th ICGA, Morgan Kaufmann Pub., CA, pp. 442–449, 1991.Google Scholar
  10. [10]
    Z. Michalewicz, Genetic Algorithms + Data Structures = Evolution Programs, Springer-Verlag, Berlin, 1992.Google Scholar
  11. [11]
    L. Miclet, Inférence de Grammaires Régulières, Thèse de Docteur-Ingénieur, E.N.S.T., Paris, France, 1979.Google Scholar
  12. [12]
    L. Miclet, Regular Inference with a Tail-Clustering Method, IEEE Trans. on SMC, Vol. 10, pp. 737–743, 1980.Google Scholar
  13. [13]
    L. Miclet and C. de Gentile, Inférence Grammaticale à partir d'Exemples et de Contre-Exemples: deux Algorithmes Optimaux (BIG et RIG) et une Version Heuristique (BRIG), Actes des JFA-94, Strasbourg, France, pp. F1–F13, 1994.Google Scholar
  14. [14]
    J. Oncina and P. Garcia, Inferring Regular Languages in Polynomial Update Time, Pattern Recognition and Image Analysis, N. Perrez de la Blanca, A. Sanfeliu and E. Vidal (editors), Series in Machine Perception and Artificial Intelligence, Vol. 1, pp. 49–61, World Scientific, 1992.Google Scholar
  15. [15]
    B. Trakhtenbrot and Ya. Barzdin, Finite Automata: Behavior and Synthesis, North Holland Pub. Comp., Amsterdam, 1973.Google Scholar
  16. [16]
    M. Tomita, Dynamic Construction of Finite-Automata From Examples Using Hill-Climbing, Proc. of the 4th Annual Cognitive Science Conference, USA, pp, 105–108, 1982.Google Scholar
  17. [17]
    P. Wyard, Context Free Grammar Induction Using Genetic Algorithms, Proc. of the 4th ICGA, Morgan Kaufmann Pub., CA, pp. 514–518, 1991.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Pierre Dupont
    • 1
  1. 1.France Télécom CNET/LAA/TSS/RCPLannion CedexFrance

Personalised recommendations