turingMachine-0.1.1.2: An implementation of Turing Machine and Automaton (Index)

turingMachine-0.1.1.2: An implementation of Turing Machine and Automaton

Index

:*>:	Data.Delta
:->:	Data.Delta
:>-:	Data.Delta
blank	Data.Sigma
checkString
1 (Function)	Math.Model.Automaton.Finite
2 (Function)	Math.Model.Automaton.Stack
checkStringN	Math.Model.Automaton.Finite
Delta
1 (Type/Class)	Math.Model.Automaton.Finite
2 (Type/Class)	Math.Model.Automaton.Stack
3 (Type/Class)	Math.Model.Turing
DeltaN	Math.Model.Automaton.Finite
Dw	Math.Model.Turing
F	Math.Model.Automaton.Finite
Final	Data.State
FiniteA	Math.Model.Automaton.Finite
FiniteAN	Math.Model.Automaton.Finite
FN	Math.Model.Automaton.Finite
FW	Math.Model.Turing
getHead	Math.Model.Turing
getMHead	Math.Model.Turing
isError	Data.State
L	Math.Model.Turing
Lambda1	Math.Model.Automaton.Finite
Lambda2	Math.Model.Automaton.Finite
Lf	Math.Model.Turing
liftD
1 (Function)	Math.Model.Automaton.Finite
2 (Function)	Math.Model.Automaton.Stack
3 (Function)	Math.Model.Turing
liftDN	Math.Model.Automaton.Finite
liftL1	Math.Model.Automaton.Finite
liftL2	Math.Model.Automaton.Finite
liftMD	Math.Model.Turing
liftMTape	Math.Model.Turing
liftTape	Math.Model.Turing
LRS	Math.Model.Turing
MDelta	Math.Model.Turing
Mealy	Math.Model.Automaton.Finite
Model	Math.Model.Turing
Moore	Math.Model.Automaton.Finite
moveHead	Math.Model.Turing
MT	Math.Model.Turing
MTS	Math.Model.Turing
MultiModel	Math.Model.Turing
MultiTape	Math.Model.Turing
nextD	Data.Delta
oposite	Math.Model.Turing
Q	Data.State
QE	Data.State
R	Math.Model.Turing
Rt	Math.Model.Turing
S
1 (Data Constructor)	Math.Model.Automaton.Stack
2 (Data Constructor)	Math.Model.Turing
StackA	Math.Model.Automaton.Stack
State	Data.State
Symbol	Data.Sigma
Tapeable	Math.Model.Turing
terminal	Data.State
Transductor	Math.Model.Automaton.Finite
translate	Math.Model.Automaton.Finite
TS	Math.Model.Turing
TuringM	Math.Model.Turing
Up	Math.Model.Turing
Ways	Math.Model.Turing
Wd	Data.Sigma
z0	Data.Sigma