A Negative Result on Inductive Inference of Extended Pattern Languages

  • Daniel Reidenbach
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2533)


The question of learnability of the class of extended pattern languages is considered to be one of the eldest and outstanding open problems in inductive inference of formal languages. This paper provides an appropriate answer presenting a subclass - the terminal-free extended pattern languages - that is not learnable in the limit. In order to achieve this result we will have to limit the respective alphabet of terminal symbols to exactly two letters. In addition we will focus on the impact of ambiguity of pattern languages on inductive inference of terminal-free extended pattern languages. The conventional view on nondeterminism in patterns inspired by formal language theory is transformed into an approach that meets the requirements of inductive inference. These studies will lead to some useful learnability criteria for classes of terminal-free extended pattern languages.


Formal Language Inductive Inference Lower Case Letter Positive Data Pattern Language 
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. [Ang79]
    D. Angluin. Finding patterns common to a set of strings. In Proceedings, 11th Annual ACM Symposium on Theory of Computing, pages 130–141, 1979.Google Scholar
  2. [Ang80]
    D. Angluin. Inductive inference of formal languages from positive data. Information and Control, 45:117–135, 1980.MATHCrossRefMathSciNetGoogle Scholar
  3. [Bar74]
    J. Barzdin. Two theorems on the limiting synthesis of functions. Theory of Algorithms and Programs, Latvian State University, Riga, 210:82–88, 1974.MathSciNetGoogle Scholar
  4. [BCJ96]
    G.R. Baliga, J. Case, and S. Jain. Synthesizing enumeration techniques for language learning. In Proceedings of the Ninth Annual Conference on Computational Learning Theory, pages 169–180, 1996.Google Scholar
  5. [BCJ99]
    G.R. Baliga, J. Case, and S. Jain. The synthesis of language learners. Information and Computation, 152:16–43, 1999.MATHCrossRefMathSciNetGoogle Scholar
  6. [CL82]
    J. Case and L. Lynes. Machine inductive inference and language identification. In Lecture Notes in Computer Science, volume 140, pages 107–115. Proceeedings of the 9th International Colloquium on Automata, Languages and Programming, 1982.Google Scholar
  7. [Gol67]
    E.M. Gold. Language identification in the limit. Information and Control, 10:447–474, 1967.CrossRefMATHGoogle Scholar
  8. [JKS+94]
    T. Jiang, E. Kinber, A. Salomaa, K. Salomaa, and S. Yu. Pattern languages with and without erasing. Intern. J. Computer Math., 50:147–163, 1994.MATHCrossRefGoogle Scholar
  9. [JSSY95]
    T. Jiang, A. Salomaa, K. Salomaa, and S. Yu. Decision problems for patterns. Journal of Computer and System Science, 50:53–63, 1995.MATHCrossRefMathSciNetGoogle Scholar
  10. [LW91]
    S. Lange and R. Wiehagen. Polynomial-time inference of arbitrary pattern languages. New Generation Computing, 8:361–370, 1991.MATHCrossRefGoogle Scholar
  11. [Mit98]
    A.R. Mitchell. Learnability of a subclass of extended pattern languages. In Proceedings of the Eleventh Annual Conference on Computational Learning Theory, pages 64–71, 1998.Google Scholar
  12. [MS94]
    A. Mateescu and A. Salomaa. Nondeterminism in patterns. In Lecture Notes in Computer Science, volume 775, pages 661–668. STACS 94, 11th Annual Symposium on Theoretical Aspects of Computer Science, 1994.Google Scholar
  13. [OW82]
    D. Osherson and S. Weinstein. Criteria of language learning. Information and Control, 52:123–138, 1982.MATHCrossRefMathSciNetGoogle Scholar
  14. [Rog92]
    H. Rogers. Theory of Recursive Functions and Effective Computability. MIT Press, 1992. 3. print.Google Scholar
  15. [Shi82a]
    T. Shinohara. Polynomial time inference of extended regular pattern languages. In Lecture Notes in Computer Science, volume 147, pages 115–127. RIMS Symposia on Software Science and Engineering, Proceedings, Kyoto, 1982.Google Scholar
  16. [Shi82b]
    T. Shinohara. Polynomial time inference of pattern languages and its application. In Proceedings of the 7th IBM Symposium on Mathematical Foundations of Computer Science, pages 191–209, 1982.Google Scholar
  17. [Wri89]
    K. Wright. Identification of unions of languages drawn from an identifiable class. In Proceedings of the Second Annual Workshop on Computational Learning Theory, pages 328–333, 1989.Google Scholar
  18. [WZ94]
    R. Wiehagen and T. Zeugmann. Ignoring data may be the only way to learn efficiently. Journal of Experimental and Theoretical Artificial Intelligence, 6:131–144, 1994.MATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Daniel Reidenbach
    • 1
  1. 1.Fachbereich InformatikUniversität KaiserslauternKaiserslauternGermany

Personalised recommendations