{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T19:42:52Z","timestamp":1769974972492,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540115762","type":"print"},{"value":"9783540393085","type":"electronic"}],"license":[{"start":{"date-parts":[[1982,1,1]],"date-time":"1982-01-01T00:00:00Z","timestamp":378691200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1982]]},"DOI":"10.1007\/bfb0012761","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T08:00:52Z","timestamp":1132732852000},"page":"107-115","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":84,"title":["Machine inductive inference and language identification"],"prefix":"10.1007","author":[{"given":"John","family":"Case","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christopher","family":"Lynes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,10,22]]},"reference":[{"key":"10_CR1","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1016\/0022-0000(80)90041-0","volume":"21","author":"D. Angluin","year":"1980","unstructured":"Angluin, D., \u201cFinding patterns common to a set of strings,\u201d J. of Computer and System Sciences, 21 (1980), 46\u201362.","journal-title":"J. of Computer and System Sciences"},{"key":"10_CR2","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., \u201cInductive inference of formal languages from positive data,\u201d Information and Control, 45, 117\u2013135, 1980.","journal-title":"Information and Control"},{"key":"10_CR3","unstructured":"Angluin, D., \u201cInference of Reversible Languages,\u201d J. of the ACM, to appear."},{"key":"10_CR4","first-page":"82","volume":"210","author":"J. Barzdin","year":"1974","unstructured":"Barzdin, J., \u201cTwo theorems on the limiting synthesis of functions,\u201d Latvii gosudarst. Univ. ucenye Zapiski, 210, 82\u201388 (Russian), 1974.","journal-title":"Latvii gosudarst. Univ. ucenye Zapiski"},{"key":"10_CR5","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. and M. Blum, \u201cToward a mathematical theory of inductive inference,\u201d Information and Control, 28, 125\u2013155, 1975.","journal-title":"Information and Control"},{"key":"10_CR6","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/BF01761704","volume":"8","author":"J. Case","year":"1974","unstructured":"Case, J., \u201cPeriodicity in generations of automata,\u201d Math. Systems Theory, 8, 15\u201332, 1974.","journal-title":"Math. Systems Theory"},{"key":"10_CR7","unstructured":"Case, J. and S. Ngo Manguelle, \u201cRefinements of inductive inference by Popperian machines I, II,\u201d Kybernetika, to appear."},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Case, J. and C. Smith, \u201cAnomaly hierarchies of mechanized inductive inference,\u201d Proceedings 10th ACM Symposium on Theory of Computing, San Diego, Calif., pp. 314\u2013319, 1978.","DOI":"10.1145\/800133.804360"},{"key":"10_CR9","unstructured":"Case, J. and C. Smith, \u201cComparison of identification criteria for machine inductive inference,\u201d Theoretical Computer Science, to appear."},{"key":"10_CR10","volume-title":"Ph.D. Dissertation","author":"K. J. Chen","year":"1981","unstructured":"Chen, K. J., Tradeoffs in Machine Inductive Inference, Ph.D. Dissertation, Computer Science Department, SUNY at Buffalo, Amherst, New York, 1981."},{"key":"10_CR11","unstructured":"Chen, K. J., \u201cTradeoffs in the inductive inference of nearly minimal size programs,\u201d Information and Control, to appear in the special issue devoted to papers presented at the Workshop on Recursion Theory in Computer Science held at Purdue University, 1981."},{"key":"10_CR12","unstructured":"Daley, R., \u201cOn the error correcting power of pluralism in inductive inference,\u201d preprint."},{"key":"10_CR13","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1016\/S0019-9958(72)90424-X","volume":"20","author":"J. Feldman","year":"1972","unstructured":"Feldman, J., \u201cSome decidability results on grammatical inference and complexity,\u201d Information and Control, 20, 244\u2013262, 1972.","journal-title":"Information and Control"},{"key":"10_CR14","first-page":"179","volume":"15","author":"R. Freivald","year":"1979","unstructured":"Freivald, R. and R. Wiehagen, \u201cInductive inference with additional information,\u201d Electronische Informationsverarbeitung und Kybernetik, 15, 179\u2013185, 1979.","journal-title":"Electronische Informationsverarbeitung und Kybernetik"},{"key":"10_CR15","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"M. Gold","year":"1967","unstructured":"Gold, M., \u201cLanguage identification in the limit,\u201d Information and Control, 10, 447\u2013474, 1967.","journal-title":"Information and Control"},{"key":"10_CR16","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J. Hopcroft","year":"1979","unstructured":"Hopcroft, J. and J. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, Reading, Massachusetts, 1979."},{"key":"10_CR17","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/S0020-0255(80)80006-5","volume":"22","author":"R. Klette","year":"1980","unstructured":"Klette, R. and R. Wiehagen, \u201cResearch in the theory of inductive inference by GDR mathematicians \u2014 a survey,\u201d Information Sciences, 22, 149\u2013169, 1980.","journal-title":"Information Sciences"},{"key":"10_CR18","volume-title":"An Introduction to the General Theory of Algorithms","author":"M. Machtey","year":"1978","unstructured":"Machtey, M. and P. Young, An Introduction to the General Theory of Algorithms, North-Holland, New York, 1978."},{"key":"10_CR19","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1016\/0304-3975(76)90087-6","volume":"2","author":"E. Minicozzi","year":"1976","unstructured":"Minicozzi, E., \u201cSome natural properties of strong-identification in inductive inference,\u201d Theoretical Computer Science, 2, 345\u2013360, 1976.","journal-title":"Theoretical Computer Science"},{"key":"10_CR20","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/0010-0277(82)90005-1","volume":"11","author":"D. Osherson","year":"1982","unstructured":"Osherson, D. and S. Weinstein, \u201cA note on formal learning theory,\u201d Cognition, 11 (1982), 77\u201388.","journal-title":"Cognition"},{"key":"10_CR21","unstructured":"Osherson, D. and S. Weinstein, \u201cCriteria of language learning,\u201d preprint."},{"key":"10_CR22","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0010-0277(79)90001-5","volume":"7","author":"S. Pinker","year":"1979","unstructured":"Pinker, S., \u201cFormal models of language learning,\u201d Cognition, 7 (1979), 217\u2013283.","journal-title":"Cognition"},{"key":"10_CR23","doi-asserted-by":"publisher","first-page":"331","DOI":"10.2307\/2964292","volume":"23","author":"H. Rogers","year":"1958","unstructured":"Rogers, H., \u201cG\u00f6del numberings of the partial recursive functions,\u201d J. of Symbolic logic, 23, 331\u2013341, 1958.","journal-title":"J. of Symbolic logic"},{"key":"10_CR24","volume-title":"Theory of Recursive Functions and Effective Computability","author":"H. Rogers","year":"1967","unstructured":"Rogers, H., Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York, 1967."},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"Smith, C., \u201cThe power of parallelism for automatic program synthesis,\u201d Proceedings of the 22nd FOCS Conference, Nashville, Tennessee, October, 1981 (to appear revised in J. of the ACM).","DOI":"10.1109\/SFCS.1981.48"},{"key":"10_CR26","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/0010-0277(82)90006-3","volume":"11","author":"K. Wexler","year":"1982","unstructured":"Wexler, K., \u201cOn extensional learnabllity,\u201d Cognition, 11 (1982), 89\u201395.","journal-title":"Cognition"},{"key":"10_CR27","volume-title":"Formal Principles of Language Acquisition","author":"K. Wexler","year":"1980","unstructured":"Wexler, K. and P. Culicover, Formal Principles of Language Acquisition, MIT Press, Cambridge, Massachusetts, 1980."},{"key":"10_CR28","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1007\/3-540-08353-7_182","volume":"53","author":"R. Wiehagen","year":"1977","unstructured":"Wiehagen, R., \u201cIdentification of Formal Languages,\u201d Lecture Notes in Computer Science, 53, 571\u2013579, 1977.","journal-title":"Lecture Notes in Computer Science"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0012761","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T08:57:18Z","timestamp":1558256238000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0012761"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"ISBN":["9783540115762","9783540393085"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/bfb0012761","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1982]]},"assertion":[{"value":"22 October 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}