Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
|
Implementation of transducer run over its input. More...
#include <Translate.h>
Static Public Member Functions | |
template<class InputSymbolType , class OutputSymbolType , class PushdownStoreSymbolType , class StateType > | |
static ext::set< string::LinearString< OutputSymbolType > > | translate (const automaton::NPDTA< InputSymbolType, OutputSymbolType, PushdownStoreSymbolType, StateType > &automaton, const string::LinearString< InputSymbolType > &string) |
Implementation of transducer run over its input.
|
static |
Implementation of a run of an automaton that is producing output.
InputSymbolType | type of input symbols of the string and terminal symbols of the runned automaton |
OutputSymbolType | type of output symbols of the runned automaton |
PushdownStoreSymbolType | type of pushdown store symbols of the runned automaton |
StateType | type of states of the runned automaton |
automaton | the runned automaton |
string | the input of the automaton |