{"id":"https://openalex.org/W4368364343","doi":"https://doi.org/10.1142/s0129054123450016","title":"Closure Properties of Subregular Languages Under Operations","display_name":"Closure Properties of Subregular Languages Under Operations","publication_year":2023,"publication_date":"2023-05-04","ids":{"openalex":"https://openalex.org/W4368364343","doi":"https://doi.org/10.1142/s0129054123450016"},"language":"en","primary_location":{"id":"doi:10.1142/s0129054123450016","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054123450016","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043627535","display_name":"Viktor Olej\u00e1r","orcid":"https://orcid.org/0000-0003-4308-9159"},"institutions":[{"id":"https://openalex.org/I204881574","display_name":"University of Pavol Jozef \u0160af\u00e1rik","ror":"https://ror.org/039965637","country_code":"SK","type":"education","lineage":["https://openalex.org/I204881574"]},{"id":"https://openalex.org/I207624831","display_name":"Slovak Academy of Sciences","ror":"https://ror.org/03h7qq074","country_code":"SK","type":"funder","lineage":["https://openalex.org/I207624831"]},{"id":"https://openalex.org/I4210120676","display_name":"Mathematical Institute of the Slovak Academy of Sciences","ror":"https://ror.org/02fhy7464","country_code":"SK","type":"facility","lineage":["https://openalex.org/I207624831","https://openalex.org/I4210120676"]}],"countries":["SK"],"is_corresponding":true,"raw_author_name":"Viktor Olej\u00e1r","raw_affiliation_strings":["Institute of Computer Science, Faculty of Science, P. J. \u0160af\u00e1rik University, Jesenn\u00e1 5, 040 01 Ko\u0161ice, Slovakia","Mathematical Institute, Slovak Academy of Sciences, Gre\u0161\u00e1kov\u00e1 6, 040 01 Ko\u0161ice, Slovakia"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Science, Faculty of Science, P. J. \u0160af\u00e1rik University, Jesenn\u00e1 5, 040 01 Ko\u0161ice, Slovakia","institution_ids":["https://openalex.org/I204881574"]},{"raw_affiliation_string":"Mathematical Institute, Slovak Academy of Sciences, Gre\u0161\u00e1kov\u00e1 6, 040 01 Ko\u0161ice, Slovakia","institution_ids":["https://openalex.org/I207624831","https://openalex.org/I4210120676"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030971481","display_name":"Alexander Szabari","orcid":"https://orcid.org/0000-0001-5372-1096"},"institutions":[{"id":"https://openalex.org/I204881574","display_name":"University of Pavol Jozef \u0160af\u00e1rik","ror":"https://ror.org/039965637","country_code":"SK","type":"education","lineage":["https://openalex.org/I204881574"]}],"countries":["SK"],"is_corresponding":false,"raw_author_name":"Alexander Szabari","raw_affiliation_strings":["Institute of Computer Science, Faculty of Science, P. J. \u0160af\u00e1rik University, Jesenn\u00e1 5, 040 01 Ko\u0161ice, Slovakia"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Science, Faculty of Science, P. J. \u0160af\u00e1rik University, Jesenn\u00e1 5, 040 01 Ko\u0161ice, Slovakia","institution_ids":["https://openalex.org/I204881574"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5043627535"],"corresponding_institution_ids":["https://openalex.org/I204881574","https://openalex.org/I207624831","https://openalex.org/I4210120676"],"apc_list":null,"apc_paid":null,"fwci":0.6043,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.70019008,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"36","issue":"07","first_page":"1063","last_page":"1087"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9991999864578247,"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.9991999864578247,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9968000054359436,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9634000062942505,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/closure","display_name":"Closure (psychology)","score":0.6593218445777893},{"id":"https://openalex.org/keywords/abstract-family-of-languages","display_name":"Abstract family of languages","score":0.6463743448257446},{"id":"https://openalex.org/keywords/regular-language","display_name":"Regular language","score":0.642447829246521},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6325089335441589},{"id":"https://openalex.org/keywords/cone","display_name":"Cone (formal languages)","score":0.6029970645904541},{"id":"https://openalex.org/keywords/ideal","display_name":"Ideal (ethics)","score":0.5627836585044861},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5116263031959534},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.4992661476135254},{"id":"https://openalex.org/keywords/pumping-lemma-for-regular-languages","display_name":"Pumping lemma for regular languages","score":0.48284298181533813},{"id":"https://openalex.org/keywords/star","display_name":"Star (game theory)","score":0.4423603117465973},{"id":"https://openalex.org/keywords/concatenation","display_name":"Concatenation (mathematics)","score":0.43207791447639465},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.42899972200393677},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.39432328939437866},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3503949046134949},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15835806727409363},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.139140784740448},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.1338825523853302},{"id":"https://openalex.org/keywords/second-generation-programming-language","display_name":"Second-generation programming language","score":0.1002320647239685},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.09280675649642944}],"concepts":[{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.6593218445777893},{"id":"https://openalex.org/C199163288","wikidata":"https://www.wikidata.org/wiki/Q3065587","display_name":"Abstract family of languages","level":5,"score":0.6463743448257446},{"id":"https://openalex.org/C52370388","wikidata":"https://www.wikidata.org/wiki/Q752532","display_name":"Regular language","level":3,"score":0.642447829246521},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6325089335441589},{"id":"https://openalex.org/C30014739","wikidata":"https://www.wikidata.org/wiki/Q5159445","display_name":"Cone (formal languages)","level":2,"score":0.6029970645904541},{"id":"https://openalex.org/C2776639384","wikidata":"https://www.wikidata.org/wiki/Q840396","display_name":"Ideal (ethics)","level":2,"score":0.5627836585044861},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5116263031959534},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.4992661476135254},{"id":"https://openalex.org/C157968401","wikidata":"https://www.wikidata.org/wiki/Q2292874","display_name":"Pumping lemma for regular languages","level":5,"score":0.48284298181533813},{"id":"https://openalex.org/C2780897414","wikidata":"https://www.wikidata.org/wiki/Q7600592","display_name":"Star (game theory)","level":2,"score":0.4423603117465973},{"id":"https://openalex.org/C87619178","wikidata":"https://www.wikidata.org/wiki/Q126002","display_name":"Concatenation (mathematics)","level":2,"score":0.43207791447639465},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.42899972200393677},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.39432328939437866},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3503949046134949},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15835806727409363},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.139140784740448},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.1338825523853302},{"id":"https://openalex.org/C11164408","wikidata":"https://www.wikidata.org/wiki/Q18657800","display_name":"Second-generation programming language","level":4,"score":0.1002320647239685},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.09280675649642944},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0129054123450016","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054123450016","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.6299999952316284,"display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W136331652","https://openalex.org/W1533036729","https://openalex.org/W1973446781","https://openalex.org/W1978829149","https://openalex.org/W1980726210","https://openalex.org/W2010487137","https://openalex.org/W2018937876","https://openalex.org/W2023521199","https://openalex.org/W2071992537","https://openalex.org/W2081443805","https://openalex.org/W2085118356","https://openalex.org/W2088953089","https://openalex.org/W2106875872","https://openalex.org/W2109036808","https://openalex.org/W2116250539","https://openalex.org/W2134888877","https://openalex.org/W2796797028","https://openalex.org/W2908422417","https://openalex.org/W2913032954","https://openalex.org/W2954603477","https://openalex.org/W2954728465","https://openalex.org/W3028843709","https://openalex.org/W3114524785","https://openalex.org/W3127462027","https://openalex.org/W4256183496","https://openalex.org/W4290017143","https://openalex.org/W4290017157"],"related_works":["https://openalex.org/W2510632068","https://openalex.org/W2063737596","https://openalex.org/W252108735","https://openalex.org/W1998380256","https://openalex.org/W2037441184","https://openalex.org/W2105739157","https://openalex.org/W2361389645","https://openalex.org/W1540583425","https://openalex.org/W2240836793","https://openalex.org/W1972592804"],"abstract_inverted_index":{"A":[0],"class":[1,17,128,138],"of":[2,29,32,38,84,99,103,126],"languages":[3,34,57,101],"is":[4,139],"closed":[5,107,140],"under":[6,35,141],"a":[7,127],"given":[8],"operation":[9,143],"if":[10],"the":[11,19,26,53,82],"resulting":[12],"language":[13],"belongs":[14],"to":[15,22],"this":[16,137,142],"whenever":[18],"operands":[20],"belong":[21],"it.":[23],"We":[24,51,92,114],"examine":[25],"closure":[27,45],"properties":[28],"various":[30],"subclasses":[31,98],"regular":[33],"basic":[36],"operations":[37],"intersection,":[39],"union,":[40],"concatenation":[41],"and":[42,46,49,58,71,75,79,81,89,106,111,129],"power,":[43],"positive":[44],"star,":[47],"reversal,":[48],"complementation.":[50],"consider":[52],"following":[54],"classes:":[55],"definite":[56,70],"their":[59,76],"variants":[60,77],"(left":[61],"ideal,":[62,66,104],"finitely":[63],"generated":[64],"left":[65],"symmetric":[67],"definite,":[68],"generalized":[69],"combinational),":[72],"two-sided":[73],"comets":[74,78],"stars,":[80],"classes":[83],"singleton,":[85],"finite,":[86],"ordered,":[87],"star-free,":[88],"power-separating":[90],"languages.":[91,113],"also":[93],"give":[94],"an":[95,130,134],"overview":[96],"about":[97],"convex":[100],"(classes":[102],"free,":[105],"languages),":[108],"union-free":[109],"languages,":[110],"group":[112],"summarize":[115],"some":[116],"inclusion":[117],"relations":[118],"between":[119],"these":[120],"classes.":[121],"Subsequently,":[122],"for":[123],"all":[124],"pairs":[125],"operation,":[131],"we":[132],"provide":[133],"answer":[135],"whether":[136],"or":[144],"not.":[145]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-08T23:21:52.890332","created_date":"2025-10-10T00:00:00"}