Transitions for Turing machines. More...

Classes
class	LocalTuringMachineTransition
	Base class for Turing machine transitions that only reads the current symbol on the tape to decide if it matches. More...

class	MConfigurationTuringMachineTransition
	Base class for Turing machine transitions that works with m-configurations. More...

class	OneStepTuringMachineTransition
	Turing machine transitions that reads only the current symbol, writes a symbol, performs a simple move and gets into a new state. More...

class	SimpleTuringMachineTransition
	Turing machine transition where the state pattern is a TuringSim::State::SimpleStatePattern and the symbol pattern is a Symbol::SimpleSymbolPattern. More...

class	StringTuringStyleMConfigurationTuringMachineTransition
	Transitions as we find in 1936 Turing's paper, where nodes are std::string. More...

class	TuringMachineTransition
	Base class for Turing machine transitions. More...

class	TuringStyleInstructionListParser
	A parser for instructions of StringTuringStyleMConfigurationTuringMachineTransition. More...

class	TuringStyleInstructionListParserBadInitializationException
	Exception thrown when the special characters of a SymbolPatternParser are not consistent. More...

class	TuringStyleInstructionListParserSyntaxErrorException
	Exception launched when we try to parse a string with a syntax error as a MConfiguration<std::string>. More...

class	TuringStyleMConfigurationTuringMachineTransition
	Transitions as we find in 1936 Turing's paper. More...

Typedefs
template<typename T >
using	MConfigurationTuringMachineTransitionApplyHelper = std::map< T, std::shared_ptr< const State::MConfiguration::MConfiguration< T > >>
	The helper of MConfigurationTuringMachineTransition<T, _, _> More...

Functions
template<typename U , bool hT, typename CharT = char, typename Traits = std::char_traits<CharT>>
std::basic_ostream< CharT, Traits > &	operator<< (std::basic_ostream< CharT, Traits > &os, const TuringStyleMConfigurationTuringMachineTransition< U, hT > &transition)
	Debug printer of transitions. More...

Detailed Description

Transitions for Turing machines.

Typedef Documentation

template<typename T >

The helper of MConfigurationTuringMachineTransition<T, _, _>

Template Parameters

T	the type of nodes in m-configurations.

template<typename U , bool hT, typename CharT = char, typename Traits = std::char_traits<CharT>>

std::basic_ostream<CharT, Traits>& TuringSim::Transition::Turing::operator<<	(	std::basic_ostream< CharT, Traits > &	os,
		const TuringStyleMConfigurationTuringMachineTransition< U, hT > &	transition
	)

Debug printer of transitions.

Template Parameters

U	the type of symbols and nodes in transition.
hT	whether the tape is a half-tape.
CharT	the char type.
Traits	`std::basic_ostream` trait.

Parameters

[in,out]	os	the output stream
[in]	transition	the token kind to print.