|
| |
|
|
Demonstrace skákajících automatů
Růžička, Ladislav ; Kocman, Radim (oponent) ; Křivka, Zbyněk (vedoucí práce)
Tato práce se zabývá demonstrací nově zkoumaného výpočetního modelu pro popis formálních jazyků, a to skákajícího automatu. Místo souvislého čtení vstupního řetězce, jak je tomu u konvenčních konečných automatů, tak u skákajícího automatu je proveden skok přes nějaké symboly, a poté je přečten symbol. V této práci se zejména budeme zabývat hledáním praktického algoritmu pro určení problému členství vstupního řetězce do jazyka popsaného skákajícím automatem. Ukážeme, že problém členství může být redukován na problém hledání nějakého nezáporného celočíselného řešení pro formuli v Presburgové aritmetice bez kvantifikátorů. Z této formule jsme schopni jednoznačně definovat jazyk přijímaný skákajícím automatem. Najdeme podmnožinu takových skákajících automatů, pro které lze vyřešit problém členství v polynomiálním čase. Zmíníme se také, že předchozí formule lze převést na konečný automat s více čtecími hlavami. Bohužel pro problém členství obecného skákajícího automatu hledání nezáporné číselného řešení je nedostačující, nicméně metoda může zmenšit prohledávaný stavový prostor. Uvedeme další možné heuristiky, které výrazně urychlují výpočet problému členství pro obecné skákající automaty.
|
|
|
Řešitel hry griddlers
Balcárek, Lukáš ; Čermák, Martin (oponent) ; Goldefus, Filip (vedoucí práce)
Hlavním motivem této práce je logická hra Griddlers, na které jsou ukázány různé postupy pro hledání správného řešení. Pro nalezení řešení daného zadání se používají neinformované a informované algortimy, které jsou přizpůsobeny pro tuto logickou hru. Součástí této práce je vytvořená konzolová aplikace (demonstrující hledání výsledků ze zadaných metadat), na které je možné testovat různá zadání a pozorovat měnící se výpočetní nároky. Vytvořená aplikace má za cíl jednoduchým způsobem ukázat propojení umělé inteligence, algoritmizace a zpracování dat ve zvolené hře Griddlers.
|
|
| |
|
|
Demonstrace skákajících automatů
Růžička, Ladislav ; Kocman, Radim (oponent) ; Křivka, Zbyněk (vedoucí práce)
Tato práce se zabývá demonstrací nově zkoumaného výpočetního modelu pro popis formálních jazyků, a to skákajícího automatu. Místo souvislého čtení vstupního řetězce, jak je tomu u konvenčních konečných automatů, tak u skákajícího automatu je proveden skok přes nějaké symboly, a poté je přečten symbol. V této práci se zejména budeme zabývat hledáním praktického algoritmu pro určení problému členství vstupního řetězce do jazyka popsaného skákajícím automatem. Ukážeme, že problém členství může být redukován na problém hledání nějakého nezáporného celočíselného řešení pro formuli v Presburgové aritmetice bez kvantifikátorů. Z této formule jsme schopni jednoznačně definovat jazyk přijímaný skákajícím automatem. Najdeme podmnožinu takových skákajících automatů, pro které lze vyřešit problém členství v polynomiálním čase. Zmíníme se také, že předchozí formule lze převést na konečný automat s více čtecími hlavami. Bohužel pro problém členství obecného skákajícího automatu hledání nezáporné číselného řešení je nedostačující, nicméně metoda může zmenšit prohledávaný stavový prostor. Uvedeme další možné heuristiky, které výrazně urychlují výpočet problému členství pro obecné skákající automaty.
|
|
|
Řešitel hry griddlers
Balcárek, Lukáš ; Čermák, Martin (oponent) ; Goldefus, Filip (vedoucí práce)
Hlavním motivem této práce je logická hra Griddlers, na které jsou ukázány různé postupy pro hledání správného řešení. Pro nalezení řešení daného zadání se používají neinformované a informované algortimy, které jsou přizpůsobeny pro tuto logickou hru. Součástí této práce je vytvořená konzolová aplikace (demonstrující hledání výsledků ze zadaných metadat), na které je možné testovat různá zadání a pozorovat měnící se výpočetní nároky. Vytvořená aplikace má za cíl jednoduchým způsobem ukázat propojení umělé inteligence, algoritmizace a zpracování dat ve zvolené hře Griddlers.
|
host ::
RSS.