{"id":"https://openalex.org/W2950107561","doi":"https://doi.org/10.1142/s0129054118400051","title":"On the Density of Context-Free and Counter Languages","display_name":"On the Density of Context-Free and Counter Languages","publication_year":2018,"publication_date":"2018-02-01","ids":{"openalex":"https://openalex.org/W2950107561","doi":"https://doi.org/10.1142/s0129054118400051","mag":"2950107561"},"language":"en","primary_location":{"id":"doi:10.1142/s0129054118400051","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054118400051","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":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1903.03001","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021805478","display_name":"Joseph Eremondi","orcid":"https://orcid.org/0000-0002-9631-4826"},"institutions":[{"id":"https://openalex.org/I141945490","display_name":"University of British Columbia","ror":"https://ror.org/03rmrcq20","country_code":"CA","type":"education","lineage":["https://openalex.org/I141945490"]},{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]},{"id":"https://openalex.org/I32625721","display_name":"University of Saskatchewan","ror":"https://ror.org/010x8gc63","country_code":"CA","type":"education","lineage":["https://openalex.org/I32625721"]}],"countries":["CA","US"],"is_corresponding":false,"raw_author_name":"Joey Eremondi","raw_affiliation_strings":["Department of Computer Science, University of British Columbia, Vancouver, BC V6T 1Z4, Canada","Department of Computer Science University of California, Santa Barbara, CA 93106, USA","Department of Computer Science, University of Saskatchewan Saskatoon, SK S7N 5A9, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of British Columbia, Vancouver, BC V6T 1Z4, Canada","institution_ids":["https://openalex.org/I141945490"]},{"raw_affiliation_string":"Department of Computer Science University of California, Santa Barbara, CA 93106, USA","institution_ids":["https://openalex.org/I154570441"]},{"raw_affiliation_string":"Department of Computer Science, University of Saskatchewan Saskatoon, SK S7N 5A9, Canada","institution_ids":["https://openalex.org/I32625721"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110211208","display_name":"\u00d3scar H. Ibarra","orcid":null},"institutions":[{"id":"https://openalex.org/I141945490","display_name":"University of British Columbia","ror":"https://ror.org/03rmrcq20","country_code":"CA","type":"education","lineage":["https://openalex.org/I141945490"]},{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]},{"id":"https://openalex.org/I32625721","display_name":"University of Saskatchewan","ror":"https://ror.org/010x8gc63","country_code":"CA","type":"education","lineage":["https://openalex.org/I32625721"]}],"countries":["CA","US"],"is_corresponding":false,"raw_author_name":"Oscar H. Ibarra","raw_affiliation_strings":["Department of Computer Science, University of California, Santa Barbara, CA 93106, USA","Department of Computer Science University of British Columbia, Vancouver, BC V6T 1Z4, Canada","Department of Computer Science, University of Saskatchewan Saskatoon, SK S7N 5A9, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of California, Santa Barbara, CA 93106, USA","institution_ids":["https://openalex.org/I154570441"]},{"raw_affiliation_string":"Department of Computer Science University of British Columbia, Vancouver, BC V6T 1Z4, Canada","institution_ids":["https://openalex.org/I141945490"]},{"raw_affiliation_string":"Department of Computer Science, University of Saskatchewan Saskatoon, SK S7N 5A9, Canada","institution_ids":["https://openalex.org/I32625721"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040385755","display_name":"Ian McQuillan","orcid":"https://orcid.org/0000-0002-7998-4430"},"institutions":[{"id":"https://openalex.org/I141945490","display_name":"University of British Columbia","ror":"https://ror.org/03rmrcq20","country_code":"CA","type":"education","lineage":["https://openalex.org/I141945490"]},{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]},{"id":"https://openalex.org/I32625721","display_name":"University of Saskatchewan","ror":"https://ror.org/010x8gc63","country_code":"CA","type":"education","lineage":["https://openalex.org/I32625721"]}],"countries":["CA","US"],"is_corresponding":false,"raw_author_name":"Ian McQuillan","raw_affiliation_strings":["Department of Computer Science, University of Saskatchewan, Saskatoon, SK S7N 5A9, Canada","Department of Computer Science University of British Columbia, Vancouver, BC V6T 1Z4, Canada","Department of Computer Science University of California, Santa Barbara, CA 93106, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Saskatchewan, Saskatoon, SK S7N 5A9, Canada","institution_ids":["https://openalex.org/I32625721"]},{"raw_affiliation_string":"Department of Computer Science University of British Columbia, Vancouver, BC V6T 1Z4, Canada","institution_ids":["https://openalex.org/I141945490"]},{"raw_affiliation_string":"Department of Computer Science University of California, Santa Barbara, CA 93106, USA","institution_ids":["https://openalex.org/I154570441"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5691,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.71818352,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"29","issue":"02","first_page":"233","last_page":"250"},"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/T12029","display_name":"DNA and Biological Computing","score":0.998199999332428,"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/T11269","display_name":"Algorithms and Data Compression","score":0.9957000017166138,"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/undecidable-problem","display_name":"Undecidable problem","score":0.7384674549102783},{"id":"https://openalex.org/keywords/deterministic-pushdown-automaton","display_name":"Deterministic pushdown automaton","score":0.6984913349151611},{"id":"https://openalex.org/keywords/context-free-language","display_name":"Context-free language","score":0.6360659599304199},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.6177678108215332},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5862184762954712},{"id":"https://openalex.org/keywords/regular-language","display_name":"Regular language","score":0.5725939273834229},{"id":"https://openalex.org/keywords/pushdown-automaton","display_name":"Pushdown automaton","score":0.5637539625167847},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5428109765052795},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.5409001708030701},{"id":"https://openalex.org/keywords/nested-word","display_name":"Nested word","score":0.48264652490615845},{"id":"https://openalex.org/keywords/word","display_name":"Word (group theory)","score":0.46366432309150696},{"id":"https://openalex.org/keywords/pumping-lemma-for-regular-languages","display_name":"Pumping lemma for regular languages","score":0.455768883228302},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4410799741744995},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.4323503375053406},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.3430064022541046},{"id":"https://openalex.org/keywords/nondeterministic-finite-automaton","display_name":"Nondeterministic finite automaton","score":0.3009451925754547},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2922166585922241},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.19847503304481506},{"id":"https://openalex.org/keywords/automata-theory","display_name":"Automata theory","score":0.16521775722503662},{"id":"https://openalex.org/keywords/quantum-finite-automata","display_name":"Quantum finite automata","score":0.1400105059146881},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.12635162472724915},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.1179342269897461},{"id":"https://openalex.org/keywords/rule-based-machine-translation","display_name":"Rule-based machine translation","score":0.10600906610488892},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08116468787193298}],"concepts":[{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.7384674549102783},{"id":"https://openalex.org/C74919329","wikidata":"https://www.wikidata.org/wiki/Q378713","display_name":"Deterministic pushdown automaton","level":5,"score":0.6984913349151611},{"id":"https://openalex.org/C198838072","wikidata":"https://www.wikidata.org/wiki/Q729271","display_name":"Context-free language","level":3,"score":0.6360659599304199},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.6177678108215332},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5862184762954712},{"id":"https://openalex.org/C52370388","wikidata":"https://www.wikidata.org/wiki/Q752532","display_name":"Regular language","level":3,"score":0.5725939273834229},{"id":"https://openalex.org/C77944639","wikidata":"https://www.wikidata.org/wiki/Q751443","display_name":"Pushdown automaton","level":3,"score":0.5637539625167847},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5428109765052795},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.5409001708030701},{"id":"https://openalex.org/C92117001","wikidata":"https://www.wikidata.org/wiki/Q6997829","display_name":"Nested word","level":5,"score":0.48264652490615845},{"id":"https://openalex.org/C90805587","wikidata":"https://www.wikidata.org/wiki/Q10944557","display_name":"Word (group theory)","level":2,"score":0.46366432309150696},{"id":"https://openalex.org/C157968401","wikidata":"https://www.wikidata.org/wiki/Q2292874","display_name":"Pumping lemma for regular languages","level":5,"score":0.455768883228302},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4410799741744995},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.4323503375053406},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.3430064022541046},{"id":"https://openalex.org/C158008952","wikidata":"https://www.wikidata.org/wiki/Q617295","display_name":"Nondeterministic finite automaton","level":4,"score":0.3009451925754547},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2922166585922241},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.19847503304481506},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.16521775722503662},{"id":"https://openalex.org/C174327141","wikidata":"https://www.wikidata.org/wiki/Q176837","display_name":"Quantum finite automata","level":4,"score":0.1400105059146881},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.12635162472724915},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.1179342269897461},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.10600906610488892},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08116468787193298},{"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/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.0},{"id":"https://openalex.org/C11164408","wikidata":"https://www.wikidata.org/wiki/Q18657800","display_name":"Second-generation programming language","level":4,"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/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1142/s0129054118400051","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054118400051","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"},{"id":"pmh:oai:arXiv.org:1903.03001","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1903.03001","pdf_url":"https://arxiv.org/pdf/1903.03001","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1903.03001","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1903.03001","pdf_url":"https://arxiv.org/pdf/1903.03001","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[{"score":0.4699999988079071,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W299519334","https://openalex.org/W874706812","https://openalex.org/W1510695256","https://openalex.org/W1596202298","https://openalex.org/W1965748850","https://openalex.org/W1990598022","https://openalex.org/W2020570874","https://openalex.org/W2023999667","https://openalex.org/W2028475750","https://openalex.org/W2061970672","https://openalex.org/W2066725205","https://openalex.org/W2076858908","https://openalex.org/W2082899028","https://openalex.org/W2084335565","https://openalex.org/W2111753126","https://openalex.org/W2116976042","https://openalex.org/W2148224873","https://openalex.org/W4211131950","https://openalex.org/W4302339081"],"related_works":["https://openalex.org/W2067895928","https://openalex.org/W2472752294","https://openalex.org/W2229354094","https://openalex.org/W4295836506","https://openalex.org/W2483135985","https://openalex.org/W3089361136","https://openalex.org/W2394732936","https://openalex.org/W3046914621","https://openalex.org/W4200019305","https://openalex.org/W2135035709"],"abstract_inverted_index":{"A":[0],"language":[1,69,162],"[Formula:":[2,23,39,70,82,149],"see":[3,24,40,49,71,83,150],"text]":[4,41,72,84],"is":[5,16,60,65,85,108,128],"said":[6],"to":[7,35,157],"be":[8,158],"dense":[9,140],"if":[10],"every":[11],"word":[12,21,37],"in":[13,22,42],"the":[14,32,45,54,124],"universe":[15],"an":[17],"infix":[18,33,46],"of":[19,44,57],"some":[20],"text].":[25],"This":[26],"notion":[27,56],"has":[28],"been":[29],"generalized":[30],"from":[31,169],"operation":[34,47],"arbitrary":[36],"operations":[38,168],"place":[43],"([Formula:":[48],"text]-dense,":[50],"with":[51,130,144],"infix-dense":[52],"being":[53],"standard":[55],"dense).":[58],"It":[59],"shown":[61],"here":[62],"that":[63,119],"it":[64,88,107,127],"decidable,":[66],"for":[67,91,100,110],"a":[68,75,145],"accepted":[73],"by":[74],"one-way":[76],"nondeterministic":[77,101],"reversal-bounded":[78],"pushdown":[79,94],"automaton,":[80],"whether":[81],"infix-dense.":[86],"However,":[87],"becomes":[89],"undecidable":[90,109],"both":[92],"deterministic":[93,116,161],"automata":[95,118],"(with":[96],"no":[97],"reversal-bound),":[98],"and":[99,142,177],"one-counter":[102,117],"automata.":[103],"When":[104],"examining":[105],"suffix-density,":[106],"more":[111],"restricted":[112],"families":[113,163],"such":[114],"as":[115],"make":[120],"three":[121],"reversals":[122],"on":[123,139],"counter,":[125],"but":[126],"decidable":[129],"less":[131],"reversals.":[132],"Other":[133],"decidability":[134],"results":[135],"are":[136,155,175],"also":[137],"presented":[138],"languages,":[141],"contrasted":[143],"marked":[146],"version":[147],"called":[148],"text]-marked-density.":[151],"Also,":[152],"new":[153],"languages":[154,174],"demonstrated":[156],"outside":[159],"various":[160],"after":[164],"applying":[165],"different":[166],"deletion":[167],"smaller":[170],"families.":[171],"Lastly,":[172],"bounded-dense":[173],"defined":[176],"examined.":[178]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2}],"updated_date":"2026-08-05T07:39:15.569665","created_date":"2025-10-10T00:00:00"}