It is shown that every conjunctive language is generated by a conjunctive grammar of a special form, in which every nonterminal A has at most one rule of the general form A ? a1&an, while the rest of the rules for A must be of the type A ? w, where w is a terminal string. For context-free grammars, a similar property does not hold (S. A. Greibach, W. Shi, S. Simonson, "Single tree grammars", 1992).

Original languageEnglish
Title of host publicationSOFSEM 2009
Subtitle of host publicationTheory and Practice of Computer Science - 35th Conference on Current Trends in Theory and Practice of Computer Science, Proceedings
Pages425-436
Number of pages12
DOIs
StatePublished - 2009
Externally publishedYes
Event35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009 - Spindleruv Mlyn, Czech Republic
Duration: 24 Jan 200930 Jan 2009

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5404 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009
Country/TerritoryCzech Republic
CitySpindleruv Mlyn
Period24/01/0930/01/09

    Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

ID: 78935730