{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,15]],"date-time":"2024-05-15T20:57:40Z","timestamp":1715806660821},"reference-count":29,"publisher":"Elsevier BV","issue":"19","license":[{"start":{"date-parts":[[2009,4,1]],"date-time":"2009-04-01T00:00:00Z","timestamp":1238544000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":1568,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2009,4]]},"DOI":"10.1016\/j.tcs.2009.01.011","type":"journal-article","created":{"date-parts":[[2009,2,1]],"date-time":"2009-02-01T04:28:27Z","timestamp":1233462507000},"page":"1796-1806","source":"Crossref","is-referenced-by-count":4,"title":["Prescribed learning of r.e. classes"],"prefix":"10.1016","volume":"410","author":[{"given":"Sanjay","family":"Jain","sequence":"first","affiliation":[]},{"given":"Frank","family":"Stephan","sequence":"additional","affiliation":[]},{"given":"Nan","family":"Ye","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.tcs.2009.01.011_b1","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S0019-9958(80)90285-5","article-title":"Inductive inference of formal languages from positive data","volume":"45","author":"Angluin","year":"1980","journal-title":"Information and Control"},{"key":"10.1016\/j.tcs.2009.01.011_b2","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1145\/356914.356918","article-title":"Inductive inference: Theory and methods","volume":"15","author":"Angluin","year":"1983","journal-title":"Computing Surveys"},{"key":"10.1016\/j.tcs.2009.01.011_b3","doi-asserted-by":"crossref","first-page":"694","DOI":"10.1016\/j.ic.2007.10.005","article-title":"When unlearning helps","volume":"206","author":"Baliga","year":"2008","journal-title":"Information and Computation"},{"key":"10.1016\/j.tcs.2009.01.011_b4","unstructured":"Janis B\u0101rzdi\u0146\u0161, Two theorems on the limiting synthesis of functions, in: Theory of Algorithms and Programs, Volume 1, Latvian State University, Riga, 210, 1974, pp. 82\u201388"},{"key":"10.1016\/j.tcs.2009.01.011_b5","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/S0019-9958(75)90261-2","article-title":"Toward a mathematical theory of inductive inference","volume":"28","author":"Blum","year":"1975","journal-title":"Information and Control"},{"key":"10.1016\/j.tcs.2009.01.011_b6","doi-asserted-by":"crossref","first-page":"1941","DOI":"10.1137\/S0097539793249694","article-title":"The power of vacillation in language learning","volume":"28","author":"Case","year":"1999","journal-title":"SIAM Journal on Computing"},{"key":"10.1016\/j.tcs.2009.01.011_b7","series-title":"Ninth International Colloquium on Automata, Languages and Programming","first-page":"107","article-title":"Inductive inference and language identification","volume":"vol. 140","author":"Case","year":"1982"},{"key":"10.1016\/j.tcs.2009.01.011_b8","series-title":"Proceedings of the Ninth Annual Conference on Computational Learning Theory","first-page":"193","article-title":"Angluin\u2019s theorem for indexed families of r.e. sets and applications","author":"de Jongh","year":"1996"},{"key":"10.1016\/j.tcs.2009.01.011_b9","doi-asserted-by":"crossref","first-page":"309","DOI":"10.2307\/2964290","article-title":"Three theorems on recursive enumeration","volume":"23","author":"Friedberg","year":"1958","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/j.tcs.2009.01.011_b10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(90)90042-G","article-title":"Prudence and other conditions on formal language learning","volume":"85","author":"Fulk","year":"1990","journal-title":"Information and Computation"},{"key":"10.1016\/j.tcs.2009.01.011_b11","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","article-title":"Language identification in the limit","volume":"10","author":"Mark Gold","year":"1967","journal-title":"Information and Control"},{"key":"10.1016\/j.tcs.2009.01.011_b12","series-title":"Systems That Learn: An Introduction to Learning Theory","author":"Jain","year":"1999"},{"key":"10.1016\/j.tcs.2009.01.011_b13","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/BF01303059","article-title":"Prudence in vacillatory language identification","volume":"28","author":"Jain","year":"1995","journal-title":"Mathematical Systems Theory"},{"key":"10.1016\/j.tcs.2009.01.011_b14","doi-asserted-by":"crossref","first-page":"776","DOI":"10.1016\/j.ic.2008.03.001","article-title":"Learning in Friedberg numberings","volume":"206","author":"Jain","year":"2008","journal-title":"Information and Computation"},{"key":"10.1016\/j.tcs.2009.01.011_b15","series-title":"Proceedings of the First Annual Workshop on Computational Learning Theory","first-page":"143","article-title":"Prudence in language learning","author":"Kurtz","year":"1988"},{"key":"10.1016\/j.tcs.2009.01.011_b16","doi-asserted-by":"crossref","unstructured":"Steffen Lange, Thomas Zeugmann, Language learning in dependence on the space of hypotheses, in: Proceedings of the Sixth Annual Conference on Computational Learning Theory, Santa Cruz, California, United States, 1993, pp. 127\u2013136","DOI":"10.1145\/168304.168320"},{"key":"10.1016\/j.tcs.2009.01.011_b17","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1016\/0304-3975(95)00284-7","article-title":"Monotonic and dual monotonic language learning","volume":"155","author":"Lange","year":"1996","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/j.tcs.2009.01.011_b18","series-title":"An Introduction to Kolmogorov Complexity and Its Applications","author":"Li","year":"1993"},{"key":"10.1016\/j.tcs.2009.01.011_b19","series-title":"Classical Recursion Theory","author":"Odifreddi","year":"1989"},{"key":"10.1016\/j.tcs.2009.01.011_b20","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1016\/S0019-9958(82)91097-X","article-title":"Learning strategies","volume":"53","author":"Osherson","year":"1982","journal-title":"Information and Control"},{"key":"10.1016\/j.tcs.2009.01.011_b21","series-title":"Systems That Learn, An Introduction to Learning Theory for Cognitive and Computer Scientists","author":"Osherson","year":"1986"},{"key":"10.1016\/j.tcs.2009.01.011_b22","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1090\/S0002-9904-1944-08111-1","article-title":"Recursively enumerable sets of positive integers and their decision problems","volume":"50","author":"Post","year":"1944","journal-title":"Bulletin of the American Mathematical Society"},{"key":"10.1016\/j.tcs.2009.01.011_b23","series-title":"Recursively Enumerable Sets and Degrees","author":"Soare","year":"1987"},{"key":"10.1016\/j.tcs.2009.01.011_b24","series-title":"Proceedings First International Workshop on Nonmonotonic and Inductive Logic, Karlsruhe, Germany, Proceedings","first-page":"184","article-title":"A thesis in inductive inference","volume":"vol. 543","author":"Wiehagen","year":"1990"},{"key":"10.1016\/j.tcs.2009.01.011_b25","unstructured":"Thomas Zeugmann, Algorithmisches Lernen von Funktionen und Sprachen, Habilitationsschrift, Technische Hochschule Darmstadt, 1993"},{"key":"10.1016\/j.tcs.2009.01.011_b26","series-title":"Algorithmic Learning for Knowledge-Based Systems, GOSLER final report","first-page":"193","article-title":"A guided tour across the boundaries of learning recursive languages","volume":"vol. 961","author":"Zeugmann","year":"1995"},{"key":"10.1016\/j.tcs.2009.01.011_b27","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1006\/inco.1995.1107","article-title":"Characterizations of monotonic and dual monotonic language learning","volume":"120","author":"Zeugmann","year":"1995","journal-title":"Information and Computation"},{"key":"10.1016\/j.tcs.2009.01.011_b28","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/j.tcs.2003.11.007","article-title":"Separation of uniform learning classes","volume":"313","author":"Zilles","year":"2004","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/j.tcs.2009.01.011_b29","doi-asserted-by":"crossref","first-page":"510","DOI":"10.1016\/j.jcss.2004.10.004","article-title":"Increasing the power of uniform inductive learners","volume":"70","author":"Zilles","year":"2005","journal-title":"Journal of Computer and System Sciences"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397509000620?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397509000620?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,12,21]],"date-time":"2018-12-21T22:25:39Z","timestamp":1545431139000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397509000620"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,4]]},"references-count":29,"journal-issue":{"issue":"19","published-print":{"date-parts":[[2009,4]]}},"alternative-id":["S0304397509000620"],"URL":"https:\/\/doi.org\/10.1016\/j.tcs.2009.01.011","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2009,4]]}}}