On the classification of computable languages

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1200, Issue , 1997, Pages 225-236

  Case, John ^a   Kinber, Efim ^b   Sharma, Arun ^c   Stephan, Frank ^d  

^a University of Delaware   (United States)

^b SACRED HEART UNIVERSITY   (United States)

^c UNIVERSITY OF NEW SOUTH WALES   (Australia)

^d UNIVERSITY OF HEIDELBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

INDUCTIVE LEARNING; POSITIVE DATA; STRUCTURAL COMPLEXITY; TURING DEGREES;

ARTIFICIAL INTELLIGENCE;

EID: 0038790359     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0023462     Document Type: Conference Paper

References (28)

1. Leonard Adleman and Manuel Blum: Inductive Inference and Unsolvability. Journal of Symbolic Logic 56 (1991) 891-900.
2. Dana Angluin: Inductive Inference of Formal Languages from Positive Data, Information and Control 45 (1980) 117-135.
3. Shai Ben-David: Can Finite Samples Detect Singularities of Real-Valued Functions? Proceedings of the 24th Annual ACM Symposium on the Theory of Computer Science, Victoria, B.C., (1992) 390-399.
4. Lenore Blum and Manuel Blum: Toward a mathematical Theory of Inductive Inference. Information and Control, 28 (1975) 125-155.
5. J. Richard Büchi: On a decision method in restricted second order arithmetic. In Proceedings of the International Congress on Logic, Methodology and Philosophy of Science, Standford University Press, Standford, California, 1960.
6. J. Richard Büchi and Lawrence H. Landweber: Definability in the Monadic Second Order Theory of Successor. Journal of Symbolic Logic 34 (1969) 166-170.
7. John Case, Sanjay Jain and Arun Sharma: On Learning Limiting Programs. International Journal of Foundations of Computer Science, 3 (1992) 93-115.
8. John Case, Efim Kinber, Arun Sharma and Frank Stephan. On the Classification of Computable Languages. Technical Report No. 9603, School of Computer Science and Engineering, The University of New South Wales, Sydney NSW 2052, Australia.
9. William Gasarch, Mark Pleszkoch, Prank Stephan and Mahendran Velauthapillai: Classification Using Information. To appear in: Annals of Mathematics and Artificial Intelligence.
10. E. Mark Gold: Language Identification in the Limit. Information and Control, 10 (1967) 447-474.
11. Peter G. Hinman: Recursion-Theoretic Hierarchies. Springer-Verlag, Heidelberg, 1978.
12. Klaus Peter Jantke: Monotonic and Non-Monotonic Inductive Inference. New Generation Computing 8 (1991) 349-360.
13. Kevin Kelly: The Logic of Reliable Inquiry. Oxford University Press, Oxford, to appear.
14. Lawrence H. Landweber: Decision Problems for ω-Automata. Mathematical Systems Theory, 3 (1969) 376-384.
15. Robert McNaughton: Testing and Generating Infinite Sequences by a Finite Automaton. Information and Control 9 (1966) 434-448.
16. Eliana Minicozzi: Some Natural Properties of Strong Identification in Inductive Inference. Theoretical Computer Science 2 (1976) 345-360.
17. Maurice Nivat and Dominique Perrin (editors): Automata on Infinite Words. Lecture Notes to Computer Science 192, Springer-Verlag, Heidelberg, 1984.
18. Piergiorgio Odifreddi: Classical recursion theory. North-Holland, Amsterdam, 1989.
19. Daniel N. Osherson, Michael Stob and Scott Weinstein: Systems that learn. Bradford / MIT Press, London, 1986.
20. Hartley Rogers, Jr.: Theory of Recursive Functions and Effective Computability. McGraw-Hill Book Company, New York, 1967.
21. Gerald E. Sacks: Higher Recursion Theory, Perspectives in Mathematical Logic, Springer-Verlag, Heidelberg, 1990.
22. Robert I. Soare: Recursively enumerable sets and degrees. Springer-Verlag, Heidelberg, 1987.
23. Frank Stephan: On One-Sided Versus Two-Sided Classification. Forschungsbericht 25 / 1996 des Mathematischen Institute der Universität Heidelberg, Heidelberg, 1996.
24. Rolf Wiehagen and Carl H. Smith: Generalization versus Classification. Journal of Experimental and Theoretical Artificial Intelligence, 7, 1995. Shorter version in Proceedings 5th Annual Workshop on Computational Learning Theory, (1992) 224-230. ACM Press, New York.
25. Carl H. Smith, Rolf Wiehagen and Thomas Zeugmann: Classifying Predicates and Languages. To appear in: International Journal of Foundations of Computer Science.
26. Boris A. Trakhtenbrot: Finite Automata and the Logic of One Place Predicates. Siberian Mathematical Journal 3 (1962) 103-131 [in Russian]
27. Thomas Zeugmann and Steffen Lange: A Guided Tour Across the Boundaries of Learning Recursive Languages. Algorithmic Learning for Knowledge-Based Systems (K. P. Jantke and S. Lange, Eds.), Lecture Notes in Computer Science 961 (1995) 193-262.
28. Thomas Zeugmann, Steffen Lange and Shyam Kapur: Characterizations of Monotonic and Dual Monotonic Language Learning, Information and Computation 120 (1995) 155-173.