Scattered Context Grammars Generating Sentences Followed by Derivation Trees
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F11%3APU96194" target="_blank" >RIV/00216305:26230/11:PU96194 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Scattered Context Grammars Generating Sentences Followed by Derivation Trees
Popis výsledku v původním jazyce
Propagating scattered context grammars are used to generate sentences of languages defined by scatterd context grammars followed by the strings corresponding to the derivation trees. It is proved that for every language defined by a scattered context grammar, there exists a propagating scattered context grammar whose language consists of original language sentences followed by strings representing their derivation trees.
Název v anglickém jazyce
Scattered Context Grammars Generating Sentences Followed by Derivation Trees
Popis výsledku anglicky
Propagating scattered context grammars are used to generate sentences of languages defined by scatterd context grammars followed by the strings corresponding to the derivation trees. It is proved that for every language defined by a scattered context grammar, there exists a propagating scattered context grammar whose language consists of original language sentences followed by strings representing their derivation trees.
Klasifikace
Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2011
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ů
Údaje specifické pro druh výsledku
Název periodika
Theoretical and Applied Informatics
ISSN
1896-5334
e-ISSN
—
Svazek periodika
2011
Číslo periodika v rámci svazku
2
Stát vydavatele periodika
PL - Polská republika
Počet stran výsledku
10
Strana od-do
97-106
Kód UT WoS článku
—
EID výsledku v databázi Scopus
—