Affiliation:
1. Institute of Mathematical Problems of Biology RAS
Abstract
Автомат Ахо - Корасик используется при поиске вхождений слов в текст. В работе предложено отношение эквивалентности $\stackrel{R}{\sim}$ на состояниях автомата Ахо - Корасик и доказана неотличимость $\stackrel{R}{\sim}$-эквивалентных состояний. Также разработан алгоритм построения $\stackrel{R}{\sim}$-минимального автомата, состояния которого - классы $\stackrel{R}{\sim}$-эквивалентности. Емкостная и временная сложности алгоритма линейны по числу состояний изначального автомата Ахо - Корасик. Рассмотрены случаи, при которых отношения $\stackrel{R}{\sim}$-эквивалентности и неотличимости состояний тождественны и, соответственно, предложенный автомат является приведенным.
Funder
Russian Foundation for Basic Research
Publisher
Steklov Mathematical Institute
Subject
General Earth and Planetary Sciences,General Environmental Science
Reference11 articles.
1. Importance of Aho - Corasick string matching algorithm in real world applications;Hasib S., Motwani M., Saxena A.;Int. J. Comput. Sci. Inf. Technol.,2013
2. Efficient string matching
3. Minimized compact automaton for clumps over degenerate patterns;Furletova E., Holub J., Regnier M.,2019
4. AN n log n ALGORITHM FOR MINIMIZING STATES IN A FINITE AUTOMATON
5. Building the Minimal Automaton of A * X in Linear Time, When X Is of Bounded Cardinality