Národní úložiště šedé literatury Nalezeno 4 záznamů.  Hledání trvalo 0.00 vteřin. 
Syntaktická analýza založená na regulovaných automatech
Genčúrová, Ľubica ; Martiško, Jakub (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce se zabývá návrhem, aplikovatelností v praxi a implementací metody syntaktické analýzy založené na zásobníkových automatech, které regulují použití jejich pravidel řídícím lineárním jazykem. Tyto automaty mají větší sílu než běžný zásobníkový automat a jejich síla je rovna Turingovému stroji. Jsou schopné akceptovat rodinu rekurzivně vyčíslitelných jazyků.
Nové verze zásobníkových automatů
Genčúrová, Ľubica ; Kocman, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Táto diplomová práca sa zaoberá verziami viac-zásobníkových automatov založených na hlbokých zásobníkoch. Zavádza novú modifikáciu Vstupom riadený hlboký viac-zásobníkový automat, ktorý pozostáva z dvoch a viac hlbokých zásobníkov a aktuálny vstupný symbol určuje, či automat vykonáva operáciu push, operáciu pop alebo operáciu rozšírenia, poprípade obsah zásobníka nezmení. Druhou zavedenou variantou je Zásobníkový automat regulovaný hlbokým zásobníkom. Okrem bežného zásobníka obsahuje táto verzia aj hlboký zásobník, na ktorom je generovaný riadiaci jazyk. Táto práca dokazuje, že vyjadrovacia sila nových modifikácií automatov sa rovná vyjadrovacej sile Turingových strojov. Práca transformuje teoretické modely navrhnutých automatov na reálnu implementáciu a ponúka knižnicu implementujúcu syntaktickú analýzu založenú na týchto modeloch.
Nové verze zásobníkových automatů
Genčúrová, Ľubica ; Kocman, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Táto diplomová práca sa zaoberá verziami viac-zásobníkových automatov založených na hlbokých zásobníkoch. Zavádza novú modifikáciu Vstupom riadený hlboký viac-zásobníkový automat, ktorý pozostáva z dvoch a viac hlbokých zásobníkov a aktuálny vstupný symbol určuje, či automat vykonáva operáciu push, operáciu pop alebo operáciu rozšírenia, poprípade obsah zásobníka nezmení. Druhou zavedenou variantou je Zásobníkový automat regulovaný hlbokým zásobníkom. Okrem bežného zásobníka obsahuje táto verzia aj hlboký zásobník, na ktorom je generovaný riadiaci jazyk. Táto práca dokazuje, že vyjadrovacia sila nových modifikácií automatov sa rovná vyjadrovacej sile Turingových strojov. Práca transformuje teoretické modely navrhnutých automatov na reálnu implementáciu a ponúka knižnicu implementujúcu syntaktickú analýzu založenú na týchto modeloch.
Syntaktická analýza založená na regulovaných automatech
Genčúrová, Ľubica ; Martiško, Jakub (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce se zabývá návrhem, aplikovatelností v praxi a implementací metody syntaktické analýzy založené na zásobníkových automatech, které regulují použití jejich pravidel řídícím lineárním jazykem. Tyto automaty mají větší sílu než běžný zásobníkový automat a jejich síla je rovna Turingovému stroji. Jsou schopné akceptovat rodinu rekurzivně vyčíslitelných jazyků.

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.