Kombinované levé derivace v maticových gramatikách

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

Jazyk výsledku
angličtina
Název v původním jazyce
Combined Leftmost Derivations in Matrix Grammars
Popis výsledku v původním jazyce
It is an open problem, whether matrix grammars with erasing productions using leftmost derivation of type three generate the whole family of recursively enumerable languages. This paper proves that matrix grammars that apply one matrix using leftmost derivation of type one and all other matrices using leftmost derivation of type three generate the family of recursively enumerable languages.
Název v anglickém jazyce
Combined Leftmost Derivations in Matrix Grammars
Popis výsledku anglicky
It is an open problem, whether matrix grammars with erasing productions using leftmost derivation of type three generate the whole family of recursively enumerable languages. This paper proves that matrix grammars that apply one matrix using leftmost derivation of type one and all other matrices using leftmost derivation of type three generate the family of recursively enumerable languages.

Projekt
<a href="/cs/project/GA201%2F04%2F0441" target="_blank" >GA201/04/0441: Vhodně sloučené modely pro moderní informační technologie</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2004
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 7th International Conference ISIM'04 Information Systems Implementation and Modelling
ISBN
80-85988-99-2
ISSN
—
e-ISSN
—
Počet stran výsledku
6
Strana od-do
127-132
Název nakladatele
NEUVEDEN
Místo vydání
Ostrava
Místo konání akce
Rožnov pod Radhošťem
Datum konání akce
19. 4. 2004
Typ akce podle státní příslušnosti
EUR - Evropská akce
Kód UT WoS článku
—

Podobné výsledky(10)