@inproceedings{56e1a5993dc247539e11a6812614e50c,
title = "Enumerable classes of total recursive functions: Complexity of inductive inference",
abstract = "This paper includes some results on complexity of inductive inference for enumerable classes of total recursive functions, where enumeration is considered in more general meaning than usual recursive enumeration. The complexity is measured as the worst-case mindchange (error) number for the first n functions of the given class. Three generalizations are considered. First: the numbering is computed in limit (with a fixed number of mind- changes). Then the complexity can be arbitrary fast growing recursive function. Second: a fixed number of functions are given by the enumbering function wrongly. In this case only universal strategies have large complexity function. Third: every function given by the enumbering function can differ in a fixed number of points from the corresponding genuine function of the class. Two cases are considered: functions given by the enumbering function can be only partially defined or they must be total. In the first case there are unidentifiable classes. In the second case there are logarithmic algorithms for prediction and EX-identifying and linear algorithms for identifying of τ-indices.",
author = "Andris Ambainis and Juris Smotrovs",
note = "Publisher Copyright: {\textcopyright} 1994, Springer Verlag. All Rights Reserved.; 4th International Workshop on Analogical and Inductive Inference, AII 1994 and 5th International Workshop on Algorithmic Learning Theory, ALT 1994 ; Conference date: 10-10-1994 Through 15-10-1994",
year = "1994",
doi = "10.1007/3-540-58520-6\_50",
language = "English",
isbn = "9783540585206",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "10--25",
editor = "Setsuo Arikawa and Jantke, \{Klaus P.\}",
booktitle = "Algorithmic Learning Theory - 4th International Workshop on Analogical and Inductive Inference, AII 1994 and 5th International Workshop on Algorithmic Learning Theory, ALT 1994, Proceedings",
address = "Germany",
}