N | GrammarType |
negation | Boolean2TMConstants |
Negative | GroupPresentation.Element, GroupPresentation.Relation, GroupPresentation |
NegConj | GrammarType |
newState | TM2SMHelpers |
nk | SM2GR |
Nonterminal | |
1 (Type/Class) | GrammarType |
2 (Data Constructor) | GrammarType |
nonterminalValue | GrammarType |
notMember | |
1 (Function) | Containers.Map |
2 (Function) | Containers.Set |
3 (Function) | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
null | |
1 (Function) | Containers.Map |
2 (Function) | Containers.Set |
3 (Function) | Containers.PrismMap |
Nullable | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
nullC | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
numGenerator | |
1 (Function) | GroupPresentation.Generator, GroupPresentation.Element, GroupPresentation.Relation, GroupPresentation |
2 (Function) | SemigroupPresentation.Generator, SemigroupPresentation.Relation, SemigroupPresentation, SemigroupPresentation.Solver |
3 (Function) | StringRewriting.Generator, StringRewriting.Rule, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix |
numState | TuringMachine.State, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
numSymbol | TuringMachine.Symbol, TuringMachine.SymbolOrMove, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |