{"id":"https://openalex.org/W2283023572","doi":"https://doi.org/10.1142/9789814447133_0005","title":"Normal Forms for Contextual Grammars","display_name":"Normal Forms for Contextual Grammars","publication_year":1994,"publication_date":"1994-10-01","ids":{"openalex":"https://openalex.org/W2283023572","doi":"https://doi.org/10.1142/9789814447133_0005","mag":"2283023572"},"language":"en","primary_location":{"id":"doi:10.1142/9789814447133_0005","is_oa":false,"landing_page_url":"http://doi.org/10.1142/9789814447133_0005","pdf_url":null,"source":{"id":"https://openalex.org/S4306464320","display_name":"WORLD SCIENTIFIC eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"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":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Aspects of Natural and Formal Languages","raw_type":"book-chapter"},"type":"book-chapter","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/A5045244980","display_name":"Andrzej Ehrenfeucht","orcid":null},"institutions":[{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Andrzej EHRENFEUCHT","raw_affiliation_strings":["Department of Computer Science, University of Colorado at Boulder, Boulder, CO 80309, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Colorado at Boulder, Boulder, CO 80309, USA","institution_ids":["https://openalex.org/I188538660"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110573976","display_name":"Gheorghe P\u01ceun","orcid":null},"institutions":[{"id":"https://openalex.org/I33800924","display_name":"Academy of Romanian Scientists","ror":"https://ror.org/04ybnj478","country_code":"RO","type":"facility","lineage":["https://openalex.org/I33800924"]},{"id":"https://openalex.org/I58077936","display_name":"Romanian Academy","ror":"https://ror.org/0561n6946","country_code":"RO","type":"archive","lineage":["https://openalex.org/I58077936"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Gheorghe P\u0102UN","raw_affiliation_strings":["Institute of Mathematics of the Romanian Academy of Sciences, PO Box 1 \u2013 764, 70700 Bucure\u015fti, Romania"],"affiliations":[{"raw_affiliation_string":"Institute of Mathematics of the Romanian Academy of Sciences, PO Box 1 \u2013 764, 70700 Bucure\u015fti, Romania","institution_ids":["https://openalex.org/I33800924","https://openalex.org/I58077936"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110486000","display_name":"Grzegorz Rozenberg","orcid":null},"institutions":[{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]},{"id":"https://openalex.org/I121797337","display_name":"Leiden University","ror":"https://ror.org/027bh9e22","country_code":"NL","type":"education","lineage":["https://openalex.org/I121797337"]}],"countries":["NL","US"],"is_corresponding":false,"raw_author_name":"Grzegorz ROZENBERG","raw_affiliation_strings":["Department of Computer Science, Leiden University, PO Box 9512, 2300 RA Leiden, The Netherlands","Department of Computer Science, University of Colorado at Boulder, Boulder, CO 80309, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Leiden University, PO Box 9512, 2300 RA Leiden, The Netherlands","institution_ids":["https://openalex.org/I121797337"]},{"raw_affiliation_string":"Department of Computer Science, University of Colorado at Boulder, Boulder, CO 80309, USA","institution_ids":["https://openalex.org/I188538660"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5045244980"],"corresponding_institution_ids":["https://openalex.org/I188538660"],"apc_list":null,"apc_paid":null,"fwci":1.8337,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.84216397,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"79","last_page":"95"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9837999939918518,"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.9837999939918518,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9753999710083008,"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/T12029","display_name":"DNA and Biological Computing","score":0.9470999836921692,"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/rule-based-machine-translation","display_name":"Rule-based machine translation","score":0.7380434274673462},{"id":"https://openalex.org/keywords/tree-adjoining-grammar","display_name":"Tree-adjoining grammar","score":0.5406398773193359},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5272128582000732},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.4909127354621887},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3577154278755188},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.3465868830680847},{"id":"https://openalex.org/keywords/context-free-grammar","display_name":"Context-free grammar","score":0.24673163890838623},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.11247265338897705}],"concepts":[{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.7380434274673462},{"id":"https://openalex.org/C134083981","wikidata":"https://www.wikidata.org/wiki/Q1754022","display_name":"Tree-adjoining grammar","level":4,"score":0.5406398773193359},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5272128582000732},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.4909127354621887},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3577154278755188},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.3465868830680847},{"id":"https://openalex.org/C97212296","wikidata":"https://www.wikidata.org/wiki/Q338047","display_name":"Context-free grammar","level":3,"score":0.24673163890838623},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.11247265338897705}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/9789814447133_0005","is_oa":false,"landing_page_url":"http://doi.org/10.1142/9789814447133_0005","pdf_url":null,"source":{"id":"https://openalex.org/S4306464320","display_name":"WORLD SCIENTIFIC eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"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":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Aspects of Natural and Formal Languages","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.7400000095367432,"display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":2,"referenced_works":["https://openalex.org/W2151892345","https://openalex.org/W2914032487"],"related_works":["https://openalex.org/W59084530","https://openalex.org/W152266133","https://openalex.org/W1601927226","https://openalex.org/W1879113817","https://openalex.org/W3192589309","https://openalex.org/W1517405964","https://openalex.org/W1975076722","https://openalex.org/W2070587391","https://openalex.org/W118991946","https://openalex.org/W1991706120"],"abstract_inverted_index":{"Two":[0],"normal":[1,63],"form":[2],"theorems":[3],"for":[4],"contextual":[5,26,57,78],"grammars":[6,79],"with":[7,80],"regular":[8,81],"choice":[9,82],"are":[10],"given.":[11,84],"The":[12,34],"first":[13,62],"one":[14,36],"concerns":[15,37],"the":[16,31,38,42,50,53,61,71,74],"(dyna\u00ad":[17],"mic)":[18],"use":[19],"of":[20,56,70,73,77],"productions":[21,43],"in":[22,30],"derivations":[23],"when":[24],"a":[25,65],"grammar":[27],"is":[28,83],"executed":[29],"external":[32,51,75],"mode.":[33],"second":[35],"(static)":[39],"relationships":[40],"between":[41],"and":[44,52],"so":[45],"it":[46],"applies":[47],"to":[48],"both":[49],"internal":[54],"execution":[55],"gram\u00ad":[58],"mars.":[59],"Using":[60],"form,":[64],"new":[66],"(more":[67],"elegant)":[68],"proof":[69],"linearity":[72],"languages":[76]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}