{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:16:32Z","timestamp":1759637792706},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642308697"},{"type":"electronic","value":"9783642308703"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30870-3_11","type":"book-chapter","created":{"date-parts":[[2012,5,28]],"date-time":"2012-05-28T02:56:12Z","timestamp":1338173772000},"page":"96-106","source":"Crossref","is-referenced-by-count":3,"title":["Automatic Functions, Linear Time and Learning"],"prefix":"10.1007","author":[{"given":"John","family":"Case","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sanjay","family":"Jain","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samuel","family":"Seah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Stephan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0019-9958(80)90285-5","volume":"45","author":"D. Angluin","year":"1980","unstructured":"Angluin, D.: Inductive inference of formal languages from positive data. Information and Control\u00a045, 117\u2013135 (1980)","journal-title":"Information and Control"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0019-9958(75)90261-2","volume":"28","author":"L. Blum","year":"1975","unstructured":"Blum, L., Blum, M.: Toward a mathematical theory of inductive inference. Information and Control\u00a028, 125\u2013155 (1975)","journal-title":"Information and Control"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Blumensath, A., Gr\u00e4del, E.: Automatic structures. In: 15th Annual IEEE Symposium on Logic in Computer Science (LICS), pp. 51\u201362 (2000)","DOI":"10.1109\/LICS.2000.855755"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/978-3-642-21254-3_14","volume-title":"Language and Automata Theory and Applications","author":"J. Case","year":"2011","unstructured":"Case, J., Jain, S., Le, T.D., Ong, Y.S., Semukhin, P., Stephan, F.: Automatic Learning of Subclasses of Pattern Languages. In: Dediu, A.-H., Inenaga, S., Mart\u00edn-Vide, C. (eds.) LATA 2011. LNCS, vol.\u00a06638, pp. 192\u2013203. Springer, Heidelberg (2011)"},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"1146","DOI":"10.1145\/227683.227685","volume":"42","author":"R. Freivalds","year":"1995","unstructured":"Freivalds, R., Kinber, E., Smith, C.H.: On the impact of forgetting on learning machines. Journal of the ACM\u00a042, 1146\u20131168 (1995)","journal-title":"Journal of the ACM"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"E. Mark Gold","year":"1967","unstructured":"Mark Gold, E.: Language identification in the limit. Information and Control\u00a010, 447\u2013474 (1967)","journal-title":"Information and Control"},{"key":"11_CR7","first-page":"411","volume":"15","author":"J. Hartmanis","year":"1968","unstructured":"Hartmanis, J.: Computational complexity of one-tape Turing machine computations. Journal of the Association of Computing Machinery\u00a015, 411\u2013418 (1968)","journal-title":"Journal of the Association of Computing Machinery"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Hennie, F.C.: Crossing sequences and off-line Turing machine computations. In: Sixth Annual Symposium on Switching Circuit Theory and Logical Design, pp. 168\u2013172 (1965)","DOI":"10.1109\/FOCS.1965.5"},{"issue":"1","key":"11_CR9","first-page":"39","volume":"7","author":"B.R. Hodgson","year":"1983","unstructured":"Hodgson, B.R.: D\u00e9cidabilit\u00e9 par automate fini. Annales des sciences math\u00e9matiques du Qu\u00e9bec\u00a07(1), 39\u201357 (1983)","journal-title":"Annales des sciences math\u00e9matiques du Qu\u00e9bec"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/978-3-642-13089-2_27","volume-title":"Language and Automata Theory and Applications","author":"S. Jain","year":"2010","unstructured":"Jain, S., Luo, Q., Stephan, F.: Learnability of Automatic Classes. In: Dediu, A.-H., Fernau, H., Mart\u00edn-Vide, C. (eds.) LATA 2010. LNCS, vol.\u00a06031, pp. 321\u2013332. Springer, Heidelberg (2010)"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Jain, S., Ong, Y.S., Pu, S., Stephan, F.: On automatic families. In: Proceedings of the eleventh Asian Logic Conference in Honour of Professor Chong Chitat on his Sixtieth Birthday, pp. 94\u2013113. World Scientific (2012)","DOI":"10.1142\/9789814360548_0006"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Jain, S., Osherson, D.N., Royer, J.S., Sharma, A.: Systems That Learn, 2nd edn. MIT Press (1999)","DOI":"10.7551\/mitpress\/6610.001.0001"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/3-540-60178-3_93","volume-title":"Logic and Computational Complexity","author":"B. Khoussainov","year":"1995","unstructured":"Khoussainov, B., Nerode, A.: Automatic Presentations of Structures. In: Leivant, D. (ed.) LCC 1994. LNCS, vol.\u00a0960, pp. 367\u2013392. Springer, Heidelberg (1995)"},{"key":"11_CR14","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1006\/inco.1995.1170","volume":"123","author":"E. Kinber","year":"1995","unstructured":"Kinber, E., Stephan, F.: Language learning from texts: mind changes, limited memory and monotonicity. Information and Computation\u00a0123, 224\u2013241 (1995)","journal-title":"Information and Computation"},{"key":"11_CR15","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/j.tcs.2008.02.030","volume":"397","author":"S. Lange","year":"2008","unstructured":"Lange, S., Zeugmann, T., Zilles, S.: Learning indexed families of recursive languages from positive data: a survey. Theoretical Computer Science\u00a0397, 194\u2013232 (2008)","journal-title":"Theoretical Computer Science"},{"key":"11_CR16","unstructured":"Odifreddi, P.: Classical Recursion Theory. Studies in Logic and the Foundations of Mathematics, vol.\u00a0II, 143. Elsevier (1999)"},{"key":"11_CR17","volume-title":"Systems That Learn, An Introduction to Learning Theory for Cognitive and Computer Scientists","author":"D. Osherson","year":"1986","unstructured":"Osherson, D., Stob, M., Weinstein, S.: Systems That Learn, An Introduction to Learning Theory for Cognitive and Computer Scientists. Bradford \u2014 The MIT Press, Cambridge, Massachusetts (1986)"},{"key":"11_CR18","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/3-540-51734-0_50","volume-title":"Analogical and Inductive Inference","author":"L. Pitt","year":"1989","unstructured":"Pitt, L.: Inductive inference, DFAs, and Computational Complexity. In: Jantke, K.P. (ed.) AII 1989. LNCS (LNAI), vol.\u00a0397, pp. 18\u201344. Springer, Heidelberg (1989)"},{"key":"11_CR19","first-page":"33","volume":"3","author":"B.A. Trakhtenbrot","year":"1964","unstructured":"Trakhtenbrot, B.A.: Turing computations with logarithmic delay. Algebra i Logika\u00a03, 33\u201348 (1964)","journal-title":"Algebra i Logika"}],"container-title":["Lecture Notes in Computer Science","How the World Computes"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30870-3_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:32:17Z","timestamp":1620127937000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30870-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642308697","9783642308703"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30870-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}