{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:09:12Z","timestamp":1760202552046},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650133"},{"type":"electronic","value":"9783540497301"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49730-7_17","type":"book-chapter","created":{"date-parts":[[2007,11,29]],"date-time":"2007-11-29T10:01:18Z","timestamp":1196330478000},"page":"220-233","source":"Crossref","is-referenced-by-count":7,"title":["Characteristic Sets for Unions of Regular Pattern Languages and Compactness"],"prefix":"10.1007","author":[{"given":"Masako","family":"Sato","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yasuhito","family":"Mukouchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dao","family":"Zheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,24]]},"reference":[{"key":"17_CR1","unstructured":"Angluin, D.: Finding patterns common to a set of strings, in Proceedings of the 11th Annual Symposium on Theory of Computing (1979) 130\u2013141."},{"key":"17_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.: Inductive inference of formal languages from positive data, Information and Control 45 (1980) 117\u2013135.","journal-title":"Information and Control"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Arikawa, S., Shinohara, T. and Yamamoto, A.: Elementary formal systems as a unifying framework for language learning, in Proceedings of the 2nd Annual ACM Workshop on Computational Learning Theory (1989) 312\u2013327.","DOI":"10.1016\/B978-0-08-094829-4.50025-8"},{"key":"17_CR4","unstructured":"Arikawa, S., Kuhara, S., Miyano S., Mukouchi, Y., Shinohara, A. and Shinohara, T.: A machine discovery from amino acid sequences by decision trees over regular patterns, in Proceedings of the International Conference on Fifth Generation Computer Systems (1992) 618\u2013625 (also in New Generation Computing 11(3, 4) (1993) 361-375)."},{"key":"17_CR5","series-title":"Lect Notes Comput Sci","first-page":"646","volume-title":"Finding minimal generalizations for unions of pattern languages and its application to inductive inference from positive data","author":"H. Arimura","year":"1994","unstructured":"Arimura, H., Shinohara, T. and Otsuki, S.: Finding minimal generalizations for unions of pattern languages and its application to inductive inference from positive data, in Proceedings of the 11th Symposium on Theoretical Aspects of Computer Science, Lecture Notes in Computer Science 775 (1994) 646\u2013660."},{"key":"17_CR6","unstructured":"Arimura, H. and Shinohara, T.: Compactness for unions of regular pattern languages, in Proceedings of the Symposium on Language and Automaton, Research on Computational Models and Complexity, RIMS Koukyuroku 950 (1996) 246\u2013249 (in Japanese)."},{"key":"17_CR7","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"E.M. Gold","year":"1967","unstructured":"Gold, E.M.: Language identification in the limit, Information and Control 10 (1967) 447\u2013474.","journal-title":"Information and Control"},{"key":"17_CR8","first-page":"48","volume":"1316","author":"S. Kobayashi","year":"1997","unstructured":"Kobayashi, S. and Yokomori, T.: Identifiability of subspaces and homomorphic images of zero-reversible languages, in Proceedings of the 8th International Workshop on Algorithmic Learning Theory, Lecture Notes in Artificial Intelligence 1316 (1997) 48\u201361.","journal-title":"Identifiability of subspaces and homomorphic images of zero-reversible languages"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Motoki, T., Shinohara, T. and Wright, K.: The correct definition of finite elasticity: corrigendum to identification of unions, in Proceedings of the 4th Annual ACM Workshop on Computational Learning Theory (1991) 375\u2013375.","DOI":"10.1016\/B978-1-55860-213-7.50037-7"},{"key":"17_CR10","unstructured":"Mukouchi, Y.: Characterization of pattern languages, in Proceedings of the 2nd Workshop on Algorithmic Learning Theory (1991) 93\u2013104."},{"issue":"1","key":"17_CR11","doi-asserted-by":"crossref","first-page":"85","DOI":"10.5109\/13444","volume":"27","author":"M. Sato","year":"1995","unstructured":"Sato, M.: Inductive inference of formal languages, Bulletin of Informatics and Cybernetics 27(1) (1995) 85\u2013106.","journal-title":"Bulletin of Informatics and Cybernetics"},{"key":"17_CR12","unstructured":"Shinohara, T.: Polynomial time inference of pattern languages and its applications, in Proceedings of the 7th IBM Symposium on Mathematical Foundations of Computer Science (1982) 191\u2013209."},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Smullyan, R.M.: \u201cTheory of formal systems,\u201d Princeton University Press, 1961.","DOI":"10.1515\/9781400882007"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"Wright, K.: Identification of unions of languages drawn from an identifiable class, in Proceedings of the 2nd Annual Workshop on Computational Learning Theory (1989) 328\u2013333.","DOI":"10.1016\/B978-0-08-094829-4.50026-X"}],"container-title":["Lecture Notes in Computer Science","Algorithmic Learning Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49730-7_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,28]],"date-time":"2020-04-28T22:37:58Z","timestamp":1588113478000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49730-7_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650133","9783540497301"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-49730-7_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}