Original title:
Konstrukce zobecněného konečného automatu
Translated title:
Construction of the Generalized Finite Automaton
Authors:
Šoka, Martin ; Košař, Vlastimil (referee) ; Kaštil, Jan (advisor) Document type: Bachelor's theses
Year:
2012
Language:
cze Publisher:
Vysoké učení technické v Brně. Fakulta informačních technologií Abstract:
[cze][eng]
Práce se zabývá vytvořením algoritmu pro konstrukci deterministického zobecněného konečného automatu. Tento automat se od obyčejného deterministického automatu liší tím, že jeho přechody jsou definovány slovy, na základě čeho je možné zredukovat počet stavů obyčejného deterministického automatu. V úvodě jsou vysvětleny základní pojmy, které jsou dále v práci používány. Dále práce popisuje algoritmus samotný, včetně podrobného popisu heuristiky k vyhledání maximálního acyklického podgrafu v grafu atomatu. Popsána je implementace algoritmu a experimentování s algoritmem vytvořenými automaty.
The thesis deals with the creation of an algorithm for the construction of the generalized finite automaton. This automaton differs from the conventional finite automaton by the fact that its transitions are defined by words, therefore it is possible to reduce the number of states of the generalized finite automaton. The introduction includes definitions of terms used later in the thesis. In the next chapters I describe the algorithm itself, including the comprehensive analysis of the heuristics for finding a maximal acyclic subgraph in the graph of the automaton. It also describes implementation of the algorithm and experimentation with automatons created by the algorithm.
Keywords:
finite automaton; generalized finite automaton; NP-complete problem; pattern match; regular expression; konečný automat; NP-úplný problém; regulární výraz; vyhledávaní vzorů; zobecnění konečný automat
Institution: Brno University of Technology
(web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library. Original record: http://hdl.handle.net/11012/55142