{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T03:06:37Z","timestamp":1767236797693,"version":"3.48.0"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030934880"},{"type":"electronic","value":"9783030934897"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-93489-7_6","type":"book-chapter","created":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:30:01Z","timestamp":1640997001000},"page":"64-75","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["State Complexity Investigations on\u00a0Commutative Languages \u2013 the\u00a0Upward and\u00a0Downward Closure, Commutative Aperiodic and\u00a0Commutative Group Languages"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7866-075X","authenticated-orcid":false,"given":"Stefan","family":"Hoffmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,1,1]]},"reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-319-41114-9_6","volume-title":"Descriptional Complexity of Formal Systems","author":"J Brzozowski","year":"2016","unstructured":"Brzozowski, J., Jir\u00e1skov\u00e1, G., Liu, B., Rajasekaran, A., Szyku\u0142a, M.: On the state complexity of the shuffle of regular languages. In: C\u00e2mpeanu, C., Manea, F., Shallit, J. (eds.) DCFS 2016. LNCS, vol. 9777, pp. 73\u201386. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-41114-9_6"},{"issue":"6","key":"6_CR2","doi-asserted-by":"publisher","first-page":"1261","DOI":"10.1142\/S0129054112400515","volume":"23","author":"JA Brzozowski","year":"2012","unstructured":"Brzozowski, J.A., Liu, B.: Quotient complexity of star-free languages. Int. J. Found. Comput. Sci. 23(6), 1261\u20131276 (2012)","journal-title":"Int. J. Found. Comput. Sci."},{"issue":"3","key":"6_CR3","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/S0012-365X(73)80005-6","volume":"4","author":"JA Brzozowski","year":"1973","unstructured":"Brzozowski, J.A., Simon, I.: Characterizations of locally testable events. Discret. Math. 4(3), 243\u2013271 (1973)","journal-title":"Discret. Math."},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/BFb0029355","volume-title":"Operating Systems","author":"RH Campbell","year":"1974","unstructured":"Campbell, R.H., Habermann, A.N.: The specification of process synchronization by path expressions. In: Gelenbe, E., Kaiser, C. (eds.) OS 1974. LNCS, vol. 16, pp. 89\u2013102. Springer, Heidelberg (1974). https:\/\/doi.org\/10.1007\/BFb0029355"},{"issue":"3","key":"6_CR5","first-page":"303","volume":"7","author":"C C\u00e2mpeanu","year":"2002","unstructured":"C\u00e2mpeanu, C., Salomaa, K., Yu, S.: Tight lower bound for the state complexity of shuffle of regular languages. J. Autom. Lang. Comb. 7(3), 303\u2013310 (2002)","journal-title":"J. Autom. Lang. Comb."},{"issue":"1\u20134","key":"6_CR6","doi-asserted-by":"publisher","first-page":"35","DOI":"10.3233\/FI-2012-666","volume":"116","author":"G Castiglione","year":"2012","unstructured":"Castiglione, G., Restivo, A.: On the shuffle of star-free languages. Fundam. Informaticae 116(1\u20134), 35\u201344 (2012)","journal-title":"Fundam. Informaticae"},{"issue":"4","key":"6_CR7","first-page":"251","volume":"21","author":"Y Gao","year":"2017","unstructured":"Gao, Y., Moreira, N., Reis, R., Yu, S.: A survey on operational state complexity. J. Autom. Lang. Comb. 21(4), 251\u2013310 (2017)","journal-title":"J. Autom. Lang. Comb."},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-540-88009-7_6","volume-title":"Grammatical Inference: Algorithms and Applications","author":"A Cano G\u00f3mez","year":"2008","unstructured":"Cano G\u00f3mez, A., \u00c1lvarez, G.I.: Learning commutative regular languages. In: Clark, A., Coste, F., Miclet, L. (eds.) ICGI 2008. LNCS (LNAI), vol. 5278, pp. 71\u201383. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-88009-7_6"},{"issue":"2","key":"6_CR9","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/j.tcs.2007.07.036","volume":"387","author":"H Gruber","year":"2007","unstructured":"Gruber, H., Holzer, M., Kutrib, M.: The size of Higman-Haines sets. Theor. Comput. Sci. 387(2), 167\u2013176 (2007)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"6_CR10","doi-asserted-by":"publisher","first-page":"105","DOI":"10.3233\/FI-2009-0035","volume":"91","author":"H Gruber","year":"2009","unstructured":"Gruber, H., Holzer, M., Kutrib, M.: More on the size of Higman-Haines sets: effective constructions. Fundam. Informaticae 91(1), 105\u2013121 (2009)","journal-title":"Fundam. Informaticae"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1016\/S0021-9800(69)80111-0","volume":"6","author":"LH Haines","year":"1969","unstructured":"Haines, L.H.: On free monoids partially ordered by embedding. J. Comb. Theory 6, 94\u201398 (1969)","journal-title":"J. Comb. Theory"},{"issue":"4","key":"6_CR12","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1051\/ita:2003002","volume":"36","author":"P H\u00e9am","year":"2002","unstructured":"H\u00e9am, P.: On shuffle ideals. RAIRO Theor. Informatics Appl. 36(4), 359\u2013384 (2002)","journal-title":"RAIRO Theor. Informatics Appl."},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Higman, G.: Ordering by divisibility in abstract algebras. Proc. London Math. Soc. (3) 2(7), 326\u2013336 (1952)","DOI":"10.1112\/plms\/s3-2.1.326"},{"key":"6_CR14","unstructured":"Hoffmann, S.: Commutative regular languages - properties and state complexity. Inf. Comput. (submitted)"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-030-21363-3_13","volume-title":"Algebraic Informatics","author":"S Hoffmann","year":"2019","unstructured":"Hoffmann, S.: Commutative regular languages \u2013 properties and state complexity. In: \u0106iri\u0107, M., Droste, M., Pin, J.\u00c9. (eds.) CAI 2019. LNCS, vol. 11545, pp. 151\u2013163. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-21363-3_13"},{"key":"6_CR16","doi-asserted-by":"publisher","unstructured":"Hoffmann, S.: Commutative regular languages with product-form minimal automata. In: Han, Y.-S., Ko, S.-K. (eds.) DCFS 2021, LNCS 13037, pp. 51\u201363. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-93489-7_5","DOI":"10.1007\/978-3-030-93489-7_5"},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/978-3-030-81508-0_16","volume-title":"Developments in Language Theory","author":"S Hoffmann","year":"2021","unstructured":"Hoffmann, S.: State complexity of projection on\u00a0languages recognized by permutation automata and commuting letters. In: Moreira, N., Reis, R. (eds.) DLT 2021. LNCS, vol. 12811, pp. 192\u2013203. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-81508-0_16"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-030-48516-0_10","volume-title":"Developments in Language Theory","author":"M Hospod\u00e1r","year":"2020","unstructured":"Hospod\u00e1r, M., Mlyn\u00e1r\u010dik, P.: Operations on permutation automata. In: Jonoska, N., Savchuk, D. (eds.) DLT 2020. LNCS, vol. 12086, pp. 122\u2013136. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-48516-0_10"},{"key":"6_CR19","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/j.tcs.2015.09.028","volume":"610","author":"P Karandikar","year":"2016","unstructured":"Karandikar, P., Niewerth, M., Schnoebelen, P.: On the state complexity of closures and interiors of regular languages with subwords and superwords. Theoret. Comput. Sci. 610, 91\u2013107 (2016)","journal-title":"Theoret. Comput. Sci."},{"issue":"3","key":"6_CR20","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/0012-365X(78)90156-5","volume":"21","author":"J van Leeuwen","year":"1978","unstructured":"van Leeuwen, J.: Effective constructions in well-partially-ordered free monoids. Discret. Math. 21(3), 237\u2013252 (1978)","journal-title":"Discret. Math."},{"issue":"6","key":"6_CR21","first-page":"1266","volume":"194","author":"AN Maslov","year":"1970","unstructured":"Maslov, A.N.: Estimates of the number of states of finite automata. Dokl. Akad. Nauk SSSR 194(6), 1266\u20131268 (1970)","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"6_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/3-540-07389-2_183","volume-title":"Mathematical Foundations of Computer Science 1975 4th Symposium, Mari\u00e1nsk\u00e9 L\u00e1zn\u011b, September 1\u20135, 1975","author":"A Mazurkiewicz","year":"1975","unstructured":"Mazurkiewicz, A.: Parallel recursive program schemes. In: Be\u010dv\u00e1\u0159, J. (ed.) MFCS 1975. LNCS, vol. 32, pp. 75\u201387. Springer, Heidelberg (1975). https:\/\/doi.org\/10.1007\/3-540-07389-2_183"},{"issue":"1\/2","key":"6_CR23","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/S0019-9958(67)90481-0","volume":"11","author":"R McNaughton","year":"1967","unstructured":"McNaughton, R.: The loop complexity of pure-group events. Inf. Control 11(1\/2), 167\u2013176 (1967)","journal-title":"Inf. Control"},{"issue":"3","key":"6_CR24","doi-asserted-by":"publisher","first-page":"325","DOI":"10.3233\/FI-2010-252","volume":"99","author":"A Okhotin","year":"2010","unstructured":"Okhotin, A.: On the state complexity of scattered substrings and superstrings. Fundam. Informaticae 99(3), 325\u2013338 (2010)","journal-title":"Fundam. Informaticae"},{"key":"6_CR25","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0304-3975(78)90049-X","volume":"7","author":"J Perrot","year":"1978","unstructured":"Perrot, J.: Varietes de langages et operations. Theor. Comput. Sci. 7, 197\u2013210 (1978)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"6_CR26","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1142\/S012905410200100X","volume":"13","author":"G Pighizzini","year":"2002","unstructured":"Pighizzini, G., Shallit, J.: Unary language operations, state complexity and Jacobsthal\u2019s function. Int. J. Found. Comput. Sci. 13(1), 145\u2013159 (2002)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"6_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/978-3-319-15579-1_5","volume-title":"Language and Automata Theory and Applications","author":"A Restivo","year":"2015","unstructured":"Restivo, A.: The shuffle product: new research directions. In: Dediu, A.-H., Formenti, E., Mart\u00edn-Vide, C., Truthe, B. (eds.) LATA 2015. LNCS, vol. 8977, pp. 70\u201381. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-15579-1_5"},{"issue":"1","key":"6_CR28","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0096-0551(79)90008-0","volume":"4","author":"WE Riddle","year":"1979","unstructured":"Riddle, W.E.: An approach to software system behavior description. Comput. Lang. 4(1), 29\u201347 (1979)","journal-title":"Comput. Lang."},{"issue":"2","key":"6_CR29","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1016\/S0019-9958(65)90108-7","volume":"8","author":"MP Sch\u00fctzenberger","year":"1965","unstructured":"Sch\u00fctzenberger, M.P.: On finite monoids having only trivial subgroups. Inf. Control 8(2), 190\u2013194 (1965)","journal-title":"Inf. Control"},{"key":"6_CR30","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1109\/TSE.1978.231501","volume":"4","author":"AC Shaw","year":"1978","unstructured":"Shaw, A.C.: Software descriptions with flow expressions. IEEE Trans. Softw. Eng. 4, 242\u2013254 (1978)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"6_CR31","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/0304-3975(92)00011-F","volume":"125","author":"S Yu","year":"1994","unstructured":"Yu, S., Zhuang, Q., Salomaa, K.: The state complexities of some basic operations on regular languages. Theoret. Comput. Sci. 125(2), 315\u2013328 (1994)","journal-title":"Theoret. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Descriptional Complexity of Formal Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-93489-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T01:02:32Z","timestamp":1767229352000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-93489-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030934880","9783030934897"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-93489-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"1 January 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"DCFS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Descriptional Complexity of Formal Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 September 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 September 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"dcfs2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/toc.yonsei.ac.kr\/dcfs2021\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}