{"id":"https://openalex.org/W2919882210","doi":"https://doi.org/10.1142/s0129054119400045","title":"A Pumping Lemma for Permitting Semi-Conditional Languages","display_name":"A Pumping Lemma for Permitting Semi-Conditional Languages","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2919882210","doi":"https://doi.org/10.1142/s0129054119400045","mag":"2919882210"},"language":"en","primary_location":{"id":"doi:10.1142/s0129054119400045","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054119400045","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":true,"oa_status":"green","oa_url":"http://publicatio.bibl.u-szeged.hu/17353/1/GazdagTichlerCsuhaj.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5071606442","display_name":"Zsolt Gazdag","orcid":"https://orcid.org/0000-0002-5617-8743"},"institutions":[{"id":"https://openalex.org/I227486990","display_name":"University of Szeged","ror":"https://ror.org/01pnej532","country_code":"HU","type":"education","lineage":["https://openalex.org/I227486990"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"Zsolt Gazdag","raw_affiliation_strings":["Department of Foundations of Computer Science, University of Szeged, 13 Dugonics Square, Szeged H-6720, Hungary"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Foundations of Computer Science, University of Szeged, 13 Dugonics Square, Szeged H-6720, Hungary","institution_ids":["https://openalex.org/I227486990"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024091171","display_name":"Kriszti\u00e1n Tichler","orcid":"https://orcid.org/0000-0002-9421-4485"},"institutions":[{"id":"https://openalex.org/I106118109","display_name":"E\u00f6tv\u00f6s Lor\u00e1nd University","ror":"https://ror.org/01jsq2704","country_code":"HU","type":"education","lineage":["https://openalex.org/I106118109"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"Kriszti\u00e1n Tichler","raw_affiliation_strings":["Department of Algorithms and Their Applications, E\u00f6tv\u00f6s Lor\u00e1nd University, Budapest, Hungary"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Algorithms and Their Applications, E\u00f6tv\u00f6s Lor\u00e1nd University, Budapest, Hungary","institution_ids":["https://openalex.org/I106118109"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020585110","display_name":"Erzs\u00e9bet Csuhaj-Varj\u00fa","orcid":"https://orcid.org/0000-0002-2773-2944"},"institutions":[{"id":"https://openalex.org/I106118109","display_name":"E\u00f6tv\u00f6s Lor\u00e1nd University","ror":"https://ror.org/01jsq2704","country_code":"HU","type":"education","lineage":["https://openalex.org/I106118109"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"Erzs\u00e9bet Csuhaj-Varj\u00fa","raw_affiliation_strings":["Department of Algorithms and Their Applications, E\u00f6tv\u00f6s Lor\u00e1nd University, Budapest, Hungary"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Algorithms and Their Applications, E\u00f6tv\u00f6s Lor\u00e1nd University, Budapest, Hungary","institution_ids":["https://openalex.org/I106118109"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0758,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.40783053,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":93},"biblio":{"volume":"30","issue":"01","first_page":"73","last_page":"92"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.9998999834060669,"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.9980999827384949,"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/T11567","display_name":"semigroups and automata theory","score":0.9976000189781189,"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/lemma","display_name":"Lemma (botany)","score":0.7873799204826355},{"id":"https://openalex.org/keywords/rule-based-machine-translation","display_name":"Rule-based machine translation","score":0.7009679675102234},{"id":"https://openalex.org/keywords/word","display_name":"Word (group theory)","score":0.59173983335495},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5431749224662781},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5219135284423828},{"id":"https://openalex.org/keywords/generative-grammar","display_name":"Generative grammar","score":0.521141529083252},{"id":"https://openalex.org/keywords/pumping-lemma-for-regular-languages","display_name":"Pumping lemma for regular languages","score":0.5114959478378296},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4568506181240082},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.41968977451324463},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.36506733298301697},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3442787528038025},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.33381468057632446},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3329184055328369},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11998945474624634}],"concepts":[{"id":"https://openalex.org/C2777759810","wikidata":"https://www.wikidata.org/wiki/Q149316","display_name":"Lemma (botany)","level":3,"score":0.7873799204826355},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.7009679675102234},{"id":"https://openalex.org/C90805587","wikidata":"https://www.wikidata.org/wiki/Q10944557","display_name":"Word (group theory)","level":2,"score":0.59173983335495},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5431749224662781},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5219135284423828},{"id":"https://openalex.org/C39890363","wikidata":"https://www.wikidata.org/wiki/Q36108","display_name":"Generative grammar","level":2,"score":0.521141529083252},{"id":"https://openalex.org/C157968401","wikidata":"https://www.wikidata.org/wiki/Q2292874","display_name":"Pumping lemma for regular languages","level":5,"score":0.5114959478378296},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4568506181240082},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.41968977451324463},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.36506733298301697},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3442787528038025},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.33381468057632446},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3329184055328369},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11998945474624634},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"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/C46757340","wikidata":"https://www.wikidata.org/wiki/Q43238","display_name":"Poaceae","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},{"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/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1142/s0129054119400045","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054119400045","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:publicatio.bibl.u-szeged.hu:17353","is_oa":true,"landing_page_url":"http://publicatio.bibl.u-szeged.hu/17353/1/GazdagTichlerCsuhaj.pdf","pdf_url":"http://publicatio.bibl.u-szeged.hu/17353/1/GazdagTichlerCsuhaj.pdf","source":{"id":"https://openalex.org/S4306400675","display_name":"SZTE Publicatio Repozit\u00f3rium (University of Szeged)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I227486990","host_organization_name":"University of Szeged","host_organization_lineage":["https://openalex.org/I227486990"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Cikk"}],"best_oa_location":{"id":"pmh:oai:publicatio.bibl.u-szeged.hu:17353","is_oa":true,"landing_page_url":"http://publicatio.bibl.u-szeged.hu/17353/1/GazdagTichlerCsuhaj.pdf","pdf_url":"http://publicatio.bibl.u-szeged.hu/17353/1/GazdagTichlerCsuhaj.pdf","source":{"id":"https://openalex.org/S4306400675","display_name":"SZTE Publicatio Repozit\u00f3rium (University of Szeged)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I227486990","host_organization_name":"University of Szeged","host_organization_lineage":["https://openalex.org/I227486990"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Cikk"},"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":20,"referenced_works":["https://openalex.org/W30902494","https://openalex.org/W1515624550","https://openalex.org/W1546754334","https://openalex.org/W1579838312","https://openalex.org/W1991556569","https://openalex.org/W1995095316","https://openalex.org/W1999932874","https://openalex.org/W2018765574","https://openalex.org/W2076508310","https://openalex.org/W2107399756","https://openalex.org/W2130509193","https://openalex.org/W2150922531","https://openalex.org/W2151989760","https://openalex.org/W2172260861","https://openalex.org/W2316437449","https://openalex.org/W2400867655","https://openalex.org/W2739466222","https://openalex.org/W2914032487","https://openalex.org/W2971268466","https://openalex.org/W4241604193"],"related_works":["https://openalex.org/W2100613987","https://openalex.org/W2888365070","https://openalex.org/W2009481224","https://openalex.org/W2887672569","https://openalex.org/W142591792","https://openalex.org/W2086534829","https://openalex.org/W2951601072","https://openalex.org/W4298573829","https://openalex.org/W4381855730","https://openalex.org/W1985092512"],"abstract_inverted_index":{"Permitting":[0],"semi-conditional":[1],"grammars":[2,8,148],"(pSCGs)":[3],"are":[4,113],"extensions":[5],"of":[6,42,63,92,129,136,140,144],"context-free":[7],"where":[9,52],"each":[10,53],"rule":[11,23,54],"is":[12,39,58,72],"associated":[13,59],"with":[14,60,94,149],"a":[15,22,28,40,61,100,121,134],"word":[16,77],"[Formula:":[17,31,36,43,55,65,69,79,84],"see":[18,32,37,44,56,66,70,80,85],"text]":[19,33,38,57,67,71,81],"and":[20,68,98,142],"such":[21],"can":[24],"be":[25],"applied":[26],"to":[27],"sentential":[29],"form":[30],"only":[34,74],"if":[35,75],"subword":[41],"text].":[45,86],"We":[46,87],"consider":[47],"permitting":[48],"generalized":[49],"SCGs":[50],"(pgSCGs)":[51],"set":[62],"words":[64],"applicable":[73],"every":[76],"in":[78,83],"occurs":[82],"investigate":[88],"the":[89,126,137],"generative":[90,127],"power":[91,128,139],"pgSCGs":[93,112,141],"no":[95,150],"erasing":[96,151],"rules":[97],"prove":[99],"pumping":[101],"lemma":[102,108],"for":[103],"their":[104],"languages.":[105],"Using":[106],"this":[107],"we":[109,132],"show":[110],"that":[111,143],"strictly":[114],"weaker":[115],"than":[116],"context-sensitive":[117],"grammars.":[118],"This":[119],"solves":[120],"long-lasting":[122],"open":[123],"problem":[124],"concerning":[125],"pSCGs.":[130],"Moreover,":[131],"give":[133],"comparison":[135],"generating":[138],"forbidding":[145],"random":[146],"context":[147],"rules.":[152]},"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2026-08-11T07:18:39.950985","created_date":"2025-10-10T00:00:00"}