TuringSim
C++ framework to simulate abstract computing models
Classes
TuringSim::Machine::Turing Namespace Reference

Namespace of Turing machines, that is whose storage is a tape. More...

Classes

class  DeterministicSimpleTuringMachine
 The class to represent a deterministic simple turing machine. More...
 
class  DeterministicTuringStyleMConfigurationTuringMachine
 Deterministic machines whose transitions are Transition::TuringStyleMConfigurationTuringMachineTransition. More...
 
class  LocalTuringMachine
 Turing machines that only reads the current cell on the tape to select matching transitions. More...
 
class  LocalTuringMachine< TransitionType_, false, acceptingStyle, TransitionContainer_, InitialStateContainer_ >
 Non-deterministic Turing machines that only reads the current cell on the tape to select matching transitions. More...
 
class  LocalTuringMachine< TransitionType_, true, acceptingStyle, TransitionContainer_, InitialStateContainer_ >
 Deterministic Turing machines that only reads the current cell on the tape to select matching transitions. More...
 
class  NonDeterministicSimpleTuringMachine
 The class to represent a simple turing machine. More...
 
class  NonDeterministicTuringStyleMConfigurationTuringMachine
 Non-deterministic machines whose transitions are Transition::TuringStyleMConfigurationTuringMachineTransition. More...
 
class  SimpleTuringMachine
 The class to represent a simple turing machine. More...
 
class  TuringMachine
 The class to represent a Turing machine. More...
 
class  TuringStyleMConfigurationTuringMachine
 Machines whose transitions are Transition::TuringStyleMConfigurationTuringMachineTransition. More...
 
class  Utm
 A factory for the universal Turing machine described in Turing's 1936 paper. More...
 

Detailed Description

Namespace of Turing machines, that is whose storage is a tape.