Class Converter

Index

Constructors

Methods

tag2SystemToTuringMachine218 turingMachine2SymbolToWriteFirstTuringMachine turingMachineTo2Symbol writeFirstTM2SymbolToTagSystem

Constructors

`Private` constructor

new Converter(): Converter
Returns Converter
- Defined in converter.ts:36

Methods

`Static` tag2SystemToTuringMachine218

tag2SystemToTuringMachine218(): ITransformElement<TagSystem, TuringMachine, Tag2SystemToTuringMachine218TransformLog>
Returns ITransformElement<TagSystem, TuringMachine, Tag2SystemToTuringMachine218TransformLog>
See
Yurii Rogozhin. Small universal Turing machines. Theoretical Computer Science, 168(2):215–240, 1996.
- Defined in converter.ts:41

`Static` turingMachine2SymbolToWriteFirstTuringMachine

turingMachine2SymbolToWriteFirstTuringMachine(): ITransformElement<TuringMachine, WriteFirstTuringMachine, TuringMachine2SymbolToWriteFirstTuringMachineTransformLog>
Returns ITransformElement<TuringMachine, WriteFirstTuringMachine, TuringMachine2SymbolToWriteFirstTuringMachineTransformLog>
- Defined in converter.ts:382

`Static` turingMachineTo2Symbol

turingMachineTo2Symbol(): ITransformElement<TuringMachine, TuringMachine, TuringMachineTo2SymbolTransformLog>
Returns ITransformElement<TuringMachine, TuringMachine, TuringMachineTo2SymbolTransformLog>
See
SHANNON, Claude E. A universal Turing machine with two internal states. Automata studies, 1956, 34: 157-165.
- Defined in converter.ts:975

`Static` writeFirstTM2SymbolToTagSystem

writeFirstTM2SymbolToTagSystem(fillRulesAsPossible?): ITransformElement<WriteFirstTuringMachine, TagSystem, WriteFirstTM2SymbolToTagSystemTransformLog>
Parameters
- fillRulesAsPossible: boolean = false
Returns ITransformElement<WriteFirstTuringMachine, TagSystem, WriteFirstTM2SymbolToTagSystemTransformLog>
See
COCKE, John; MINSKY, Marvin. Universality of tag systems with P= 2. Journal of the ACM (JACM), 1964, 11.1: 15-20.
- Defined in converter.ts:559

Generated using TypeDoc