{"id":"https://openalex.org/W4285891680","doi":"https://doi.org/10.1007/s00236-022-00431-3","title":"Operational complexity and pumping lemmas","display_name":"Operational complexity and pumping lemmas","publication_year":2022,"publication_date":"2022-07-20","ids":{"openalex":"https://openalex.org/W4285891680","doi":"https://doi.org/10.1007/s00236-022-00431-3"},"language":"en","primary_location":{"id":"doi:10.1007/s00236-022-00431-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00236-022-00431-3","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00236-022-00431-3.pdf","source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Informatica","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s00236-022-00431-3.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5073072370","display_name":"J\u00fcrgen Dassow","orcid":"https://orcid.org/0000-0002-4735-4696"},"institutions":[{"id":"https://openalex.org/I95793202","display_name":"Otto-von-Guericke-Universit\u00e4t Magdeburg","ror":"https://ror.org/00ggpsq73","country_code":"DE","type":"education","lineage":["https://openalex.org/I95793202"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"J\u00fcrgen Dassow","raw_affiliation_strings":["Fakult\u00e4t f\u00fcr Informatik, Otto-von-Guericke-Universit\u00e4t Magdeburg, PSF 4120, Magdeburg, 39016, Germany"],"raw_orcid":"https://orcid.org/0000-0002-4735-4696","affiliations":[{"raw_affiliation_string":"Fakult\u00e4t f\u00fcr Informatik, Otto-von-Guericke-Universit\u00e4t Magdeburg, PSF 4120, Magdeburg, 39016, Germany","institution_ids":["https://openalex.org/I95793202"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081438051","display_name":"Isma\u00ebl Jecker","orcid":"https://orcid.org/0000-0002-6527-4470"},"institutions":[{"id":"https://openalex.org/I4654613","display_name":"University of Warsaw","ror":"https://ror.org/039bjqg32","country_code":"PL","type":"education","lineage":["https://openalex.org/I4654613"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Isma\u00ebl Jecker","raw_affiliation_strings":["Institute of Informatics, Faculty of Mathematics, Informatics and Mechanics, University of Warsaw, Warsaw, Poland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Informatics, Faculty of Mathematics, Informatics and Mechanics, University of Warsaw, Warsaw, Poland","institution_ids":["https://openalex.org/I4654613"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5073072370"],"corresponding_institution_ids":["https://openalex.org/I95793202"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990},"fwci":1.2177,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.8150785,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"59","issue":"4","first_page":"337","last_page":"355"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.989799976348877,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.9882000088691711,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.555036723613739},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3066766858100891}],"concepts":[{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.555036723613739},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3066766858100891}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00236-022-00431-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00236-022-00431-3","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00236-022-00431-3.pdf","source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Informatica","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s00236-022-00431-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00236-022-00431-3","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00236-022-00431-3.pdf","source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Informatica","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320335829","display_name":"Otto von Guericke University Magdeburg","ror":"https://ror.org/00ggpsq73"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4285891680.pdf","grobid_xml":"https://content.openalex.org/works/W4285891680.grobid-xml"},"referenced_works_count":12,"referenced_works":["https://openalex.org/W203690387","https://openalex.org/W1977834963","https://openalex.org/W2006629323","https://openalex.org/W2011242982","https://openalex.org/W2088578754","https://openalex.org/W2811113775","https://openalex.org/W3126920095","https://openalex.org/W3186026246","https://openalex.org/W4211010176","https://openalex.org/W4299138792","https://openalex.org/W4302339081","https://openalex.org/W6688805415"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890"],"abstract_inverted_index":{"Abstract":[0],"The":[1,150],"well-known":[2],"pumping":[3,152,181],"lemma":[4,182],"for":[5,10,138,175,205,320],"regular":[6,12,270],"languages":[7,271],"states":[8],"that,":[9],"any":[11],"language":[13],"L":[14,23,169],",":[15,56,77,91,218],"there":[16,58,268],"is":[17,170],"a":[18],"constant":[19,153],"p":[20,174],"(depending":[21],"on":[22],")":[24],"such":[25,109,266],"that":[26,110,267],"the":[27,171,177,180,187,221],"following":[28],"holds:":[29],"If":[30],"$$w\\in":[31],"L$$":[32,124],"<mml:math":[33,46,63,80,95,112,125,141,155,191,214,226,274,297,324,338],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[34,47,64,81,96,113,126,142,156,192,215,227,275,298,325,339],"<mml:mrow>":[35,48,65,70,82,97,102,114,127,143,157,158,193,228,231,234,240,276,299,300,305,326,340,341],"<mml:mi>w</mml:mi>":[36,50,115],"<mml:mo>\u2208</mml:mo>":[37,67,84,99,134],"<mml:mi>L</mml:mi>":[38,135,164,278,283,290,308],"</mml:mrow>":[39,54,73,75,89,105,107,120,136,147,162,166,197,233,238,259,260,293,304,312,318,332],"</mml:math>":[40,55,76,90,108,121,137,148,167,198,217,261,294,319,333],"and":[41,92,122,334],"$$\\vert":[42],"w\\vert":[43],"\\ge":[44],"p$$":[45],"<mml:mo>|</mml:mo>":[49,51],"<mml:mo>\u2265</mml:mo>":[52,145],"<mml:mi>p</mml:mi>":[53],"then":[57],"are":[59,183,269],"words":[60],"$$x\\in":[61],"V^{*}$$":[62,94],"<mml:mi>x</mml:mi>":[66,117,128],"<mml:msup>":[68,85,100,129],"<mml:mi>V</mml:mi>":[69,86,101],"<mml:mrow/>":[71,103],"<mml:mo>\u2217</mml:mo>":[72,104],"</mml:msup>":[74,88,106,132],"$$y\\in":[78],"V^+$$":[79],"<mml:mi>y</mml:mi>":[83,118,130],"<mml:mo>+</mml:mo>":[87],"$$z\\in":[93],"<mml:mi>z</mml:mi>":[98,119,133],"$$w=xyz$$":[111],"<mml:mo>=</mml:mo>":[116,313],"$$xy^tz\\in":[123],"<mml:mi>t</mml:mi>":[131,144],"$$t\\ge":[139],"0$$":[140],"<mml:mn>0</mml:mn>":[146],".":[149],"minimal":[151,172],"$${{{\\,\\mathrm{mpc}\\,}}(L)}$$":[154],"<mml:mspace/>":[159,161,194,196,235,237,301,303],"<mml:mi>mpc</mml:mi>":[160,195,236,302],"<mml:mo>(</mml:mo>":[163,241,306],"<mml:mo>)</mml:mo>":[165,258,311],"of":[168,179,189,262],"number":[173],"which":[176],"conditions":[178],"satisfied.":[184],"We":[185],"investigate":[186],"behaviour":[188],"$${{{\\,\\mathrm{mpc}\\,}}}$$":[190],"with":[199,295],"respect":[200],"to":[201],"operations,":[202],"i.":[203],"e.,":[204],"an":[206],"n":[207],"-ary":[208],"regularity":[209],"preserving":[210],"operation":[211],"$$\\circ":[212],"$$":[213],"<mml:mo>\u2218</mml:mo>":[216,232],"we":[219],"study":[220],"set":[222],"$${g_{\\circ":[223],"}^{{{\\,\\mathrm{mpc}\\,}}}(k_1,k_2,\\ldots":[224],",k_n)}$$":[225],"<mml:msubsup>":[229],"<mml:mi>g</mml:mi>":[230],"</mml:msubsup>":[239],"<mml:msub>":[242,247,254,277,282,289,307,314],"<mml:mi>k</mml:mi>":[243,248,255,315],"<mml:mn>1</mml:mn>":[244,279,327],"</mml:msub>":[245,250,257,280,285,292,310,317],"<mml:mo>,</mml:mo>":[246,251,253,281,286,288],"<mml:mn>2</mml:mn>":[249,284],"<mml:mo>\u2026</mml:mo>":[252,287],"<mml:mi>n</mml:mi>":[256,291,331],"all":[263],"numbers":[264],"k":[265],"$$L_1,L_2,\\ldots":[272],",L_n$$":[273],"$${{{\\,\\mathrm{mpc}\\,}}(L_i)=k_i}$$":[296],"<mml:mi>i</mml:mi>":[309,316,329],"$$1\\le":[321],"i\\le":[322],"n$$":[323],"<mml:mo>\u2264</mml:mo>":[328,330],"$${{{\\,\\mathrm{mpc}\\,}}(\\circ":[335],"(L_1,L_2,\\ldots":[336],",L_n)=~k}$$":[337]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}