Dual grammars
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F03%3APU42545" target="_blank" >RIV/00216305:26230/03:PU42545 - 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
Dual grammars
Popis výsledku v původním jazyce
This project introduces a new type of grammars, called dual grammars. It investigates the properties of these grammars, concentrating on their generative power. This project shows some non context-free languages, which can be generated by dual grammars.This work proves that the dual grammars characterize the family of recursively enumerable languages. In addition, at the end of this paper, it shows some examples, which demonstrates how to use dual grammars.
Název v anglickém jazyce
Dual grammars
Popis výsledku anglicky
This project introduces a new type of grammars, called dual grammars. It investigates the properties of these grammars, concentrating on their generative power. This project shows some non context-free languages, which can be generated by dual grammars.This work proves that the dual grammars characterize the family of recursively enumerable languages. In addition, at the end of this paper, it shows some examples, which demonstrates how to use dual grammars.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2003
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 statě ve sborníku
Proceedings of 6th International Conference ISIM'03 Information Systems Implementation and Modeling
ISBN
80-85988-84-4
ISSN
—
e-ISSN
—
Počet stran výsledku
8
Strana od-do
201-208
Název nakladatele
NEUVEDEN
Místo vydání
Ostrava
Místo konání akce
Brno
Datum konání akce
28. 4. 2003
Typ akce podle státní příslušnosti
EUR - Evropská akce
Kód UT WoS článku
—