NondeterministicExactSuffixEpsilonAutomaton.h

Go to the documentation of this file.

 
/*
 * Author: Radovan Cerveny
 */
 
#pragma once
 
#include <automaton/FSM/EpsilonNFA.h>
#include <string/LinearString.h>
 
namespace stringology {
 
namespace indexing {
 
class NondeterministicExactSuffixEpsilonAutomaton {
public:
    template < class SymbolType >
    static automaton::EpsilonNFA < SymbolType, unsigned > construct ( const string::LinearString < SymbolType > & pattern );
 
};
 
template < class SymbolType >
automaton::EpsilonNFA < SymbolType, unsigned > NondeterministicExactSuffixEpsilonAutomaton::construct ( const string::LinearString < SymbolType > & pattern ) {
    automaton::EpsilonNFA < SymbolType, unsigned > nfaSuffixAutomaton ( 0 );
 
    nfaSuffixAutomaton.setInputAlphabet ( pattern.getAlphabet ( ) );
 
    unsigned i = 0;
    for ( const SymbolType & symbol : pattern.getContent ( ) ) {
        nfaSuffixAutomaton.addState ( ++ i );
        nfaSuffixAutomaton.addTransition ( i - 1, symbol, i );
        nfaSuffixAutomaton.addTransition ( 0, i );
    }
 
    nfaSuffixAutomaton.addFinalState ( i );
 
    return nfaSuffixAutomaton;
}
 
} /* namespace indexing */
 
} /* namespace stringology */