{"id":"https://openalex.org/W2885479591","doi":"https://doi.org/10.3233/fi-2018-1713","title":"On the Number of Nonterminal Symbols in Unambiguous Conjunctive Grammars","display_name":"On the Number of Nonterminal Symbols in Unambiguous Conjunctive Grammars","publication_year":2018,"publication_date":"2018-08-06","ids":{"openalex":"https://openalex.org/W2885479591","doi":"https://doi.org/10.3233/fi-2018-1713","mag":"2885479591"},"language":"en","primary_location":{"id":"doi:10.3233/fi-2018-1713","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2018-1713","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","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/A5066525178","display_name":"Artur Je\u017c","orcid":"https://orcid.org/0000-0003-4321-3105"},"institutions":[{"id":"https://openalex.org/I4210087266","display_name":"Institute of Computer Science","ror":"https://ror.org/003fvp964","country_code":"PL","type":"facility","lineage":["https://openalex.org/I4210087266","https://openalex.org/I99542240"]},{"id":"https://openalex.org/I219388962","display_name":"University of Wroc\u0142aw","ror":"https://ror.org/00yae6e25","country_code":"PL","type":"education","lineage":["https://openalex.org/I219388962"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"Artur Je\u017c","raw_affiliation_strings":["Institute of Computer Science, University of Wroc\u0142aw, Joliot-Curie 15, 50\u2013383 Wroclaw, Poland, aje@cs.uni.wroc.pl"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Science, University of Wroc\u0142aw, Joliot-Curie 15, 50\u2013383 Wroclaw, Poland, aje@cs.uni.wroc.pl","institution_ids":["https://openalex.org/I219388962","https://openalex.org/I4210087266"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005683089","display_name":"Alexander Okhotin","orcid":"https://orcid.org/0000-0002-1615-2725"},"institutions":[{"id":"https://openalex.org/I172901346","display_name":"St Petersburg University","ror":"https://ror.org/023znxa73","country_code":"RU","type":"education","lineage":["https://openalex.org/I172901346"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Alexander Okhotin","raw_affiliation_strings":["St. Petersburg State University, 7/9 Universitetskaya nab., Saint Petersburg 199034, Russia, alexander.okhotin@spbu.ru"],"affiliations":[{"raw_affiliation_string":"St. Petersburg State University, 7/9 Universitetskaya nab., Saint Petersburg 199034, Russia, alexander.okhotin@spbu.ru","institution_ids":["https://openalex.org/I172901346"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5066525178"],"corresponding_institution_ids":["https://openalex.org/I219388962","https://openalex.org/I4210087266"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.12357271,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"162","issue":"1","first_page":"43","last_page":"72"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9979000091552734,"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.9979000091552734,"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/T12380","display_name":"Authorship Attribution and Profiling","score":0.9549999833106995,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9413999915122986,"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/terminal-and-nonterminal-symbols","display_name":"Terminal and nonterminal symbols","score":0.98603355884552},{"id":"https://openalex.org/keywords/context-sensitive-grammar","display_name":"Context-sensitive grammar","score":0.8301668167114258},{"id":"https://openalex.org/keywords/indexed-grammar","display_name":"Indexed grammar","score":0.7326891422271729},{"id":"https://openalex.org/keywords/tree-adjoining-grammar","display_name":"Tree-adjoining grammar","score":0.6635465621948242},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6130198240280151},{"id":"https://openalex.org/keywords/l-attributed-grammar","display_name":"L-attributed grammar","score":0.6091718077659607},{"id":"https://openalex.org/keywords/phrase-structure-grammar","display_name":"Phrase structure grammar","score":0.5742210745811462},{"id":"https://openalex.org/keywords/context-free-grammar","display_name":"Context-free grammar","score":0.5247787833213806},{"id":"https://openalex.org/keywords/undecidable-problem","display_name":"Undecidable problem","score":0.45474478602409363},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.448417067527771},{"id":"https://openalex.org/keywords/rule-based-machine-translation","display_name":"Rule-based machine translation","score":0.43954646587371826},{"id":"https://openalex.org/keywords/symbol","display_name":"Symbol (formal)","score":0.41004854440689087},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.38521045446395874},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.339141845703125},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.30227020382881165},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1757083237171173},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.14508292078971863}],"concepts":[{"id":"https://openalex.org/C9432014","wikidata":"https://www.wikidata.org/wiki/Q954063","display_name":"Terminal and nonterminal symbols","level":3,"score":0.98603355884552},{"id":"https://openalex.org/C125950753","wikidata":"https://www.wikidata.org/wiki/Q908674","display_name":"Context-sensitive grammar","level":4,"score":0.8301668167114258},{"id":"https://openalex.org/C79243999","wikidata":"https://www.wikidata.org/wiki/Q6590011","display_name":"Indexed grammar","level":5,"score":0.7326891422271729},{"id":"https://openalex.org/C134083981","wikidata":"https://www.wikidata.org/wiki/Q1754022","display_name":"Tree-adjoining grammar","level":4,"score":0.6635465621948242},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6130198240280151},{"id":"https://openalex.org/C67621940","wikidata":"https://www.wikidata.org/wiki/Q3113340","display_name":"L-attributed grammar","level":4,"score":0.6091718077659607},{"id":"https://openalex.org/C29184939","wikidata":"https://www.wikidata.org/wiki/Q1134367","display_name":"Phrase structure grammar","level":4,"score":0.5742210745811462},{"id":"https://openalex.org/C97212296","wikidata":"https://www.wikidata.org/wiki/Q338047","display_name":"Context-free grammar","level":3,"score":0.5247787833213806},{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.45474478602409363},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.448417067527771},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.43954646587371826},{"id":"https://openalex.org/C134400042","wikidata":"https://www.wikidata.org/wiki/Q2372244","display_name":"Symbol (formal)","level":2,"score":0.41004854440689087},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.38521045446395874},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.339141845703125},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.30227020382881165},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1757083237171173},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14508292078971863},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/fi-2018-1713","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2018-1713","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7799999713897705,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1970209336","https://openalex.org/W4388481545","https://openalex.org/W1999932874","https://openalex.org/W2885479591","https://openalex.org/W1512386289","https://openalex.org/W2070647957","https://openalex.org/W2508091093","https://openalex.org/W2803777011","https://openalex.org/W2089201742","https://openalex.org/W2103115028"],"abstract_inverted_index":{"Unambiguous":[0],"conjunctive":[1],"grammars":[2,15,28,41,54,60,77,111],"with":[3,16,29,99],"1":[4],"nonterminal":[5,18,33],"symbol":[6],"are":[7,21,69],"shown":[8,51],"to":[9],"be":[10],"strictly":[11,24],"weaker":[12,25],"than":[13],"the":[14,27,104],"2":[17],"symbols,":[19],"which":[20,48],"in":[22,70],"turn":[23],"that":[26,52,90],"3":[30],"or":[31],"more":[32],"symbols.":[34],"This":[35],"hierarchy":[36],"is":[37,50,87,112],"established":[38],"by":[39],"considering":[40],"over":[42],"a":[43,71,94,100,107],"one-symbol":[44],"al":[45],"phabet,":[46],"for":[47,97],"it":[49],"1-nonterminal":[53],"describe":[55,61,79],"only":[56],"regular":[57,101],"languages,":[58,64],"2-nonterminal":[59,95,110],"some":[62,80],"non-regular":[63,81],"but":[65],"all":[66],"of":[67,83,109],"them":[68],"certain":[72],"sense":[73],"sparse,":[74],"whereas":[75,103],"3-nonterminal":[76],"may":[78],"languages":[82],"non-zero":[84],"density.":[85],"It":[86],"also":[88],"proved":[89],"one":[91],"can":[92],"test":[93],"grammar":[96],"equivalence":[98,105],"language,":[102],"between":[106],"pair":[108],"undecidable.":[113]},"counts_by_year":[{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}