Redukce generátorů vět předcházených jejich nejlevějšími rozbory

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F07%3APU70815" target="_blank" >RIV/00216305:26230/07:PU70815 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Reduction of Scattered Context Generators of Sentences Preceded by Their Leftmost Parses
Popis výsledku v původním jazyce
This paper uses scattered context grammars to derive their sentences preceded by corresponding parses--the sequences of labels of productions used during the derivation. It discusses their canonical versions, which make this derivation in a leftmost way,and demonstrates that for every recursively enumerable language, L, there exists a scattered context generator whose language consists of L's sentences preceded by their leftmost parses. In fact, this demonstration is achieved based on generators with areduced number of nonterminals.<br>
Název v anglickém jazyce
Reduction of Scattered Context Generators of Sentences Preceded by Their Leftmost Parses
Popis výsledku anglicky
This paper uses scattered context grammars to derive their sentences preceded by corresponding parses--the sequences of labels of productions used during the derivation. It discusses their canonical versions, which make this derivation in a leftmost way,and demonstrates that for every recursively enumerable language, L, there exists a scattered context generator whose language consists of L's sentences preceded by their leftmost parses. In fact, this demonstration is achieved based on generators with areduced number of nonterminals.<br>

Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění
2007
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku
Proceedings of 9th International Workshop on Descriptional Complexity of Formal Systems
ISBN
978-80-7097-688-3
ISSN
—
e-ISSN
—
Počet stran výsledku
8
Strana od-do
178-185
Název nakladatele
University of Pavol Jozef Šafárik
Místo vydání
High Tatras
Místo konání akce
High Tatras
Datum konání akce
20. 7. 2007
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—

Podobné výsledky(10)