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

turingMachine-1.0.0.0: An implementation of Turing Machine and Automaton

Index

:*>:	Data.Delta
:-<:	Data.Delta
:->:	Data.Delta
Alphabet	Data.Sigma
automatonCardinality	Math.Model.Automaton.Finite
automatonEssence	Math.Model.Automaton.Finite
blank	Data.Sigma
checkString	Math.Model.Automaton.Finite
closureAlph	Data.Sigma
convertFA	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
Discrete	Data.Numerable
distinguishableDelta	Math.Model.Automaton.Finite
Dw	Math.Model.Turing
Empty	Data.Numerable
endState	Math.Model.Automaton.Finite
endStates	Math.Model.Automaton.Finite
enumWord	Data.Sigma
Essence	Data.Numerable
F	Math.Model.Automaton.Finite
Fin	Data.Numerable
Final	Data.Label
FiniteA	Math.Model.Automaton.Finite
finiteToMealy	Math.Model.Automaton.Finite
finiteToMoore	Math.Model.Automaton.Finite
FN	Math.Model.Automaton.Finite
FW	Math.Model.Turing
getAlphabet	Math.Model.Automaton.Finite
getDelta	Math.Model.Automaton.Stack
getFinal	Math.Model.Automaton.Stack
getFirstParam	Data.Delta
getFirstParamSet	Data.Delta
getHead	Math.Model.Turing
getInitState	Math.Model.Automaton.Stack
getInitSymbol	Math.Model.Automaton.Stack
getMHead	Math.Model.Turing
getSecondParamD	Data.Delta
getSecondParamND	Data.Delta
getSecondParamSetD	Data.Delta
getSecondParamSetND	Data.Delta
getStateDomain	Data.Delta
getStateDomainSet	Data.Delta
getStateRangeD	Data.Delta
getStateRangeND	Data.Delta
getStateRangeSetD	Data.Delta
getStateRangeSetND	Data.Delta
isError	Data.Label
Key	Math.Model.Automaton.Stack
kWords	Data.Sigma
L	Math.Model.Turing
Label	Data.Label
LabelSS	Data.Label
Lambda1	Math.Model.Automaton.Finite
Lambda2	Math.Model.Automaton.Finite
lessKWords	Data.Sigma
Lf	Math.Model.Turing
liftD
1 (Function)	Data.Delta
2 (Function)	Math.Model.Turing
liftDAux	Math.Model.Turing
liftDelta
1 (Function)	Math.Model.Automaton.Finite
2 (Function)	Math.Model.Automaton.Stack
liftL	Data.Delta
liftL1	Math.Model.Automaton.Finite
liftL2	Math.Model.Automaton.Finite
liftMD	Math.Model.Turing
liftMTape	Math.Model.Turing
liftND	Data.Delta
liftNDelta	Math.Model.Automaton.Finite
liftTape	Math.Model.Turing
LRS	Math.Model.Turing
MDelta	Math.Model.Turing
Mealy	Math.Model.Automaton.Finite
minimizeFinite	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
NDelta	Math.Model.Automaton.Finite
nextD	Data.Delta
nextDTuple	Math.Model.Automaton.Stack
nextND	Data.Delta
nextState	Math.Model.Automaton.Stack
nextSymbol	Data.Delta
nextTMaybe	Data.Delta
Numerable	Data.Numerable
Occupied	Data.Numerable
oposite	Math.Model.Turing
Q	Data.Label
QE	Data.Label
R	Math.Model.Turing
reachableDelta	Math.Model.Automaton.Finite
Rt	Math.Model.Turing
S	Math.Model.Turing
setGenericSize	Data.Helper
SetLabel	Data.Label
Stack	Math.Model.Automaton.Stack
StackA	Math.Model.Automaton.Stack
Symbol	Data.Sigma
T	Math.Model.Turing.TwoWays
Tape	Math.Model.Turing.TwoWays
Tapeable	Math.Model.Turing
terminal	Data.Label
Track	Math.Model.Turing.FourWays
Tracks	Math.Model.Turing.FourWays
transducerToFinite	Math.Model.Automaton.Finite
Transductor	Math.Model.Automaton.Finite
translate	Math.Model.Automaton.Finite
TS	Math.Model.Turing
TuringM	Math.Model.Turing
unionsFold	Data.Helper
Up	Math.Model.Turing
Ways	Math.Model.Turing
Wd	Data.Sigma