LangToGroup-0.1.0.0

Index - N

NGrammarType
negationBoolean2TMConstants
NegativeGroupPresentation.Element, GroupPresentation.Relation, GroupPresentation
NegConjGrammarType
newStateTM2SMHelpers
nkSM2GR
Nonterminal 
1 (Type/Class)GrammarType
2 (Data Constructor)GrammarType
nonterminalValueGrammarType
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
NullableContainers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs
nullCContainers, 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
numStateTuringMachine.State, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs
numSymbolTuringMachine.Symbol, TuringMachine.SymbolOrMove, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs