Index

IsTuringBlank, for IsTuringSymbol 1.3-9
IsTuringDirection, for IsTuringObject 1.3-1
IsTuringHaltState, for IsTuringState 1.3-7
IsTuringLeft, for IsTuringDirection 1.3-2
IsTuringMachine, for IsTuringObject 1.3-4
IsTuringObject, for IsObject 1.3-11
IsTuringProgram, for IsTuringObject 1.3-5
IsTuringRight, for IsTuringDirection 1.3-3
IsTuringState, for IsTuringObject 1.3-6
IsTuringSymbol, for IsTuringObject 1.3-8
IsTuringTape, for IsTuringObject 1.3-10
TmAddRule, Lookup 6.2-1
TmBlank 2.2-2
TmHalt, for IsPosInt 5.1-2
TmLeft 4.1-1
TmLookup, for IsTuringProgram, IsTuringState, IsTuringSymbol 6.2-2
TmMachine, for IsTuringTape, IsTuringProgram 7.2-1
TmProgram, for IsTuringState 6.1-1
TmRight 4.1-2
TmRun, for IsTuringMachine 7.3-2
TmStartState, for IsTuringProgram 6.3-1
TmState, for IsPosInt 5.1-1
TmStep, for IsTuringMachine 7.3-1
TmStepCount, for IsTuringMachine 7.4-1
TmSymbol, for IsChar 2.2-1
TmSymbolRepresentation, for IsTuringSymbol 2.3-1
TmTape 3.1-1
    for IsString 3.1-2
TmTapeHeadLeft, for IsTuringTape 3.3-2
TmTapeHeadMove, for IsTuringTape, IsTuringDirection 3.3-3
TmTapeHeadRight, for IsTuringTape 3.3-1
TmTapeRead, for IsTuringTape 3.2-1
TmTapeWrite, for IsTuringTape, IsTuringSymbol 3.2-2
TmTrace, for IsTuringMachine 7.3-3