On a theory of inductive inference

  • E. B. Kinber
Section C Computability, Decidability & Arithmetic Complexity
Part of the Lecture Notes in Computer Science book series (LNCS, volume 56)


Recursive Function Inductive Inference Standard Enumeration Computable Enumeration Regular Strategy 
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]
    BARZDIN, Y.M. Inductive inference of automata, functions and programs. Proc. of Int. Math. Congress, Vancouvér (1974), 771–776.Google Scholar
  2. [2]
    BARZDIN Y.M. Two theorems on inductive inference of functions. (Russian). Uch. zap. Latv. univ. 210 (1974), Riga, 82–88.Google Scholar
  3. [3]
    BARZDIN, Y.M., FREIVALD, R.V. On the prediction of general recursive functions. Soviet Math. Dokl. 13 (1972), 1224–1228.Google Scholar
  4. [4]
    BARZDIN, Y.M., FREIVALD, R.V. Prediction and inductive inference of effectively enumerable classes of functions (Russian). Uch. zap. Latv. univ. 210 (1974), Riga, 101–111.Google Scholar
  5. [5]
    BLUM, L., BLUM, M. Toward a mathematical theory of inductive inference. Inform. and Contr. 28 (1975), 125–155.Google Scholar
  6. [6]
    GOLD, E.M. Limiting recursion. Journ. of Symb. Log. 30 (1965), 28–48.Google Scholar
  7. [7]
    KINBER, E.B. On comparison of limit identification and standardization of general recursive functions (Russian). Uch. zap. Latv. univ. 233 (1975), 45–56.Google Scholar
  8. [8]
    KOLMOGOROV, A.N. Tri podhoda k opredeleniju ponjatija "kolichestvo informacii". Problemi peredachi informacii 1 (1965), 3–7.Google Scholar
  9. [9]
    FREIVALD, R.V. Minimal Godel numbers and their identification in the limit. Lect. Notes in Comp. Science 32 (1975), 219–225.Google Scholar
  10. [10]
    WIEHAGEN, R. Limes-Erkennung rekursiver Funktionen durch spezielle Strategien. EIK 12 (1976), 93–99.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1977

Authors and Affiliations

  • E. B. Kinber
    • 1
  1. 1.Computing Center of Latvian State UniversityRigaUSSR

Personalised recommendations