Deterministic real time height deterministic pushdown automaton. Accepts subset of context free languages. More...
#include <RealTimeHeightDeterministicDPDA.h>
Inheritance diagram for automaton::RealTimeHeightDeterministicDPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >:
Collaboration diagram for automaton::RealTimeHeightDeterministicDPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >:
Public Types | |
| typedef InputSymbolTypeT | InputSymbolType |
| typedef PushdownStoreSymbolTypeT | PushdownStoreSymbolType |
| typedef StateTypeT | StateType |
| using | StateType_t = StateType |
| using | PushdownStoreSymbolType_t = PushdownStoreSymbolType |
Public Member Functions inherited from Friends | |
| ext::ostream & | operator<< (ext::ostream &out, const RealTimeHeightDeterministicDPDA &instance) |
Detailed Description
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
class automaton::RealTimeHeightDeterministicDPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >
class automaton::RealTimeHeightDeterministicDPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >
Deterministic real time height deterministic pushdown automaton. Accepts subset of context free languages.
Definition A = (Q, T, G, I, Z, \delta, F), Q (States) = nonempty finite set of states, T (TerminalAlphabet) = finite set of terminal symbols G (PushdownStoreAlphabet) = finite set of pushdown store symbol - having this empty makes the automaton equivalent to DFA I (InitialState) = initial state, Z (BottomOfTheStackSymbol) = initial pushdown store symbol \delta is split to three disjoint parts
- \delta_{call} of the form A \times a -> B \times g, where A, B \in Q, a \in T \cup { \eps }, and g \in G
- \delta_{return} of the form A \times a \times g -> B, where A, B \in Q, a \in T \cup { \eps }, and g \in G
- \delta_{local} of the form A \times a -> B, where A, B \in Q, a \in T \cup { \eps } F (FinalStates) = set of final states
The transition functions must meet following criteria. Othervise adding conflicting transition will cause exception. $|\delta_{call} (q, a)| \leq 1$, $\forall q \in Q, a \in T \cup { \eps }$ $|\delta_{return} (q, a, g)| \leq 1$, $\forall q \in Q, a \in T \cup { \eps }, g \in G$ $|\delta_{local} (q, a)| \leq 1$, $\forall q \in Q, a \in T \cup { \eps }$
if $|\delta_{call} (q, \eps)|$ == 1 then $|\delta_{return} (q, a, g)|$ == 0, $|\delta_{local} (q, a)|$ == 0, \forall q \in Q, a \in T \cup { \eps }, and g \in G if $|\delta_{return} (q, \eps, g)|$ == 1 then $|\delta_{call} (q, a)|$ == 0, $|\delta_{return} (q, b, g)|$ == 0, $|\delta_{local} (q, \eps)|$ == 0, \forall q \in Q, a \in T \cup { \eps }, b \in T, and g \in G if $|\delta_{local} (q, \eps)|$ == 1 then $|\delta_{call} (q, a)|$ == 0, $|\delta_{return} (q, a, g)|$ == 0, \forall q \in Q, a \in T \cup { \eps }, and g \in G
if $|\delta_{call} (q, a)|$ == 1 then $|\delta_{call} (q, \eps)|$ == 0, $|\delta_{return} (q, a, g)|$ == 0, $|\delta_{return} (q, \eps, g)|$ == 0, $|\delta_{local} (q, a)|$ == 0, $|\delta_{local} (q, \eps)|$ == 0, \forall q \in Q, a \in T, and g \in G if $|\delta_{return} (q, a, g)|$ == 1 then $|\delta_{call} (q, a)|$ == 0, $|\delta_{call} (q, \eps)|$ == 0, $|\delta_{return} (q, \eps, g)|$ == 0, $|\delta_{local} (q, a)|$ == 0, $|\delta_{local} (q, \eps)|$ == 0, \forall q \in Q, a \in T, and g \in G if $|\delta_{local} (q, a)|$ == 1 then $|\delta_{call} (q, a)|$ == 0, $|\delta_{call} (q, \eps)|$ == 0, $|\delta_{return} (q, a, g)|$ == 0, $|\delta_{return} (q, \eps, g)|$ == 0, $|\delta_{local} (q, \eps)|$ == 0, \forall q \in Q, a \in T, and g \in G
- Template Parameters
-
InputSymbolTypeT used for the terminal alphabet PushdownSymbolTypeT used for the pushdown store alphabet StateTypeT used to the states, and the initial state of the automaton.
Member Typedef Documentation
◆ InputSymbolType
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
| typedef InputSymbolTypeT automaton::RealTimeHeightDeterministicDPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::InputSymbolType |
◆ PushdownStoreSymbolType
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
| typedef PushdownStoreSymbolTypeT automaton::RealTimeHeightDeterministicDPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::PushdownStoreSymbolType |
◆ PushdownStoreSymbolType_t
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
| using automaton::RealTimeHeightDeterministicDPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::PushdownStoreSymbolType_t = PushdownStoreSymbolType |
PushdownStoreSymbolType template param
◆ StateType
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
| typedef StateTypeT automaton::RealTimeHeightDeterministicDPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::StateType |
◆ StateType_t
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
| using automaton::RealTimeHeightDeterministicDPDA< InputSymbolTypeT, PushdownStoreSymbolTypeT, StateTypeT >::StateType_t = StateType |
StateType template param
Constructor & Destructor Documentation
◆ RealTimeHeightDeterministicDPDA() [1/2]
|
explicit |
Creates a new instance of the automaton with a concrete set of states, call, return, and local alphabets, pushdown store alphabet, initial state, bottom of the stack symbol, and a set of final states.
- Parameters
-
states the initial set of states of the automaton callAlphabet the initial input alphabet returnAlphabet the initial input alphabet localAlphabet the initial input alphabet pushdownStoreAlphabet the initial set of symbols used in the pushdown store by the automaton initialState the initial state of the automaton bottomOfTheStackSymbol the initial pushdown symbol of the automaton finalStates the initial set of final states of the automaton
◆ RealTimeHeightDeterministicDPDA() [2/2]
|
explicit |
Creates a new instance of the automaton with a concrete initial state and bottom of the stack symbol.
- Parameters
-
initialState the initial state of the automaton bottomOfTheStackSymbol the bottom of the stack symbol of the automaton
Member Function Documentation
◆ addCallTransition() [1/3]
| bool automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::addCallTransition | ( | StateType | from, |
| common::symbol_or_epsilon< InputSymbolType > | input, | ||
| StateType | to, | ||
| PushdownStoreSymbolType | push | ||
| ) |
Adds a call transition to the automaton.
The transition is in a form A \times a -> B \times g, where A, B \in Q, a \in T \cup { \eps }, and g \in G
- Parameters
-
from the source state (A) input the input symbol or epsilon (a) to the target state (B) push symbol to be pushed to the pushdown store on the transition use (g)
- Exceptions
-
AutomatonException when transition contains state or symbol not present in the automaton components or when the transition would cause nondeterminism
- Returns
- true if the transition was indeed added
Here is the call graph for this function:
◆ addCallTransition() [2/3]
| bool automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::addCallTransition | ( | StateType | from, |
| InputSymbolType | input, | ||
| StateType | to, | ||
| PushdownStoreSymbolType | push | ||
| ) |
Adds a call transition to the automaton.
The transition is in a form A \times a -> B \times g, where A, B \in Q, a \in T, and g \in G
- Parameters
-
from the source state (A) input the input symbol (a) to the target state (B) push symbol to be pushed to the pushdown store on the transition use (g)
- Exceptions
-
AutomatonException when transition contains state or symbol not present in the automaton components or when the transition would cause nondeterminism
- Returns
- true if the transition was indeed added
◆ addCallTransition() [3/3]
| bool automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::addCallTransition | ( | StateType | from, |
| StateType | to, | ||
| PushdownStoreSymbolType | push | ||
| ) |
Adds a call transition to the automaton.
The transition is in a form A \times \eps -> B \times g, where A, B \in Q, and g \in G
- Parameters
-
from the source state (A) to the target state (B) push symbol to be pushed to the pushdown store on the transition use (g)
- Exceptions
-
AutomatonException when transition contains state or symbol not present in the automaton components or when the transition would cause nondeterminism
- Returns
- true if the transition was indeed added
◆ addFinalState()
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
|
inline |
Adder of a final state.
- Parameters
-
state the new state to be added to a set of final states
- Returns
- true if the state was indeed added
◆ addInputSymbol()
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
|
inline |
Adder of a input symbol.
- Parameters
-
symbol the new symbol to be added to an input alphabet
- Returns
- true if the symbol was indeed added
◆ addInputSymbols()
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
|
inline |
Adder of input symbols.
- Parameters
-
symbols new symbols to be added to an input alphabet
◆ addLocalTransition() [1/3]
| bool automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::addLocalTransition | ( | StateType | from, |
| common::symbol_or_epsilon< InputSymbolType > | input, | ||
| StateType | to | ||
| ) |
Adds a local transition to the automaton.
The transition is in a form A \times a -> B, where A, B \in Q and a \in T \cup { \eps }
- Parameters
-
from the source state (A) input the input symbol or epsilon (a) to the target state (B)
- Exceptions
-
AutomatonException when transition contains state or symbol not present in the automaton components or when the transition would cause nondeterminism
- Returns
- true if the transition was indeed added
Here is the call graph for this function:
◆ addLocalTransition() [2/3]
| bool automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::addLocalTransition | ( | StateType | from, |
| InputSymbolType | input, | ||
| StateType | to | ||
| ) |
Adds a local transition to the automaton.
The transition is in a form A \times a -> B, where A, B \in Q and a \in T
- Parameters
-
from the source state (A) input the call input symbol (a) to the target state (B)
- Exceptions
-
AutomatonException when transition contains state or symbol not present in the automaton components or when the transition would cause nondeterminism
- Returns
- true if the transition was indeed added
◆ addLocalTransition() [3/3]
| bool automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::addLocalTransition | ( | StateType | from, |
| StateType | to | ||
| ) |
Adds a local transition to the automaton.
The transition is in a form A \times \eps -> B, where A, B \in Q
- Parameters
-
from the source state (A) to the target state (B)
- Exceptions
-
AutomatonException when transition contains state or symbol not present in the automaton components or when the transition would cause nondeterminism
- Returns
- true if the transition was indeed added
◆ addPushdownStoreSymbol()
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
|
inline |
Adder of a pushdown store symbol.
- Parameters
-
symbol the new symbol to be added to a pushdown store alphabet
- Returns
- true if the symbol was indeed added
◆ addPushdownStoreSymbols()
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
|
inline |
Adder of pushdown store symbols.
- Parameters
-
symbols new symbols to be added to a pushdown store alphabet
◆ addReturnTransition() [1/3]
| bool automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::addReturnTransition | ( | StateType | from, |
| common::symbol_or_epsilon< InputSymbolType > | input, | ||
| PushdownStoreSymbolType | pop, | ||
| StateType | to | ||
| ) |
Adds a return transition to the automaton.
The transition is in a form A \times a \times g -> B, where A, B \in Q, a \in T \cup { \eps }, and g \in G
- Parameters
-
from the source state (A) input the input symbol or epsilon (a) pop symbol to be poped to the pushdown store on the transition use (g) to the target state (B)
- Exceptions
-
AutomatonException when transition contains state or symbol not present in the automaton components or when the transition would cause nondeterminism
- Returns
- true if the transition was indeed added
Here is the call graph for this function:
◆ addReturnTransition() [2/3]
| bool automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::addReturnTransition | ( | StateType | from, |
| InputSymbolType | input, | ||
| PushdownStoreSymbolType | pop, | ||
| StateType | to | ||
| ) |
Adds a return transition to the automaton.
The transition is in a form A \times a \times g -> B, where A, B \in Q, a \in T, and g \in G
- Parameters
-
from the source state (A) input the input symbol (a) pop symbol to be poped to the pushdown store on the transition use (g) to the target state (B)
- Exceptions
-
AutomatonException when transition contains state or symbol not present in the automaton components or when the transition would cause nondeterminism
- Returns
- true if the transition was indeed added
◆ addReturnTransition() [3/3]
| bool automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::addReturnTransition | ( | StateType | from, |
| PushdownStoreSymbolType | pop, | ||
| StateType | to | ||
| ) |
Adds a return transition to the automaton.
The transition is in a form A \times \eps \times g -> B, where A, B \in Q, and g \in G
- Parameters
-
from the source state (A) pop symbol to be poped to the pushdown store on the transition use (g) to the target state (B)
- Exceptions
-
AutomatonException when transition contains state or symbol not present in the automaton components or when the transition would cause nondeterminism
- Returns
- true if the transition was indeed added
◆ addState()
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
|
inline |
Adder of a state.
- Parameters
-
state the new state to be added to a set of states
- Returns
- true if the state was indeed added
◆ getBottomOfTheStackSymbol() [1/2]
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
|
inline |
Getter of the bottom of the stack symbol.
- Returns
- the bottom of the stack symbol of the automaton
Here is the call graph for this function:
◆ getBottomOfTheStackSymbol() [2/2]
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
|
inline |
Getter of the bottom of the stack symbol.
- Returns
- the bottom of the stack symbol of the automaton
Here is the caller graph for this function:
◆ getCallTransitions() [1/2]
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
| ext::map< ext::pair< StateType, common::symbol_or_epsilon< InputSymbolType > >, ext::pair< StateType, PushdownStoreSymbolType > > && automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::getCallTransitions | ( | ) | && |
Get the call transition function of the automaton in its natural form.
- Returns
- call transition function of the automaton
◆ getCallTransitions() [2/2]
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
| const ext::map< ext::pair< StateType, common::symbol_or_epsilon< InputSymbolType > >, ext::pair< StateType, PushdownStoreSymbolType > > & automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::getCallTransitions | ( | ) | const & |
Get the call transition function of the automaton in its natural form.
- Returns
- call transition function of the automaton
Here is the caller graph for this function:
◆ getFinalStates() [1/2]
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
|
inline |
Getter of final states.
- Returns
- the final states of the automaton
Here is the call graph for this function:
◆ getFinalStates() [2/2]
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
|
inline |
Getter of final states.
- Returns
- the final states of the automaton
Here is the caller graph for this function:
◆ getInitialState() [1/2]
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
|
inline |
Getter of the initial state.
- Returns
- the initial state of the automaton
Here is the call graph for this function:
◆ getInitialState() [2/2]
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
|
inline |
Getter of the initial state.
- Returns
- the initial state of the automaton
Here is the caller graph for this function:
◆ getInputAlphabet() [1/2]
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
|
inline |
Getter of the input alphabet.
- Returns
- the input alphabet of the automaton
Here is the call graph for this function:
◆ getInputAlphabet() [2/2]
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
|
inline |
Getter of the input alphabet.
- Returns
- the input alphabet of the automaton
Here is the caller graph for this function:
◆ getLocalTransitions() [1/2]
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
| ext::map< ext::pair< StateType, common::symbol_or_epsilon< InputSymbolType > >, StateType > && automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::getLocalTransitions | ( | ) | && |
Get the local transition function of the automaton in its natural form.
- Returns
- local transition function of the automaton
◆ getLocalTransitions() [2/2]
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
| const ext::map< ext::pair< StateType, common::symbol_or_epsilon< InputSymbolType > >, StateType > & automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::getLocalTransitions | ( | ) | const & |
Get the local transition function of the automaton in its natural form.
- Returns
- local transition function of the automaton
Here is the caller graph for this function:
◆ getPushdownStoreAlphabet() [1/2]
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
|
inline |
Getter of the pushdown store alphabet.
- Returns
- the pushdown store alphabet of the automaton
Here is the call graph for this function:
◆ getPushdownStoreAlphabet() [2/2]
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
|
inline |
Getter of the pushdown store alphabet.
- Returns
- the pushdown store alphabet of the automaton
Here is the caller graph for this function:
◆ getReturnTransitions() [1/2]
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
| ext::map< ext::tuple< StateType, common::symbol_or_epsilon< InputSymbolType >, PushdownStoreSymbolType >, StateType > && automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::getReturnTransitions | ( | ) | && |
Get the return transition function of the automaton in its natural form.
- Returns
- return transition function of the automaton
◆ getReturnTransitions() [2/2]
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
| const ext::map< ext::tuple< StateType, common::symbol_or_epsilon< InputSymbolType >, PushdownStoreSymbolType >, StateType > & automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::getReturnTransitions | ( | ) | const & |
Get the return transition function of the automaton in its natural form.
- Returns
- return transition function of the automaton
Here is the caller graph for this function:
◆ getStates() [1/2]
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
|
inline |
Getter of states.
- Returns
- the states of the automaton
Here is the call graph for this function:
◆ getStates() [2/2]
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
|
inline |
Getter of states.
- Returns
- the states of the automaton
Here is the caller graph for this function:
◆ operator<=>()
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
|
inline |
The three way comparison implementation
- Parameters
-
other the other instance
- Returns
- the ordering between this object and the
other.
Here is the call graph for this function:
◆ operator==()
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
|
inline |
The equality comparison implementation.
- Parameters
-
other the other object to compare with.
- Returns
- true if this and other objects are equal, false othervise
Here is the call graph for this function:
◆ removeCallTransition() [1/3]
| bool automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::removeCallTransition | ( | const StateType & | from, |
| const common::symbol_or_epsilon< InputSymbolType > & | input, | ||
| const StateType & | to, | ||
| const PushdownStoreSymbolType & | push | ||
| ) |
Removes a call transition from the automaton.
The transition is in a form A \times a -> B \times g, where A, B \in Q, a \in T \cup { \eps }, and g \in G
- Parameters
-
from the source state (A) input the input symbol or epsilon (a) to the target state (B) push symbol to be pushed to the pushdown store on the transition use (g)
- Exceptions
-
AutomatonException when removed transition left hand side was found but the right hand side did not match.
- Returns
- true if the transition was indeed removed
Here is the call graph for this function:
◆ removeCallTransition() [2/3]
| bool automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::removeCallTransition | ( | const StateType & | from, |
| const InputSymbolType & | input, | ||
| const StateType & | to, | ||
| const PushdownStoreSymbolType & | push | ||
| ) |
Removes a call transition from the automaton.
The transition is in a form A \times a -> B \times g, where A, B \in Q, a \in T, and g \in G
- Parameters
-
from the source state (A) input the input symbol (a) to the target state (B) push symbol to be pushed to the pushdown store on the transition use (g)
- Exceptions
-
AutomatonException when removed transition left hand side was found but the right hand side did not match.
- Returns
- true if the transition was indeed removed
◆ removeCallTransition() [3/3]
| bool automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::removeCallTransition | ( | const StateType & | from, |
| const StateType & | to, | ||
| const PushdownStoreSymbolType & | push | ||
| ) |
Removes a call transition from the automaton.
The transition is in a form A \times \eps -> B \times g, where A, B \in Q, and g \in G
- Parameters
-
from the source state (A) to the target state (B) push symbol to be pushed to the pushdown store on the transition use (g)
- Exceptions
-
AutomatonException when removed transition left hand side was found but the right hand side did not match.
- Returns
- true if the transition was indeed removed
◆ removeFinalState()
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
|
inline |
Remover of a final state.
- Parameters
-
state a state to be removed from a set of final states
- Returns
- true if the state was indeed removed
◆ removeInputSymbol()
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
|
inline |
Remover of an input symbol.
- Parameters
-
symbol a symbol to be removed from an input alphabet
- Returns
- true if the symbol was indeed removed
◆ removeLocalTransition() [1/3]
| bool automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::removeLocalTransition | ( | const StateType & | from, |
| const common::symbol_or_epsilon< InputSymbolType > & | input, | ||
| const StateType & | to | ||
| ) |
Removes a local transition from the automaton.
The transition is in a form A \times a -> B, where A, B \in Q and a \in T \cup { \eps }
- Parameters
-
from the source state (A) input the input symbol or epsilon (a) to the target state (B)
- Exceptions
-
AutomatonException when removed transition left hand side was found but the right hand side did not match.
- Returns
- true if the transition was indeed removed
Here is the call graph for this function:
◆ removeLocalTransition() [2/3]
| bool automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::removeLocalTransition | ( | const StateType & | from, |
| const InputSymbolType & | input, | ||
| const StateType & | to | ||
| ) |
Removes a local transition from the automaton.
The transition is in a form A \times a -> B, where A, B \in Q and a \in T
- Parameters
-
from the source state (A) input the input symbol (a) to the target state (B)
- Exceptions
-
AutomatonException when removed transition left hand side was found but the right hand side did not match.
- Returns
- true if the transition was indeed removed
◆ removeLocalTransition() [3/3]
| bool automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::removeLocalTransition | ( | const StateType & | from, |
| const StateType & | to | ||
| ) |
Removes a local transition from the automaton.
The transition is in a form A \times \eps -> B, where A, B \in Q
- Parameters
-
from the source state (A) to the target state (B)
- Exceptions
-
AutomatonException when removed transition left hand side was found but the right hand side did not match.
- Returns
- true if the transition was indeed removed
◆ removePushdownStoreSymbol()
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
|
inline |
Remover of an pushdown store symbol.
- Parameters
-
symbol a symbol to be removed from a pushdown store alphabet
- Returns
- true if the symbol was indeed removed
◆ removeReturnTransition() [1/3]
| bool automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::removeReturnTransition | ( | const StateType & | from, |
| const common::symbol_or_epsilon< InputSymbolType > & | input, | ||
| const PushdownStoreSymbolType & | pop, | ||
| const StateType & | to | ||
| ) |
Removes a return transition from the automaton.
The transition is in a form A \times a \times g -> B, where A, B \in Q, a \in T \cup { \eps }, and g \in G
- Parameters
-
from the source state (A) input the input symbol or epsilon (a) pop symbol to be poped to the pushdown store on the transition use (g) to the target state (B)
- Exceptions
-
AutomatonException when removed transition left hand side was found but the right hand side did not match.
- Returns
- true if the transition was indeed removed
Here is the call graph for this function:
◆ removeReturnTransition() [2/3]
| bool automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::removeReturnTransition | ( | const StateType & | from, |
| const InputSymbolType & | input, | ||
| const PushdownStoreSymbolType & | pop, | ||
| const StateType & | to | ||
| ) |
Removes a return transition from the automaton.
The transition is in a form A \times a \times g -> B, where A, B \in Q, a \in T, and g \in G
- Parameters
-
from the source state (A) input the input symbol (a) pop symbol to be poped to the pushdown store on the transition use (g) to the target state (B)
- Exceptions
-
AutomatonException when removed transition left hand side was found but the right hand side did not match.
- Returns
- true if the transition was indeed removed
◆ removeReturnTransition() [3/3]
| bool automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >::removeReturnTransition | ( | const StateType & | from, |
| const PushdownStoreSymbolType & | pop, | ||
| const StateType & | to | ||
| ) |
Removes a return transition from the automaton.
The transition is in a form A \times \eps \times g -> B, where A, B \in Q, and g \in G
- Parameters
-
from the source state (A) pop symbol to be poped to the pushdown store on the transition use (g) to the target state (B)
- Exceptions
-
AutomatonException when removed transition left hand side was found but the right hand side did not match.
- Returns
- true if the transition was indeed removed
◆ removeState()
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
|
inline |
Remover of a state.
- Parameters
-
state a state to be removed from a set of states
- Returns
- true if the state was indeed removed
◆ setBottomOfTheStackSymbol()
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
|
inline |
Setter of the bottom of the stack symbol.
- Parameters
-
symbol new bottom of the stack symbol of the automaton
- Returns
- true if the bottom of the stack symbol was indeed changed
◆ setFinalStates()
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
|
inline |
Setter of final states.
- Parameters
-
states completely new set of final states
◆ setInitialState()
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
|
inline |
Setter of the initial state.
- Parameters
-
state new initial state of the automaton
- Returns
- true if the initial state was indeed changed
◆ setInputAlphabet()
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
|
inline |
Setter of input alphabet.
- Parameters
-
symbols completely new input alphabet
◆ setPushdownStoreAlphabet()
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
|
inline |
Setter of a pushdown store alphabet.
- Parameters
-
symbols completely new pushdown store alphabet
◆ setStates()
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
|
inline |
Setter of states.
- Parameters
-
states completely new set of states
Friends And Related Function Documentation
◆ operator<<
template<class InputSymbolTypeT = DefaultSymbolType, class PushdownStoreSymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
|
friend |
Print this object as raw representation to ostream.
- Parameters
-
out ostream where to print instance object to print
- Returns
- modified output stream
The documentation for this class was generated from the following file:
- alib2data/src/automaton/PDA/RealTimeHeightDeterministicDPDA.h
