2009
A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions
MASOPUST, TomášZákladní údaje
Originální název
A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions
Název česky
O generativní síle několika jednoduchých variant bezkontextových gramatik s kontextovými podmínkami
Autoři
Vydání
Tarragona, Spain, LATA 2009, Lecture Notes in Computer Science 5457, od s. 554-565, 2009
Další údaje
Typ výsledku
Stať ve sborníku
Utajení
není předmětem státního či obchodního tajemství
Odkazy
Impakt faktor
Impact factor: 0.402 v roce 2005
Označené pro přenos do RIV
Ne
Organizační jednotka
Fakulta informatiky
ISSN
UT WoS
Klíčová slova anglicky
Formal languages; context condition; context-free grammar; random context grammar; semi-conditional grammar; simple semi-conditional grammar; erasing production; generative power.
Štítky
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 29. 6. 2009 15:37, doc. RNDr. Tomáš Masopust, Ph.D., DSc.
V originále
This paper answers three open questions concerning the generative power of some simple variants of context-free grammars regulated by context conditions. Specifically, it discusses the generative power of so-called context-free semi-conditional grammars (which are random context grammars where permitting and forbidding sets are replaced with permitting and forbidding strings) where permitting and forbidding strings of each production are of length no more than one, and of simple semi-conditional grammars where, in addition, no production has attached both a permitting and a forbidding string. Finally, this paper also presents some normal form results, an overview of known results, and unsolved problems.
Česky
V článku jsou zodpovězeny tři otevřené problémy týkající se generativní síly několika variant bezkontextových gramatik regulovaných kontextovými podmínkami. Zejména je diskutována generativní sila tzv. bezkontextových polopodmínkových gramatik (jenž jsou random context gramatiky, kde povolující a zakazující množiny jsou nahrazeny povolujícími a zakazujícími řetězci), kde povolující a zakazující řetězce každého pravidla jsou délky nejvýše jedna, a jednoduchých polopodmínkových gramatik, kde navíc žádné pravidlo nemá přiřazen jak povolující, tak i zakazující řetězec. Konečně, článek také prezentuje několik normálních forem, přehled známých výsledků a otevřených problémů.