TuringSim::Machine::Turing::LocalTuringMachine< TransitionType_, deterministic, acceptingStyle, TransitionContainer_, InitialStateContainer_ > Class Template Reference

Turing machines that only reads the current cell on the tape to select matching transitions. More...

#include <machine/localTuringMachine.h>

Detailed Description

template<typename TransitionType_, bool deterministic, AcceptingStyle acceptingStyle, template< typename... > class TransitionContainer_ = std::vector, template< typename... > class InitialStateContainer_ = std::vector>
class TuringSim::Machine::Turing::LocalTuringMachine< TransitionType_, deterministic, acceptingStyle, TransitionContainer_, InitialStateContainer_ >

Turing machines that only reads the current cell on the tape to select matching transitions.

This class has two specializations, depending on the deterministic template parameter. These specialization does not hold any data member.

All typedef types in Machine::TuringMachine (and above) are still accessible.

Template Parameters

TransitionType_	the type of the transitions of the machine. It must be a derived class of Transition::LocalTuringMachineTransition
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::vector.

Definition at line 29 of file localTuringMachine.h.

---

The documentation for this class was generated from the following file:

• include/machine/Turing/localTuringMachine.h