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
Abstract:
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í …moreAbstract:
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 …more
Language used: English
Date on which the thesis was submitted / produced: 23. 5. 2016
Identifier:
https://is.muni.cz/th/darfo/
Thesis defence
- Date of defence: 20. 6. 2016
- Supervisor: prof. RNDr. Jozef Gruska, DrSc.
- Reader: RNDr. Matej Pivoluska, Ph.D.
Citation record
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsBachelor programme / field:
Informatics / Mathematical Informatics
Theses on a related topic
-
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