An Improvement of the Descriptional Complexity of Grammars Regulated by Context Conditions
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F06%3APU67018" target="_blank" >RIV/00216305:26230/06:PU67018 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
An Improvement of the Descriptional Complexity of Grammars Regulated by Context Conditions
Original language description
This paper improves some well-known results concerning the descriptional complexity of grammars regulated by context conditions. Specifically, it proves that every recursively enumerable language is generated by a generalized forbidding grammar of degreetwo with no more than eight conditional productions and ten nonterminals, or by a simple semi-conditional grammar of degree (2,1) with no more than nine conditional productions and ten nonterminals.
Czech name
Vylepšení popisné složitosti gramatik regulovaných kontextovými podmínkami
Czech description
V článeku jsou vylepšeny dva výsledky týkající se popisné složitosti gramatik regulovaných kontextovými podmínkami. Konkrétněji, je ukázáno, že každý rekurzívně spočetný jazyk je generován zobecněnou zakazující gramatikou stupně dva s nejvýše osmi podmínkovými pravidly a deseti neterminály, nebo prostou polopodmínkovou gramatikou stupně (2,1) s nejvýše devíti podmínkovými pravidly a deseti neterminály.
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GD102%2F05%2FH050" target="_blank" >GD102/05/H050: Integrated Approach to Education of PhD Students in the Area of Parallel and Distributed Systems</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2006
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006)
ISBN
80-214-3287-X
ISSN
—
e-ISSN
—
Number of pages
8
Pages from-to
105-112
Publisher name
NEUVEDEN
Place of publication
Mikulov
Event location
Mikulov
Event date
Oct 27, 2006
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—