Goto Chapter: Top 1 2 3 4 5 6 7 Ind
 [Top of Book]  [Contents]   [Next Chapter] 

turing

Simulate the operation of Turing machines

1.0.0

21 October 2026

Daan van Berkel
Email: daan.v.berkel.1980@gmail.com
Homepage: https://dvberkel.nl

Contents

1 Introduction
 1.1 What are Turing machines
 1.2 Example
 1.3 Definitions

  1.3-1 IsTuringDirection
  1.3-2 IsTuringLeft
  1.3-3 IsTuringRight
  1.3-4 IsTuringMachine
  1.3-5 IsTuringProgram
  1.3-6 IsTuringState
  1.3-7 IsTuringHaltState
  1.3-8 IsTuringSymbol
  1.3-9 IsTuringBlank
  1.3-10 IsTuringTape
  1.3-11 IsTuringObject
2 Symbol
 2.1 Categories
 2.2 Constructor

  2.2-1 TmSymbol
  2.2-2 TmBlank
 2.3 Representation

  2.3-1 TmSymbolRepresentation
3 Tape
 3.1 Constructor

  3.1-1 TmTape
  3.1-2 TmTape
 3.2 Reading and Writing

  3.2-1 TmTapeRead
  3.2-2 TmTapeWrite
 3.3 Moving

  3.3-1 TmTapeHeadRight
  3.3-2 TmTapeHeadLeft
  3.3-3 TmTapeHeadMove
4 Direction
 4.1 Categories

  4.1-1 TmLeft
  4.1-2 TmRight
5 State
 5.1 Constructor

  5.1-1 TmState
  5.1-2 TmHalt
6 Program
 6.1 Constructor

  6.1-1 TmProgram
 6.2 Rules

  6.2-1 TmAddRule
  6.2-2 TmLookup
 6.3 Start State

  6.3-1 TmStartState
7 Machine
 7.1 Example
 7.2 Constructor

  7.2-1 TmMachine
 7.3 Stepping and Running

  7.3-1 TmStep
  7.3-2 TmRun
  7.3-3 TmTrace
 7.4 Inspection

  7.4-1 TmStepCount
Index

 [Top of Book]  [Contents]   [Next Chapter] 
Goto Chapter: Top 1 2 3 4 5 6 7 Ind

generated by GAPDoc2HTML