Implementace vyhledávání v řetězcích pomocí kompaktního suffixového automatu

Abstract

Práce se zabývá problémem rozhodnout, jestli pro zadaná slova w a u platí, že u je podslovem w a případně vrátit množinu pozic, kde se u nachází. Konkrétně se zabývá přímou konstrukcí kompaktního suffixového automatu, který dokáže problém rozhodnout s lineární časovou i paměťovou složitostí vzhledem k délce slova w. Výsledkem je implementace algoritmu pro konstrukci automatu v jazyce C++ do Algoritmové knihovny ALIB.

The thesis is concerned with the problem of deciding, whether it is true, given input words w and u, that u is a substring of w, and eventually outputting a set of positions where u is found in w. Specifically, the content of this thesis deals with a direct construction of the compact suffix automaton, which can decide the problem in linear time and space in relation to the length of the word w. The result is an implementation in C++ of an algorithm for constructing the automaton as a part the Algorithms Library ALIB.