Minimality problems for promise versions of finite automata – Bc. Michal Ajdarów
Bc. Michal Ajdarów
Bachelor's thesis
Minimality problems for promise versions of finite automata
Minimality problems for promise versions of finite automata
Anotácia:
Tato práce se zabývá několika problémy týkající se minimality promise verze deterministického konečného automatu (pvDFA) vzhledem ke dvěma různým módům akceptování. Dokážeme jednoznačnost minimálního pvDFA pracujícího v rozhodujícím módu, a navrhneme nový algoritmus pro jeho minimalizaci. Poté ukážeme, že minimální pvDFA řešící daný promise problém není určen jednoznačně. Popíšeme algoritmy na zjištění …viacAbstract:
In this paper we explore several minimality problems concerning promise version deterministic finite automata (pvDFA) with respect to two different modes of acceptance. In particular, we prove that the minimal pvDFA recognizing a promise problem is determined uniquely, and design a new algorithm for finding this minimal pvDFA. We then show that a minimal pvDFA solving a promise problem is not determined …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 23. 5. 2016
Identifikátor:
https://is.muni.cz/th/darfo/
Obhajoba závěrečné práce
- Obhajoba proběhla 20. 6. 2016
- Vedúci: prof. RNDr. Jozef Gruska, DrSc.
- Oponent: RNDr. Matej Pivoluska, Ph.D.
Citační záznam
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsBachelor programme / odbor:
Informatics / Mathematical Informatics
Práce na příbuzné téma
-
On the solvability of some non-local boundary value problems for functional differential equations
Vita Pylypenko -
Efficient solvability of graph MSO properties
Jakub Gajarský -
Kvalitativní studium úloh pro eliptické (příp. i parabolické) rovnice s daty obsahujícími míru a/nebo šum - řešitelnost, bifurkace, aproximace řešení
Vladimír ŠVÍGLER