Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
Static Public Member Functions
automaton::run::Translate Class Reference

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)
 

Detailed Description

Implementation of transducer run over its input.

Member Function Documentation

◆ translate()

template<class InputSymbolType , class OutputSymbolType , class PushdownStoreSymbolType , class StateType >
ext::set< string::LinearString< OutputSymbolType > > automaton::run::Translate::translate ( const automaton::NPDTA< InputSymbolType, OutputSymbolType, PushdownStoreSymbolType, StateType > &  automaton,
const string::LinearString< InputSymbolType > &  string 
)
static

Implementation of a run of an automaton that is producing output.

Template Parameters
InputSymbolTypetype of input symbols of the string and terminal symbols of the runned automaton
OutputSymbolTypetype of output symbols of the runned automaton
PushdownStoreSymbolTypetype of pushdown store symbols of the runned automaton
StateTypetype of states of the runned automaton
Parameters
automatonthe runned automaton
stringthe input of the automaton
Returns
set of strings representing the translations
Here is the call graph for this function:

The documentation for this class was generated from the following file: