Implementation of automata-based algorithms for searching enhanced covers

Táto práca sa zaoberá popisom automatových algoritmov na hľadanie približných rozšírených pokrytí a uvoľnených približných rozšírených pokrytí a ich implementáciou do knižnice algoritmov ALT. Maximálny počet chýb, ktorým je vyjadrená približnosť, je počítaný Hammingovou vzdialenosťou. Základom algoritmov je deterministický sufixový konečný automat, ktorý vzniká z nedeterministického sufixového konečného automatu podmnožinovou metódou.The aim of this thesis is a description of automata algorithms for computing approximate enhanced covers and relaxed approximate enhanced covers and implementation of these algorithms to Algorithms Library Toolkit (ALT). Maximum number of errors, which is used as a metric of approximation, is computed under Hamming distance. The main idea behind these algorithms is deterministic suffix finite automaton constructed from nondeterministic suffix finite automaton by subset construction