{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:42:02Z","timestamp":1725496922781},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540653905"},{"type":"electronic","value":"9783540492924"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49292-5_9","type":"book-chapter","created":{"date-parts":[[2007,12,3]],"date-time":"2007-12-03T06:07:54Z","timestamp":1196662074000},"page":"93-104","source":"Crossref","is-referenced-by-count":0,"title":["Inferring a Rewriting System from Examples"],"prefix":"10.1007","author":[{"given":"Yasuhito","family":"Mukouchi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ikuyo","family":"Yamaue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masako","family":"Sato","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,1,14]]},"reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0019-9958(80)90285-5","volume":"45","author":"D. Angluin","year":"1980","unstructured":"D. Angluin: Inductive Inference of Formal Languages from Positive Data, Information and Control 45 (1980) 117\u2013135.","journal-title":"Information and Control"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0019-9958(75)90261-2","volume":"28","author":"L. Blum","year":"1975","unstructured":"L. Blum and M. Blum: Toward a Mathematical Theory of Inductive Inference, Information and Control 28 (1975) 125\u2013155.","journal-title":"Information and Control"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1080\/00207168108803224","volume":"9","author":"A. Gabrielian","year":"1981","unstructured":"A. Gabrielian: Pure Grammars and Pure Languages, International Journal of Computer Mathematics 9 (1981) 3\u201316.","journal-title":"International Journal of Computer Mathematics"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"E.M. Gold","year":"1967","unstructured":"E.M. Gold: Language Identification in the Limit, Information and Control 10 (1967) 447\u2013474.","journal-title":"Information and Control"},{"key":"9_CR5","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/BF02459961","volume":"49","author":"H. J\u00fcrgensen","year":"1987","unstructured":"H. J\u00fcrgensen and A. Lindenmayer: Inference Algorithms for Developmental Systems with Cell Lineages, Bulletin of Mathematical Biology 49 (1987) 93\u2013123.","journal-title":"Bulletin of Mathematical Biology"},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1016\/0022-5193(68)90079-9","volume":"18","author":"A. Lindenmayer","year":"1968","unstructured":"A. Lindenmayer: Mathematical Models for Cellular Interactions in Development. Parts I, II, Journal of Theoretical Biology 18 (1968) 280\u2013299, 300\u2013315.","journal-title":"Journal of Theoretical Biology"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1016\/0022-5193(71)90002-6","volume":"21","author":"A. Lindenmayer","year":"1971","unstructured":"A. Lindenmayer: Developmental Systems without Cellular Interactions, their Languages and Grammars, Journal of Theoretical Biology 21 (1971) 455\u2013484.","journal-title":"Journal of Theoretical Biology"},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S0019-9958(80)90131-X","volume":"44","author":"H.A. Maurer","year":"1980","unstructured":"H.A. Maurer, A. Salomaa and D. Wood: Pure Grammars, Information and Control 44 (1980) 47\u201372.","journal-title":"Information and Control"},{"key":"9_CR9","unstructured":"S. Kobayashi and T. Yokomori: On Approximately Identifying Concept Classes in the Limit, in Proceedings of the Sixth International Workshop on Algorithmic Learning Theory, Lecture Notes in Artificial Intelligence 997 (1995) 298\u2013312."},{"key":"9_CR10","unstructured":"S. Lange and P. Watson: Machine Discovery in the Presence of Incomplete or Ambiguous Data, in Proceedings of the Fifth International Workshop on Algorithmic Learning Theory, Lecture Notes in Artificial Intelligence 872 (1994) 438\u2013452."},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"S. Lange and T. Zeugmann: Types of Monotonic Language Learning and Their Characterization, in Proceedings of the Fifth Annual ACM Workshop on Computational Learning Theory (1992) 377\u2013390.","DOI":"10.1145\/130385.130427"},{"key":"9_CR12","unstructured":"S. Lange and T. Zeugmann: A Guided Tour across the Boundaries of Learning Recursive Languages, Lecture Notes in Artificial Intelligence 961 (1995) 190\u2013258"},{"key":"9_CR13","unstructured":"Y. Mukouchi and S. Arikawa: Inductive Inference Machines That Can Refute Hypothesis Spaces, in Proceedings of the Fourth International Workshop on Algorithmic Learning Theory, Lecture Notes in Artificial Intelligence 744 (1993) 123\u2013136."},{"key":"9_CR14","unstructured":"Y. Mukouchi: Inductive Inference of an Approximate Concept from Positive Data, in Proceedings of the Fifth International Workshop on Algorithmic Learning Theory, Lecture Notes in Artificial Intelligence 872 (1994) 484\u2013499."},{"key":"9_CR15","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/0304-3975(95)91135-D","volume":"137","author":"Y. Mukouchi","year":"1995","unstructured":"Y. Mukouchi and S. Arikawa: Towards a Mathematical Theory of Machine Discovery from Facts, Theoretical Computer Science 137 (1995) 53\u201384.","journal-title":"Theoretical Computer Science"},{"key":"9_CR16","unstructured":"Y. Mukouchi: Inferring a System from Examples with Time Passage, in Proceedings of the Eighth International Workshop on Algorithmic Learning Theory, Lecture Notes in Artificial Intelligence 1316 (1997) 197\u2013211."},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"D. Osherson, M. Stob and S. Weinstein: \u201cSystems That Learn: An Introduction to Learning Theory for Cognitive and Computer Scientists,\u201d MIT-Press, 1986.","DOI":"10.7551\/mitpress\/6609.001.0001"},{"key":"9_CR18","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0304-3975(90)90017-C","volume":"76","author":"Y. Sakakibara","year":"1990","unstructured":"Y. Sakakibara: Learning Context-Free Grammars from Structural Data in Polynomial Time, Theoretical Computer Science 76 (1990) 223\u2013242.","journal-title":"Theoretical Computer Science"},{"key":"9_CR19","unstructured":"H. Sakamoto: Language Learning from Membership Queries and Characteristic Examples, in Proceedings of the Sixth International Workshop on Algorithmic Learning Theory, Lecture Notes in Artificial Intelligence 997 (1995) 55\u201365."},{"key":"9_CR20","unstructured":"A. Sakurai: Inductive Inference of Formal Languages from Positive Data Enumerated Primitive-Recursively, in Proceedings of the Second Workshop on Algorithmic Learning Theory (1991) 73\u201383."},{"issue":"11","key":"9_CR21","first-page":"1503","volume":"E79-D","author":"N. Tanida","year":"1996","unstructured":"N. Tanida and T. Yokomori: Inductive Inference of Monogenic Pure Context-Free Languages, IEICE Transactions on Information and Systems E79-D(11) (1996) 1503\u20131510.","journal-title":"IEICE Transactions on Information and Systems"},{"key":"9_CR22","unstructured":"T. Yokomori: Inductive Inference of 0L Languages, Lindenmayer Systems Rozenberg and Salomaa, Eds., Springer-Verlag (1992) 115\u2013132."}],"container-title":["Lecture Notes in Computer Science","Discovey Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49292-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,29]],"date-time":"2020-04-29T02:53:26Z","timestamp":1588128806000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49292-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540653905","9783540492924"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-49292-5_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}