A | GRType |
AccessStates | |
1 (Type/Class) | TMType |
2 (Data Constructor) | TMType |
Action | TuringMachine.Admiter |
addCollectionToMap | Boolean2TMHelpers |
addICmdSmTag | TM2SMHelpers |
addTag | TM2SMHelpers |
addTags | TM2SMHelpers |
adjust | Containers.Map |
adjustWithKey | Containers.Map |
admit | TuringMachine.Admiter |
admit' | TuringMachine.Admiter |
allGenerators | |
1 (Function) | GroupPresentation |
2 (Function) | SemigroupPresentation, SemigroupPresentation.Solver |
allStates | TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
allSymbols | TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
Alpha | SMType |
Alphabet | TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
alphabet | TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
alter | Containers.Map |
alterF | Containers.Map |
apply | Format |
applyCommand | TMInterpreter |
applyCommands | TMInterpreter |
applyCommandss | TMInterpreter |
applyRule | SMInterpreter |
applyRules | SMInterpreter |
applyRuless | SMInterpreter |
ASetter | Lens, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
assocs | Containers.Map |
asStrSet | SemigroupPresentation, SemigroupPresentation.Solver |
auxiliaryRelations | SM2GR |
A_K | GRType |
A_Q | GRType |
A_R | GRType |
A_Y | GRType |