|
TuringSim
C++ framework to simulate abstract computing models
|
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... | |
Namespace of Turing machines, that is whose storage is a tape.