{"id":"https://openalex.org/W2123362148","doi":"https://doi.org/10.1109/tit.2011.2145170","title":"On the Vocabulary of Grammar-Based Codes and the Logical Consistency of Texts","display_name":"On the Vocabulary of Grammar-Based Codes and the Logical Consistency of Texts","publication_year":2011,"publication_date":"2011-06-21","ids":{"openalex":"https://openalex.org/W2123362148","doi":"https://doi.org/10.1109/tit.2011.2145170","mag":"2123362148"},"language":"en","primary_location":{"id":"doi:10.1109/tit.2011.2145170","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tit.2011.2145170","pdf_url":null,"source":{"id":"https://openalex.org/S4502562","display_name":"IEEE Transactions on Information Theory","issn_l":"0018-9448","issn":["0018-9448","1557-9654"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Information Theory","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/0810.3125","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5076911703","display_name":"\u0141ukasz D\u0119bowski","orcid":"https://orcid.org/0000-0001-7136-5283"},"institutions":[{"id":"https://openalex.org/I99542240","display_name":"Polish Academy of Sciences","ror":"https://ror.org/01dr6c206","country_code":"PL","type":"funder","lineage":["https://openalex.org/I99542240"]},{"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"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"\u0141ukasz Debowski","raw_affiliation_strings":["Institute of Computer Science, Polish Academy of Sciences, Warszawa, Poland","Inst. of Comput. Sci., Polish Acad. of Sci., Warsaw, Poland"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Science, Polish Academy of Sciences, Warszawa, Poland","institution_ids":["https://openalex.org/I99542240","https://openalex.org/I4210087266"]},{"raw_affiliation_string":"Inst. of Comput. Sci., Polish Acad. of Sci., Warsaw, Poland","institution_ids":["https://openalex.org/I99542240"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5076911703"],"corresponding_institution_ids":["https://openalex.org/I4210087266","https://openalex.org/I99542240"],"apc_list":null,"apc_paid":null,"fwci":2.5709,"has_fulltext":true,"cited_by_count":39,"citation_normalized_percentile":{"value":0.8968138,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"57","issue":"7","first_page":"4589","last_page":"4599"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9998000264167786,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9998000264167786,"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/T12162","display_name":"Cellular Automata and Applications","score":0.9998000264167786,"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.9993000030517578,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/grammar","display_name":"Grammar","score":0.508908748626709},{"id":"https://openalex.org/keywords/terminal-and-nonterminal-symbols","display_name":"Terminal and nonterminal symbols","score":0.4759119153022766},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4666428864002228},{"id":"https://openalex.org/keywords/kolmogorov-complexity","display_name":"Kolmogorov complexity","score":0.4468532204627991},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.44341588020324707},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3478541970252991},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.3033580183982849},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.29240405559539795},{"id":"https://openalex.org/keywords/rule-based-machine-translation","display_name":"Rule-based machine translation","score":0.19987398386001587}],"concepts":[{"id":"https://openalex.org/C26022165","wikidata":"https://www.wikidata.org/wiki/Q8091","display_name":"Grammar","level":2,"score":0.508908748626709},{"id":"https://openalex.org/C9432014","wikidata":"https://www.wikidata.org/wiki/Q954063","display_name":"Terminal and nonterminal symbols","level":3,"score":0.4759119153022766},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4666428864002228},{"id":"https://openalex.org/C2779341405","wikidata":"https://www.wikidata.org/wiki/Q1456811","display_name":"Kolmogorov complexity","level":2,"score":0.4468532204627991},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.44341588020324707},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3478541970252991},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3033580183982849},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.29240405559539795},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.19987398386001587},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1109/tit.2011.2145170","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tit.2011.2145170","pdf_url":null,"source":{"id":"https://openalex.org/S4502562","display_name":"IEEE Transactions on Information Theory","issn_l":"0018-9448","issn":["0018-9448","1557-9654"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Information Theory","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:0810.3125","is_oa":true,"landing_page_url":"http://arxiv.org/abs/0810.3125","pdf_url":"https://arxiv.org/pdf/0810.3125","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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"},{"id":"pmh:oai:cwi.nl:13406","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/13406/Fulltext","pdf_url":"https://arxiv.org/pdf/0810.3125","source":{"id":"https://openalex.org/S7407055335","display_name":"Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"info:eu-repo/semantics/preprint"},{"id":"pmh:cwi:oai:cwi.nl:13406","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/13406","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/preprint"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.243.9339","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.243.9339","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arxiv.org/pdf/0810.3125v2.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.244.5308","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.244.5308","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arxiv.org/pdf/0810.3125v1.pdf","raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:0810.3125","is_oa":true,"landing_page_url":"http://arxiv.org/abs/0810.3125","pdf_url":"https://arxiv.org/pdf/0810.3125","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.7699999809265137}],"awards":[],"funders":[{"id":"https://openalex.org/F4320312777","display_name":"Santa Fe Institute","ror":"https://ror.org/01arysc35"},{"id":"https://openalex.org/F4320320965","display_name":"University of New South Wales","ror":"https://ror.org/03r8z3t63"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":88,"referenced_works":["https://openalex.org/W285471286","https://openalex.org/W1506488026","https://openalex.org/W1508165687","https://openalex.org/W1515002134","https://openalex.org/W1515040589","https://openalex.org/W1517590677","https://openalex.org/W1528203680","https://openalex.org/W1530250655","https://openalex.org/W1531679840","https://openalex.org/W1532729789","https://openalex.org/W1552948490","https://openalex.org/W1965812785","https://openalex.org/W1973608346","https://openalex.org/W1974951348","https://openalex.org/W1982589620","https://openalex.org/W1984230893","https://openalex.org/W1985218087","https://openalex.org/W1998736328","https://openalex.org/W2000784587","https://openalex.org/W2017170340","https://openalex.org/W2019588402","https://openalex.org/W2020311636","https://openalex.org/W2029212055","https://openalex.org/W2033651947","https://openalex.org/W2035893571","https://openalex.org/W2036671379","https://openalex.org/W2050249319","https://openalex.org/W2052937257","https://openalex.org/W2053782355","https://openalex.org/W2054673836","https://openalex.org/W2056099894","https://openalex.org/W2056339533","https://openalex.org/W2069641973","https://openalex.org/W2070648893","https://openalex.org/W2077949668","https://openalex.org/W2079145130","https://openalex.org/W2081546735","https://openalex.org/W2082484843","https://openalex.org/W2087284982","https://openalex.org/W2090618725","https://openalex.org/W2091891040","https://openalex.org/W2096077217","https://openalex.org/W2099111195","https://openalex.org/W2101460669","https://openalex.org/W2102098892","https://openalex.org/W2103861037","https://openalex.org/W2107745473","https://openalex.org/W2113004376","https://openalex.org/W2115468292","https://openalex.org/W2117479880","https://openalex.org/W2126211701","https://openalex.org/W2128777897","https://openalex.org/W2128957129","https://openalex.org/W2130059664","https://openalex.org/W2130956967","https://openalex.org/W2132766440","https://openalex.org/W2136438047","https://openalex.org/W2143657555","https://openalex.org/W2143763360","https://openalex.org/W2145809877","https://openalex.org/W2164760593","https://openalex.org/W2164783098","https://openalex.org/W2187526581","https://openalex.org/W2289346085","https://openalex.org/W2312217865","https://openalex.org/W2312450606","https://openalex.org/W2312497442","https://openalex.org/W2319212938","https://openalex.org/W2323296687","https://openalex.org/W2498571702","https://openalex.org/W2611071497","https://openalex.org/W2797937785","https://openalex.org/W2912064192","https://openalex.org/W3016266344","https://openalex.org/W3036063182","https://openalex.org/W3101791345","https://openalex.org/W3102564925","https://openalex.org/W3147042528","https://openalex.org/W3167947753","https://openalex.org/W4230526081","https://openalex.org/W4233469782","https://openalex.org/W4235076410","https://openalex.org/W4248129336","https://openalex.org/W4248376946","https://openalex.org/W4301084947","https://openalex.org/W4302114916","https://openalex.org/W6630151685","https://openalex.org/W6631724362"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2084660617","https://openalex.org/W2571410429","https://openalex.org/W2570541819","https://openalex.org/W2949271087","https://openalex.org/W2146811744","https://openalex.org/W4300878823","https://openalex.org/W1696733972","https://openalex.org/W1608770741","https://openalex.org/W243653900"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"a":[3,23,48,51,56,76,138,152],"new":[4,24],"interpretation":[5],"for":[6,41],"Zipf\u2013Mandelbrot's":[7],"law":[8],"in":[9,75,151],"natural":[10],"language":[11],"which":[12],"rests":[13],"on":[14,97],"two":[15,108],"areas":[16],"of":[17,26,34,58,121,126],"information":[18],"theory.":[19],"Firstly,":[20,113],"we":[21,31],"construct":[22],"class":[25],"grammar-based":[27,124],"codes":[28],"and,":[29],"secondly,":[30],"investigate":[32],"properties":[33],"strongly":[35,140],"nonergodic":[36,141],"stationary":[37],"processes.":[38],"The":[39],"motivation":[40],"the":[42,80,105,114,122,127,130,144],"joint":[43],"discussion":[44],"is":[45,132],"to":[46,134],"prove":[47],"proposition":[49],"with":[50],"simple":[52],"informal":[53],"statement:":[54],"If":[55],"text":[57,81,131],"length":[59],"<formula":[60,67,85,98],"formulatype=\"inline\"":[61,68,86,99],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[62,69,87,100],"xmlns:xlink=\"http://www.w3.org/1999/xlink\"><tex":[63,70,88,101],"Notation=\"TeX\">$n$</tex>":[64],"</formula>":[65],"describes":[66],"Notation=\"TeX\">$n^{\\beta}":[71,89],"$</tex></formula>":[72],"independent":[73],"facts":[74,145],"repetitive":[77],"way":[78],"then":[79],"contains":[82],"at":[83],"least":[84],"/\\log":[90],"n$</tex></formula>":[91],"different":[92],"words,":[93],"under":[94],"suitable":[95],"conditions":[96],"Notation=\"TeX\">$n$</tex></formula>":[102],".":[103],"In":[104],"formal":[106],"statement,":[107],"modeling":[109],"postulates":[110],"are":[111,116,146],"adopted.":[112],"words":[115],"understood":[117],"as":[118],"nonterminal":[119],"symbols":[120],"shortest":[123],"encoding":[125],"text.":[128],"Secondly,":[129],"assumed":[133],"be":[135],"emitted":[136],"by":[137],"finite-energy":[139],"source":[142],"whereas":[143],"binary":[147],"IID":[148],"variables":[149],"predictable":[150],"shift-invariant":[153],"way.":[154]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":6},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":8},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":3}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}