|
|
New Versions of Translation Automata
Baláž, Miroslav ; Klobučníková, Dominika (oponent) ; Meduna, Alexandr (vedoucí práce)
This thesis does research on new version of translation automata. It takes closer look at existing pushdown transcuders and regulated grammar. Combining these two concepts together which creates new regulated pushdown transcuder as a new form of translation automata. Examine computational power of regulated grammar and tests its usage combined with transcuder and test usablity of this new defined regulated transcuder in implementation for translating input source code.
|
|
| |
|
|
Syntaktická analýza řízených gramatik
Šrajer, Roman ; Čermák, Martin (oponent) ; Křivka, Zbyněk (vedoucí práce)
Diplomová práce se zabývá řízenými gramatikami, jejich principem a vyjadřovacími schopnostmi vzhledem k Chomského klasi kaci jazyků. Více do detailů je probrána programovaná gramatika z hlediska různých typů nejlevějších derivací. V práci je prezentována varianta deterministické syntaktické analýzy programovaných gramatik, která pracuje podobně jako analýza LL(k) gramatik. Dále jsou představeny algoritmy pro převod maticových gramatik na programované bez změny vyjadřovací síly. Rovněž je prezentován mechanismus syntaktické analýzy regulárně řízených gramatik za pomocí programované gramatiky. Nakonec jsou prezentovány kooperující distribuované gramatiky s levě povolujícími gramatikami jako komponenty. Jejich syntaktická analýza je zajištěna buď deterministicky pomocí prediktivní tabulky nebo prohledáváním stavového prostoru.
|
|
|
Demonstrace vlastností stromových gramatik
Kunštátský, Martin ; Čermák, Martin (oponent) ; Koutný, Jiří (vedoucí práce)
Stromové gramatiky jsou gramatiky řízené prostřednictvím omezení kladených na jejich derivační stromy. Jedná se o jednoduché a přirozené rozšíření bezkontextových gramatik. Existuje několik typů kontroly derivačního stromu, v této práci jsou zmíněny dva principy: horizontální a vertikální kontrola. Součástí této práce je také aplikace pro demonstraci vlastností stromových gramatik, implementovaná v jazyce Python.
|
|
| |
|
|
New Versions of Translation Automata
Baláž, Miroslav ; Klobučníková, Dominika (oponent) ; Meduna, Alexandr (vedoucí práce)
This thesis does research on new version of translation automata. It takes closer look at existing pushdown transcuders and regulated grammar. Combining these two concepts together which creates new regulated pushdown transcuder as a new form of translation automata. Examine computational power of regulated grammar and tests its usage combined with transcuder and test usablity of this new defined regulated transcuder in implementation for translating input source code.
|
|
|
Demonstrace vlastností stromových gramatik
Kunštátský, Martin ; Čermák, Martin (oponent) ; Koutný, Jiří (vedoucí práce)
Stromové gramatiky jsou gramatiky řízené prostřednictvím omezení kladených na jejich derivační stromy. Jedná se o jednoduché a přirozené rozšíření bezkontextových gramatik. Existuje několik typů kontroly derivačního stromu, v této práci jsou zmíněny dva principy: horizontální a vertikální kontrola. Součástí této práce je také aplikace pro demonstraci vlastností stromových gramatik, implementovaná v jazyce Python.
|
|
|
Syntaktická analýza řízených gramatik
Šrajer, Roman ; Čermák, Martin (oponent) ; Křivka, Zbyněk (vedoucí práce)
Diplomová práce se zabývá řízenými gramatikami, jejich principem a vyjadřovacími schopnostmi vzhledem k Chomského klasi kaci jazyků. Více do detailů je probrána programovaná gramatika z hlediska různých typů nejlevějších derivací. V práci je prezentována varianta deterministické syntaktické analýzy programovaných gramatik, která pracuje podobně jako analýza LL(k) gramatik. Dále jsou představeny algoritmy pro převod maticových gramatik na programované bez změny vyjadřovací síly. Rovněž je prezentován mechanismus syntaktické analýzy regulárně řízených gramatik za pomocí programované gramatiky. Nakonec jsou prezentovány kooperující distribuované gramatiky s levě povolujícími gramatikami jako komponenty. Jejich syntaktická analýza je zajištěna buď deterministicky pomocí prediktivní tabulky nebo prohledáváním stavového prostoru.
|
host ::
RSS.