Zpět na vyhledávání

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 …more
Abstract:
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
 

Keywords

finite automata NFA complementation partition AliGater
 
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

Cite this text

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 informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Bachelor programme / field:
Informatics / Informatics

Theses on a related topic

List of theses with an identical keyword.
  • No theses on a related topic available.