{"id":"https://openalex.org/W3157302022","doi":"https://doi.org/10.1007/s00236-022-00427-z","title":"Properties of graphs specified by a regular language","display_name":"Properties of graphs specified by a regular language","publication_year":2022,"publication_date":"2022-08-01","ids":{"openalex":"https://openalex.org/W3157302022","doi":"https://doi.org/10.1007/s00236-022-00427-z","mag":"3157302022"},"language":"en","primary_location":{"id":"doi:10.1007/s00236-022-00427-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00236-022-00427-z","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00236-022-00427-z.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-00427-z.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5054093863","display_name":"Volker Diekert","orcid":"https://orcid.org/0000-0002-5994-3762"},"institutions":[{"id":"https://openalex.org/I100066346","display_name":"University of Stuttgart","ror":"https://ror.org/04vnq7t77","country_code":"DE","type":"education","lineage":["https://openalex.org/I100066346"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Volker Diekert","raw_affiliation_strings":["Formal Methods in Informatics, Universit\u00e4t Stuttgart, Stuttgart, Germany"],"raw_orcid":"https://orcid.org/0000-0002-5994-3762","affiliations":[{"raw_affiliation_string":"Formal Methods in Informatics, Universit\u00e4t Stuttgart, Stuttgart, Germany","institution_ids":["https://openalex.org/I100066346"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015688812","display_name":"Henning Fernau","orcid":"https://orcid.org/0000-0002-4444-3220"},"institutions":[{"id":"https://openalex.org/I89864525","display_name":"Universit\u00e4t Trier","ror":"https://ror.org/02778hg05","country_code":"DE","type":"education","lineage":["https://openalex.org/I89864525"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Henning Fernau","raw_affiliation_strings":["FB 4 \u2013 Informatikwissenschaften, Universit\u00e4t Trier, Trier, Germany"],"raw_orcid":"https://orcid.org/0000-0002-4444-3220","affiliations":[{"raw_affiliation_string":"FB 4 \u2013 Informatikwissenschaften, Universit\u00e4t Trier, Trier, Germany","institution_ids":["https://openalex.org/I89864525"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084905896","display_name":"Petra Wolf","orcid":"https://orcid.org/0000-0003-3097-3906"},"institutions":[{"id":"https://openalex.org/I89864525","display_name":"Universit\u00e4t Trier","ror":"https://ror.org/02778hg05","country_code":"DE","type":"education","lineage":["https://openalex.org/I89864525"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Petra Wolf","raw_affiliation_strings":["FB 4 \u2013 Informatikwissenschaften, Universit\u00e4t Trier, Trier, Germany"],"raw_orcid":"https://orcid.org/0000-0003-3097-3906","affiliations":[{"raw_affiliation_string":"FB 4 \u2013 Informatikwissenschaften, Universit\u00e4t Trier, Trier, Germany","institution_ids":["https://openalex.org/I89864525"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5054093863"],"corresponding_institution_ids":["https://openalex.org/I100066346"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990},"fwci":0.3043,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.55877952,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"59","issue":"4","first_page":"357","last_page":"385"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9997000098228455,"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":0.9997000098228455,"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/T10911","display_name":"Chemical Synthesis and Analysis","score":0.9918000102043152,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9684000015258789,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5905991196632385},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4682755470275879},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4576101005077362},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3488929271697998},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.34512102603912354},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.3057297170162201}],"concepts":[{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5905991196632385},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4682755470275879},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4576101005077362},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3488929271697998},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.34512102603912354},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3057297170162201}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00236-022-00427-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00236-022-00427-z","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00236-022-00427-z.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-00427-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00236-022-00427-z","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00236-022-00427-z.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":[{"id":"https://openalex.org/G4040319071","display_name":null,"funder_award_id":"FE 560/9-1","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3157302022.pdf","grobid_xml":"https://content.openalex.org/works/W3157302022.grobid-xml"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W220525228","https://openalex.org/W587223573","https://openalex.org/W1563892973","https://openalex.org/W1964874178","https://openalex.org/W1982678879","https://openalex.org/W1993901943","https://openalex.org/W2002722727","https://openalex.org/W2008440715","https://openalex.org/W2029001691","https://openalex.org/W2041211107","https://openalex.org/W2075551917","https://openalex.org/W2092388212","https://openalex.org/W2116250539","https://openalex.org/W2157390113","https://openalex.org/W2167954650","https://openalex.org/W2337439960","https://openalex.org/W2341616572","https://openalex.org/W2477674116","https://openalex.org/W2602771387","https://openalex.org/W2793155354","https://openalex.org/W2954176761","https://openalex.org/W3036165475","https://openalex.org/W3188056966","https://openalex.org/W3197605265","https://openalex.org/W3213953417","https://openalex.org/W4205532252","https://openalex.org/W4235239597","https://openalex.org/W4249804016"],"related_works":["https://openalex.org/W1978042415","https://openalex.org/W2386767533","https://openalex.org/W2582950667","https://openalex.org/W4214740985","https://openalex.org/W1527576459","https://openalex.org/W2622512907","https://openalex.org/W1596060973","https://openalex.org/W2028852147","https://openalex.org/W2765245303","https://openalex.org/W2989925696"],"abstract_inverted_index":{"Abstract":[0],"Traditionally,":[1],"graph":[2,7,17,59,94,190,221,246,277,288,294,352],"algorithms":[3],"get":[4,41],"a":[5,19,37,42,58,110,128,136,149,184,223,258,271,274,330],"single":[6,275],"as":[8,48,197,324],"input,":[9,50],"and":[10,51,146,186,263,282,304],"then":[11,193,347],"they":[12],"should":[13],"decide":[14],"if":[15,31,55,109,120],"this":[16,32,72,241,267],"satisfies":[18],"certain":[20,93,111,224],"property":[21,225],"$$\\varPhi":[22,61,226],"$$":[23,62,140,201,227,296,313],"<mml:math":[24,63,141,156,175,202,215,228,297,314],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[25,64,142,157,176,203,216,229,298,315],"<mml:mi>\u03a6</mml:mi>":[26,65,230],"</mml:math>":[27,66,144,166,182,205,218,231,303,320],".":[28,206,232],"What":[29],"happens":[30],"question":[33,53,73,242],"is":[34,54,57,114,122],"modified":[35],"in":[36,67,83,270,289,363],"way":[38,273],"that":[39,92,168,237],"we":[40,126,147,208,238,254,354],"possibly":[43],"infinite":[44,293],"family":[45,307],"of":[46,81,88,104,132,261,266,308,311,333,351,360],"graphs":[47,134,335,362],"an":[49,292,325,356],"the":[52,68,101,105,211,306,349,361],"there":[56],"satisfying":[60,222],"family?":[69],"We":[70,90],"approach":[71],"by":[74,85,99,337],"using":[75,348],"formal":[76],"languages":[77,198],"for":[78,243],"specifying":[79],"families":[80],"graphs,":[82],"particular":[84],"regular":[86,150],"sets":[87],"words.":[89],"show":[91,236,251],"properties":[95,191],"can":[96,192,239],"be":[97,194],"decided":[98],"studying":[100],"syntactic":[102],"monoid":[103],"specification":[106],"language":[107],"L":[108,121,256,338,342],"torsion":[112],"condition":[113,117],"satisfied.":[115],"This":[116,328],"holds":[118],"trivially":[119],"regular.":[123],"More":[124],"specifically,":[125],"use":[127],"natural":[129,272],"binary":[130,137],"encoding":[131],"finite":[133,185,259,276,309],"over":[135,199],"alphabet":[138],"$$\\varSigma":[139,200],"<mml:mi>\u03a3</mml:mi>":[143,162,204],",":[145],"define":[148],"set":[151],"$$\\mathbb":[152],"{G}\\subseteq":[153],"\\varSigma":[154],"^*$$":[155],"<mml:mrow>":[158,177],"<mml:mi>G</mml:mi>":[159,180],"<mml:mo>\u2286</mml:mo>":[160],"<mml:msup>":[161,299,316],"<mml:mo>\u2217</mml:mo>":[163],"</mml:msup>":[164,302,319],"</mml:mrow>":[165,181],"such":[167],"every":[169,264],"nonempty":[170,187],"word":[171],"$$w\\in":[172],"\\mathbb":[173],"{G}$$":[174],"<mml:mi>w</mml:mi>":[178],"<mml:mo>\u2208</mml:mo>":[179],"defines":[183,269,291],"graph.":[188],"Also,":[189],"syntactically":[195],"defined":[196],"Then,":[207],"ask":[209],"whether":[210],"automaton":[212],"$$\\mathcal":[213],"{A}$$":[214],"<mml:mi>A</mml:mi>":[217],"specifies":[219],"some":[220,280],"Our":[233],"structural":[234],"results":[235],"answer":[240],"all":[244,334],"\u201ctypical\u201d":[245],"properties.":[247],"In":[248],"order":[249],"to":[250],"our":[252],"results,":[253],"split":[255],"into":[257,343],"union":[260,268],"subsets":[262],"subset":[265],"F":[278,322],"where":[279,321],"edges":[281],"vertices":[283],"are":[284],"marked.":[285],"The":[286],"marked":[287],"turn":[290],"$$F^\\infty":[295,312],"<mml:mi>F</mml:mi>":[300,317],"<mml:mi>\u221e</mml:mi>":[301,318],"therefore":[305],"subgraphs":[310],"appears":[323],"induced":[326],"subgraph.":[327],"yields":[329],"geometric":[331],"description":[332,359],"specified":[336],"based":[339],"on":[340],"splitting":[341],"finitely":[344],"many":[345],"pieces;":[346],"notion":[350],"retraction,":[353],"obtain":[355],"easily":[357],"understandable":[358],"each":[364],"piece.":[365]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2021,"cited_by_count":1}],"updated_date":"2026-06-06T09:05:17.133730","created_date":"2025-10-10T00:00:00"}