|
|
Modifikované zásobníkové automaty
Hromádka, David ; Solár, Peter (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce zavádí omezené Hromádkovy automaty jako rozšíření zásobníkových automatů. Toto rozšíření spočívá v~tom, že automat může za běhu vytvářet nové zásobníky, vkládat do nich symboly vstupní abecedy, spojovat je a porovnávat se vstupním řetězcem. Počet takto vytvořených zásobníků je omezen zvolenou konstantou n . Dále tato práce popisuje implementaci aplikace, která činnost těchto automatů realizuje a hledá posloupnost derivačních kroků, kterými určitý omezený Hromádkův automat přijme zadaný vstupní řetězec.
|
|
|
Systémy kombinující automaty a gramatiky
Petřík, Patrik ; Křivka, Zbyněk (oponent) ; Meduna, Alexandr (vedoucí práce)
V této práci jsou definovány a studovány systémy kombinující gramatiky a automaty. Jsou zkoumány jejich vlastnosti s ohledem na již známé gramatické či automatové systémy a to především pro komponenty síly regulárních jazyků a komponenty síly bezkontextových jazyků. V rámci práce je vytvořen i skript simulující jeden ze studovaných systémů po praktické stránce.
|
|
|
Prostředí pro podporu modelů formálních jazyků
Juda, Jan ; Kocman, Radim (oponent) ; Křivka, Zbyněk (vedoucí práce)
Cílem této práce je vytvořit podpůrné prostředí pro spouštění algoritmů a výpočet typických problémů na pokročilých modelech formálních jazyků. Toto prostředí je realizováno jako modulární aplikace s využitím OSGi rámce, u které autor dbá na snadnou integraci nových uživatelem definovaných modelů formálních jazyků a algoritmů pro tyto modely, a to bez nutnosti úprav či opětovného překladu ostatních částí prostředí včetně jeho jádra. Pro demonstrování svých možností podpůrné prostředí obsahuje implementaci konečného automatu, bezkontextové gramatiky, n-zásobníkového m-páskového automatu, obecného skákajícího konečného automatu, Watson-Crickova konečného automatu, problému členství a algoritmů obecně schopných řešit problém členství na automatech a gramatikách.
|
|
|
Dependability Assessment Based on SMC
Gajdošík, Róbert ; Lojda, Jakub (oponent) ; Strnadel, Josef (vedoucí práce)
The aim of this thesis is assessing dependability of computerized systems using modelling and simulation. After establishing basic nomenclature, research was performed on de- pendability metrics, fault taxonomy and dependability bolstering techniques. Afterwards, analytical solutions were explored to be used as a reference point. Next, multiple simulation tools were assessed and Uppaal SMC was chosen as the most suitable tool because of it’s timed automaton framework enriched with a query language and multiple Simulation Model Checking tools. Finally, systems describing multiple relevant situations were implemented and evaluated against both themselves and the analytically computed reference point.
|
|
|
Částečně paralelní hluboké zásobníkové převodníky a jejich aplikace
Putala, Marek ; Dolejška, Daniel (oponent) ; Meduna, Alexandr (vedoucí práce)
Cílem této práce bylo seznámit se s hlubokými zásobníkovými automaty a na základě získaných znalostí dále navrhnout, formálně definovat a implementovat částečně paralelní hluboký zásobníkový převodník. Jedná se o rozšíření hlubokých zásobníkových převodníků, které je na zásobníku schopné v jednom kroku přistupovat k non-terminálním symbolům současně. S vhodně zvolenou konfigurací ve formě pravidel mohou zpracovat vstupní řetězec s menším množstvím přechodů, a tím pádem mají oproti hlubokým zásobníkovým převodníkům vyšší rychlost.
|
|
|
Nástroje pro experimenty s gramatikami a jazyky
Krejsa, Jiří ; Bednárek, David (vedoucí práce) ; Král, Jaroslav (oponent)
Hlavním cílem diplomové práce je návrh a implementace prostředí, které poskytne prostředky pro práci s gramatikami a jazyky. Prostředí je realizováno knihovnou, se kterou uživatel pracuje pomocí API. Knihovna umožňuje manipulovat s jazyky v podobě gramatiky nebo automatu, převádět jazyk mezi jeho různými reprezentacemi a testovat zda je gramatika regulární, lineární nebo LR(k) pro zvolené k. V případě porušení podmínek testované vlastnosti je nalezen protipříklad. Důraz je kladen na další rozšiřitelnost knihovny. Součástí práce je ukázková implementace využití knihovny. Knihovna i ukázka je napsána v jazyce C++.
|
|
|
Univerzální diskrétní simulátor
Vytasil, Jiří ; Pergel, Martin (vedoucí práce) ; Jančík, Pavel (oponent)
V této práce je rozebrán návrh a implementace programu umožňujícího provádět diskrétní simulace. Dále je v programu implementována vizualizace průběhu diskrétní simulace. Důraz je kladen především na univerzalitu. Kromě programu a jeho popisu jsou zde informace o diskrétní simulaci, které umožní jednodušší pochopení činnosti programu. Pro popis diskrétní simulace používáme konečné automaty a regulární gramatiky. Zmíněné části zde více popisujeme, abychom jednodušeji pochopili popis diskrétní simulace. Systém dále umožňuje úpravu vstupních souborů pro jednodušší práci programu.
|
|
|
Univerzální diskrétní simulátor
Vytasil, Jiří ; Pergel, Martin (vedoucí práce) ; Holan, Tomáš (oponent)
V této práci je rozebrán návrh a implementace programu umožňujícího provádět diskrétní simulace. Dále je v programu implementována vizualizace průběhu diskrétní simulace. Důraz je kladen především na univerzalitu. Kromě programu a jeho popisu jsou zde informace o diskrétní simulaci, které umožní jednodušší pochopení činnosti programu. Pro popis diskrétní simulace používáme konečné automaty a regulární gramatiky. Zmíněné části zde více popisujeme, abychom jednodušeji pochopili popis diskrétní simulace. Systém dále umožňuje úpravu vstupních souborů pro jednodušší práci programu. Powered by TCPDF (www.tcpdf.org)
|
|
|
Regulovaný syntaxí řízený překlad
Dvořák, Tomáš ; Kocman, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce se zabývá formálním pohledem na regulovaný syntaxí řízený překlad. První část obsahuje formální základy teorie jazyků, jejich klasifikaci a analýzu. Jsou uvedeny příklady gramatik generující jazyky, které nejsou bezkontextové, především maticové gramatiky, gramatiky s nahodilým kontextem a programované gramatika. Jsou uvedeny konečné, zásobníkové, hluboké a regulované automaty. Formálně vymezuje převodníky a jejich roli v rámci formálního a syntaxí řízeného překladu. Zavádí regulované převodníky založené na regulovaných automatech. Jádrem práce je návrh algoritmů regulované syntaktické analýzy jako rozšíření tradičních algoritmů prediktivní syntaktické analýzy. Tyto algoritmy jsou navrženy pro všechny uvedené speciální typy gramatik. Závěr práce je věnován návrhu jazyka jako prostředku pro popis těchto gramatik a překladače těchto gramatik na kód syntaktického analyzátoru a jejich grafického analyzátoru.
|
|
| |
host ::
RSS.