TuringSim::Transition::PDM Namespace Reference

Transitions for pushdown machines. More...

Classes
class	GeneralPushdownMachineTransition
	Transition of pushdown machines, i.e. transition on a word and a stack. More...
class	PushdownMachineTransition
	Transition of pushdown machines, i.e. transition on a word and a stack. More...
class	SimplePushdownMachineTransition
	Transition of pushdown machines, i.e. transition on a word and a stack. More...

Typedefs
template<typename WordAlphabet , typename StackAlphabet >
using	PushdownMachineStorage = std::tuple< Memory::Word::Word< WordAlphabet >, Memory::Stack::Stack< StackAlphabet > >
	The type of the memory of a pushdown machine from the types of letters and symbols on the stack.

Detailed Description

Transitions for pushdown machines.