Skip to main content
SpringerLink
Log in

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

  • Contributed Papers
  • Conference paper
  • First Online:
Mathematical Methods of Specification and Synthesis of Software Systems '85 (MMSSS 1985)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 215))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literature

  1. ANGLUIN, D. and C.H. SMITH: A Survey of Inductive Inference: Theory and Methods, Computing Surveys 15 (237–269), 1983.

    Google Scholar 

  2. BLUM, E. and M. BLUM: Towards a Mathematical Theory of Inductive Inference, Inform. Control 28 (125–155), 1975.

    Google Scholar 

  3. CASE, J. and C.H. SMITH: Comparison of Identification Criteria for Machine Inductive Inference, TCS 25 (193–220), 1983.

    Google Scholar 

  4. GOLD, E.M.: Language Identification in the Limit, Inf. and Contr. 10, (447–474), 1967.

    Google Scholar 

  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. ROGERS, H.Jr.: Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York, 1967.

    Google Scholar 

  7. SCHÄFER, G.: Über Eingabeabhängigkeit und Komplexität von Inferenzstrategien, Dissertation, RWTH Aachen 1984.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Lehr- und Forschungsgebiet Theoretische Informatik, RWTH Aachen, Büchel 29–31, 5100, Aachen, BRD

    Gisela Schäfer

Authors
  1. Gisela Schäfer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Wolfgang Bibel Klaus P. Jantke

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schäfer, G. (1986). Some results in the theory of effective program synthesis: Learning by defective information. In: Bibel, W., Jantke, K.P. (eds) Mathematical Methods of Specification and Synthesis of Software Systems '85. MMSSS 1985. Lecture Notes in Computer Science, vol 215. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16444-8_20

Download citation

  • DOI: https://doi.org/10.1007/3-540-16444-8_20

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16444-9

  • Online ISBN: 978-3-540-39784-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation