Complementation of Nondeterministic Finite Automata Without Determinization – Bc. Adéla Štěpková
Bc. Adéla Štěpková
Bachelor's thesis
Complementation of Nondeterministic Finite Automata Without Determinization
Complementation of Nondeterministic Finite Automata Without Determinization
Abstract:
Tato práce navrhuje nový komplementační algoritmus pro nedeterministické konečné automaty. Snažíme se vyhnout jejich úplné determinizaci, která může způsobit exponenciální nárůst velikosti. Definujeme podtřídu nedeterministických konečných automatů, jejíž vlastnosti umožňují vytvářet menší komplementy, a představujeme dvě komplementační metody pro tuto třídu. Práce obsahuje implementaci navržených …moreAbstract:
This thesis proposes a new complementation algorithm for nondeterministic finite automata. We aim to avoid their full determinization, which can lead to an exponential increase in size. We define a subclass of nondeterministic finite automata with properties that enable us to produce smaller complements and present two complementation methods for this subclass. The thesis includes the implementation …more
Language used: English
Date on which the thesis was submitted / produced: 18. 5. 2023
Identifier:
https://is.muni.cz/th/x5f4d/
Thesis defence
- Date of defence: 27. 6. 2023
- Supervisor: prof. RNDr. Jan Strejček, Ph.D.
- Reader: doc. Mgr. Lukáš Holík, 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 / Informatics
Theses on a related topic
- No theses on a related topic available.