A Characterization of the Language Classes Learnable with Correction Queries

  • Cristina Tîrnăucă
  • Satoshi Kobayashi
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4484)


Formal language learning models have been widely investigated in the last four decades. But it was not until recently that the model of learning from corrections was introduced. The aim of this paper is to make a further step towards the understanding of the classes of languages learnable with correction queries. We characterize these classes in terms of triples of definite finite tell-tales. This result allowed us to show that learning with correction queries is strictly more powerful than learning with membership queries, but weaker than the model of learning in the limit from positive data.


correction query query learning Gold-style learning 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Gold, E.M.: Language identification in the limit. Information and Control 10, 447–474 (1967)CrossRefzbMATHGoogle Scholar
  2. 2.
    Angluin, D.: Inductive inference of formal languages from positive data. Information and Control 45, 117–135 (1980)CrossRefMathSciNetzbMATHGoogle Scholar
  3. 3.
    Mukouchi, Y.: Characterization of finite identification. In: Jantke, K.P. (ed.) AII 1992. LNCS, vol. 642, pp. 260–267. Springer, Heidelberg (1992)Google Scholar
  4. 4.
    Angluin, D.: Learning regular sets from queries and counterexamples. Information and Computation 75, 87–106 (1987)CrossRefMathSciNetzbMATHGoogle Scholar
  5. 5.
    Lange, S., Zilles, S.: Formal language identification: query learning vs. Gold-style learning. Information Processing Letters 91, 285–292 (2004)CrossRefMathSciNetGoogle Scholar
  6. 6.
    Dediu, A.-H., Becerra-Bonache, L., Tîrnăucă, C.: Learning DFA from Correction and Equivalence Queries. In: Sakakibara, Y., et al. (eds.) ICGI 2006. LNCS (LNAI), vol. 4201, pp. 281–292. Springer, Heidelberg (2006)Google Scholar
  7. 7.
    Martín-Vide, C., Mitrana, V., Păun, G. (eds.): Formal Languages and Applications. Studies in Fuzzyness and Soft Computing, vol. 148. Springer, Heidelberg (2004)zbMATHGoogle Scholar
  8. 8.
    Zeugmann, T., Lange, S.: A guided tour across the boundaries of learning recursive languages. In: Lange, S., Jantke, K.P. (eds.) GOSLER 1994. LNCS, vol. 961, pp. 190–258. Springer, Heidelberg (1995)Google Scholar
  9. 9.
    Zeugmann, T., Lange, S., Kapur, S.: Characterizations of monotonic and dual monotonic language learning. Information and Computation 120, 155–173 (1995)CrossRefMathSciNetzbMATHGoogle Scholar
  10. 10.
    Zeugmann, T.: Inductive inference and language learning. In: Cai, J.-Y., Cooper, S.B., Li, A. (eds.) TAMC 2006. LNCS, vol. 3959, pp. 464–473. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  11. 11.
    Lange, S., Zeugmann, T.: Types of monotonic language learning and their characterization. In: Proc. 5th Annual Workshop on Computational Learning Theory (COLT ’92), pp. 377–390. ACM Press, New York (1992)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Cristina Tîrnăucă
    • 1
  • Satoshi Kobayashi
    • 2
  1. 1.Research Group on Mathematical Linguistics, Rovira i Virgili University, Pl. Imperial Tàrraco 1, Tarragona 43005Spain
  2. 2.Department of Computer Science, University of Electro-Communications, Chofugaoka 1-5-1, Chofu, Tokyo 182-8585Japan

Personalised recommendations