ExactNondeterministicSubsequenceAutomaton.h

Go to the documentation of this file.

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