TuringSim::Machine::PDM Namespace Reference

Namespace of pushdown machines, that is whose storage is a word and a stack. More...

Classes
class	DeterministicSimplePushdownMachine
	The class to represent a deterministic simple pushdown machine. More...
class	DeterministicSimplePushdownMachine< StateType_, LetterType_, StackSymbolType_, acceptingStyle, std::tuple< Args... > >
	The class to represent a deterministic simple pushdown machine. More...
class	GeneralPushdownMachine
	The class to represent a pushdown machine with arbitrary transitions. More...
class	GeneralPushdownMachine< StateType_, LetterType_, StackSymbolType_, acceptingStyle, TransitionContainer_, InitialStateContainer_, std::tuple< Args... > >
	The class to represent a pushdown machine with arbitrary transitions. More...
class	NonDeterministicSimplePushdownMachine
	The class to represent a non-deterministic simple pushdown machine. More...
class	NonDeterministicSimplePushdownMachine< StateType_, LetterType_, StackSymbolType_, acceptingStyle, std::tuple< Args... > >
	The class to represent a non-deterministic simple pushdown machine. More...
class	PushdownMachine
	The class to represent a pushdown machine. More...
class	PushdownMachine< TransitionType_, false, acceptingStyle, TransitionContainer_, InitialStateContainer_ >
	The class to represent a non-deterministic pushdown machine. More...
class	PushdownMachine< TransitionType_, true, acceptingStyle, TransitionContainer_, InitialStateContainer_ >
	The class to represent a deterministic pushdown machine. More...
class	SimplePushdownMachine
	The class to represent a pushdown machine with simple transitions. More...
class	SimplePushdownMachine< StateType_, LetterType_, StackSymbolType_, deterministic, acceptingStyle, TransitionContainer_, InitialStateContainer_, std::tuple< Args... > >
	The class to represent a pushdown machine with simple transitions. More...

Typedefs
template<typename TransitionType , bool deterministic, AcceptingStyle acceptingStyle, template< typename... > class TransitionContainer = std::vector, template< typename... > class InitialStateContainer = std::set>
using	StateAcceptingPushdownMachine = StateAcceptingMachine< PushdownMachine< TransitionType, deterministic, acceptingStyle, TransitionContainer, InitialStateContainer >, acceptingStyle >
	Implementation of acceptation-related functions. More...

Detailed Description

Namespace of pushdown machines, that is whose storage is a word and a stack.

Typedef Documentation

StateAcceptingPushdownMachine

template<typename TransitionType , bool deterministic, AcceptingStyle acceptingStyle, template< typename... > class TransitionContainer = std::vector, template< typename... > class InitialStateContainer = std::set>

TuringSim::Machine::PDM::StateAcceptingPushdownMachine

Implementation of acceptation-related functions.

Template Parameters

TransitionType	the type of transitions.
deterministic	a boolean, whether the machine is expected to be deterministic.
acceptingStyle	whether the machine is alternating, regularly accepting, or not.
TransitionContainer	the container used to return matching transitions. By default, it is std::vector.
InitialStateContainer	the container used to return initial states. By default, it is std::set.

Definition at line 22 of file stateAcceptingPushdownMachine.h.