Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
|
#include <OneTapeDTM.h>
Static Public Member Functions | |
static bool | used (const automaton::OneTapeDTM< SymbolType, StateType > &, const SymbolType &) |
static bool | available (const automaton::OneTapeDTM< SymbolType, StateType > &automaton, const SymbolType &symbol) |
static void | valid (const automaton::OneTapeDTM< SymbolType, StateType > &automaton, const SymbolType &symbol) |
Helper class specifying constraints for the automaton's internal input alphabet component.
SymbolType | used for the terminal alphabet of the automaton. |
StateType | used for the terminal alphabet of the automaton. |
|
inlinestatic |
Determines whether the input symbol is available in the automaton's tape alphabet.
automaton | the tested automaton |
symbol | the tested symbol |
|
inlinestatic |
Returns false. Input symbol is only a mark that the automaton itself does require further.
automaton | the tested automaton |
symbol | the tested symbol |
|
inlinestatic |
Input symbol can't be the same as blank symbol.
automaton | the tested automaton |
symbol | the tested symbol |