Some results in the theory of effective program synthesis: Learning by defective information

  • Gisela Schäfer
Contributed Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 215)


Initial Segment Inductive Inference Inferential Process Inference Machine Partial Recursive Function 
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]
    ANGLUIN, D. and C.H. SMITH: A Survey of Inductive Inference: Theory and Methods, Computing Surveys 15 (237–269), 1983.Google Scholar
  2. [2]
    BLUM, E. and M. BLUM: Towards a Mathematical Theory of Inductive Inference, Inform. Control 28 (125–155), 1975.Google Scholar
  3. [3]
    CASE, J. and C.H. SMITH: Comparison of Identification Criteria for Machine Inductive Inference, TCS 25 (193–220), 1983.Google Scholar
  4. [4]
    GOLD, E.M.: Language Identification in the Limit, Inf. and Contr. 10, (447–474), 1967.Google Scholar
  5. [5]
    KLETTE, R. and R. WIEHAGEN: Research in the Theory of Inductive Inference by GDR mathematicians — a Survey, Inf. Sciences 22 (149–169), 1980.Google Scholar
  6. [6]
    ROGERS, H.Jr.: Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York, 1967.Google Scholar
  7. [7]
    SCHÄFER, G.: Über Eingabeabhängigkeit und Komplexität von Inferenzstrategien, Dissertation, RWTH Aachen 1984.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Gisela Schäfer
    • 1
  1. 1.Lehr- und Forschungsgebiet Theoretische InformatikRWTH AachenAachenBRD

Personalised recommendations