Complementation of Nondeterministic Finite Automata Without Determinization – Bc. Adéla Štěpková
Bc. Adéla Štěpková
Bakalářská práce
Complementation of Nondeterministic Finite Automata Without Determinization
Complementation of Nondeterministic Finite Automata Without Determinization
Anotace:
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 …víceAbstract:
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 …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 18. 5. 2023
Identifikátor:
https://is.muni.cz/th/x5f4d/
Obhajoba závěrečné práce
- Obhajoba proběhla 27. 6. 2023
- Vedoucí: prof. RNDr. Jan Strejček, Ph.D.
- Oponent: doc. Mgr. Lukáš Holík, 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 informatikyMasarykova univerzita
Fakulta informatikyBakalářský studijní program / obor:
Informatika / Informatika
Práce na příbuzné téma
- Žádné práce na příbuzné téma.