Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
alib2algo
src
grammar
grammar → alib2data Relation
File in alib2algo/src/grammar
Includes file in alib2data
generate
/
CockeYoungerKasami.h
src
/
grammar
/
ContextFree
/
CNF.h
generate
/
CockeYoungerKasamiVerbose.h
src
/
grammar
/
ContextFree
/
CNF.h
generate
/
GenerateUpToLength.h
src
/
grammar
/
ContextFree
/
CNF.h
generate
/
GenerateUpToLength.h
src
/
grammar
/
ContextFree
/
EpsilonFreeCFG.h
generate
/
GenerateUpToLength.h
src
/
grammar
/
ContextFree
/
GNF.h
generate
/
GenerateUpToLength.h
src
/
grammar
/
Grammar.h
generate
/
GenerateUpToLength.h
src
/
grammar
/
Regular
/
LeftRG.h
generate
/
GenerateUpToLength.h
src
/
grammar
/
RawRules.h
generate
/
GenerateUpToLength.h
src
/
grammar
/
Regular
/
RightRG.h
generate
/
RandomGrammarFactory.h
src
/
grammar
/
ContextFree
/
CFG.h
generate
/
RandomizeGrammar.h
src
/
grammar
/
ContextFree
/
CFG.h
generate
/
RandomizeGrammar.h
src
/
grammar
/
Regular
/
LeftLG.h
generate
/
RandomizeGrammar.h
src
/
grammar
/
Regular
/
LeftRG.h
generate
/
RandomizeGrammar.h
src
/
grammar
/
Regular
/
RightLG.h
generate
/
RandomizeGrammar.h
src
/
grammar
/
Regular
/
RightRG.h
convert
/
ToAutomaton.h
src
/
grammar
/
ContextFree
/
CFG.h
convert
/
ToAutomaton.h
src
/
grammar
/
ContextFree
/
EpsilonFreeCFG.h
convert
/
ToAutomaton.h
src
/
label
/
FinalStateLabel.h
convert
/
ToAutomaton.h
src
/
grammar
/
Grammar.h
convert
/
ToAutomaton.h
src
/
label
/
InitialStateLabel.h
convert
/
ToAutomaton.h
src
/
grammar
/
Regular
/
LeftRG.h
convert
/
ToAutomaton.h
src
/
automaton
/
FSM
/
NFA.h
convert
/
ToAutomaton.h
src
/
automaton
/
PDA
/
NPDA.h
convert
/
ToAutomaton.h
src
/
grammar
/
Regular
/
RightRG.h
convert
/
ToAutomatonBottomUp.h
src
/
alphabet
/
BottomOfTheStackSymbol.h
convert
/
ToAutomatonBottomUp.h
src
/
grammar
/
ContextFree
/
CFG.h
convert
/
ToAutomatonBottomUp.h
src
/
grammar
/
ContextFree
/
EpsilonFreeCFG.h
convert
/
ToAutomatonBottomUp.h
src
/
label
/
FinalStateLabel.h
convert
/
ToAutomatonBottomUp.h
src
/
grammar
/
Grammar.h
convert
/
ToAutomatonBottomUp.h
src
/
label
/
InitialStateLabel.h
convert
/
ToAutomatonBottomUp.h
src
/
automaton
/
PDA
/
NPDA.h
convert
/
ToAutomatonBottomUp.h
src
/
grammar
/
RawRules.h
convert
/
ToAutomatonTopDown.h
src
/
grammar
/
ContextFree
/
CFG.h
convert
/
ToAutomatonTopDown.h
src
/
grammar
/
ContextFree
/
EpsilonFreeCFG.h
convert
/
ToAutomatonTopDown.h
src
/
grammar
/
Grammar.h
convert
/
ToAutomatonTopDown.h
src
/
label
/
InitialStateLabel.h
convert
/
ToAutomatonTopDown.h
src
/
automaton
/
PDA
/
NPDA.h
convert
/
ToAutomatonTopDown.h
src
/
grammar
/
RawRules.h
convert
/
ToGrammarLeftRG.h
src
/
grammar
/
Regular
/
LeftRG.h
convert
/
ToGrammarLeftRG.h
src
/
grammar
/
Regular
/
RightRG.h
convert
/
ToGrammarRightRG.h
src
/
grammar
/
Regular
/
LeftRG.h
convert
/
ToGrammarRightRG.h
src
/
grammar
/
Regular
/
RightRG.h
convert
/
ToRegExp.h
src
/
grammar
/
Regular
/
LeftRG.h
convert
/
ToRegExp.h
src
/
grammar
/
Regular
/
RightRG.h
convert
/
ToRegExpAlgebraic.h
src
/
grammar
/
Regular
/
LeftRG.h
convert
/
ToRegExpAlgebraic.h
src
/
grammar
/
Regular
/
RightRG.h
convert
/
ToRegExpAlgebraic.h
src
/
regexp
/
unbounded
/
UnboundedRegExp.h
convert
/
ToRegExpAlgebraic.h
src
/
regexp
/
unbounded
/
UnboundedRegExpElements.h
properties
/
IsLanguageEmpty.cpp
src
/
grammar
/
ContextFree
/
CFG.h
properties
/
IsLanguageEmpty.cpp
src
/
grammar
/
ContextFree
/
EpsilonFreeCFG.h
properties
/
IsLanguageEmpty.cpp
src
/
grammar
/
ContextFree
/
GNF.h
properties
/
IsLanguageEmpty.cpp
src
/
grammar
/
ContextFree
/
CNF.h
properties
/
IsLanguageEmpty.cpp
src
/
grammar
/
ContextFree
/
LG.h
properties
/
IsLanguageEmpty.cpp
src
/
grammar
/
Regular
/
LeftLG.h
properties
/
IsLanguageEmpty.cpp
src
/
grammar
/
Regular
/
LeftRG.h
properties
/
IsLanguageEmpty.cpp
src
/
grammar
/
Regular
/
RightLG.h
properties
/
IsLanguageEmpty.cpp
src
/
grammar
/
Regular
/
RightRG.h
properties
/
IsLanguageGeneratingEpsilon.cpp
src
/
grammar
/
ContextFree
/
CFG.h
properties
/
IsLanguageGeneratingEpsilon.cpp
src
/
grammar
/
ContextFree
/
EpsilonFreeCFG.h
properties
/
IsLanguageGeneratingEpsilon.cpp
src
/
grammar
/
ContextFree
/
GNF.h
properties
/
IsLanguageGeneratingEpsilon.cpp
src
/
grammar
/
ContextFree
/
CNF.h
properties
/
IsLanguageGeneratingEpsilon.cpp
src
/
grammar
/
ContextFree
/
LG.h
properties
/
IsLanguageGeneratingEpsilon.cpp
src
/
grammar
/
Regular
/
LeftLG.h
properties
/
IsLanguageGeneratingEpsilon.cpp
src
/
grammar
/
Regular
/
LeftRG.h
properties
/
IsLanguageGeneratingEpsilon.cpp
src
/
grammar
/
Regular
/
RightLG.h
properties
/
IsLanguageGeneratingEpsilon.cpp
src
/
grammar
/
Regular
/
RightRG.h
properties
/
NonterminalUnitRuleCycle.cpp
src
/
grammar
/
ContextFree
/
CFG.h
properties
/
NonterminalUnitRuleCycle.cpp
src
/
grammar
/
ContextFree
/
EpsilonFreeCFG.h
properties
/
NonterminalUnitRuleCycle.cpp
src
/
grammar
/
ContextFree
/
GNF.h
properties
/
NonterminalUnitRuleCycle.cpp
src
/
grammar
/
ContextFree
/
CNF.h
properties
/
NonterminalUnitRuleCycle.cpp
src
/
grammar
/
ContextFree
/
LG.h
properties
/
NonterminalUnitRuleCycle.cpp
src
/
grammar
/
Regular
/
LeftLG.h
properties
/
NonterminalUnitRuleCycle.cpp
src
/
grammar
/
Regular
/
LeftRG.h
properties
/
NonterminalUnitRuleCycle.cpp
src
/
grammar
/
Regular
/
RightLG.h
properties
/
NonterminalUnitRuleCycle.cpp
src
/
grammar
/
Regular
/
RightRG.h
properties
/
NonterminalUnitRuleCycle.h
src
/
grammar
/
RawRules.h
properties
/
NullableNonterminals.cpp
src
/
grammar
/
ContextFree
/
CFG.h
properties
/
NullableNonterminals.cpp
src
/
grammar
/
ContextFree
/
EpsilonFreeCFG.h
properties
/
NullableNonterminals.cpp
src
/
grammar
/
ContextFree
/
GNF.h
properties
/
NullableNonterminals.cpp
src
/
grammar
/
ContextFree
/
CNF.h
properties
/
NullableNonterminals.cpp
src
/
grammar
/
ContextFree
/
LG.h
properties
/
NullableNonterminals.cpp
src
/
grammar
/
Regular
/
LeftLG.h
properties
/
NullableNonterminals.cpp
src
/
grammar
/
Regular
/
LeftRG.h
properties
/
NullableNonterminals.cpp
src
/
grammar
/
Regular
/
RightLG.h
properties
/
NullableNonterminals.cpp
src
/
grammar
/
Regular
/
RightRG.h
properties
/
NullableNonterminals.h
src
/
grammar
/
Grammar.h
properties
/
NullableNonterminals.h
src
/
grammar
/
RawRules.h
properties
/
ProductiveNonterminals.cpp
src
/
grammar
/
ContextFree
/
CFG.h
properties
/
ProductiveNonterminals.cpp
src
/
grammar
/
ContextFree
/
EpsilonFreeCFG.h
properties
/
ProductiveNonterminals.cpp
src
/
grammar
/
ContextFree
/
GNF.h
properties
/
ProductiveNonterminals.cpp
src
/
grammar
/
ContextFree
/
CNF.h
properties
/
ProductiveNonterminals.cpp
src
/
grammar
/
ContextFree
/
LG.h
properties
/
ProductiveNonterminals.cpp
src
/
grammar
/
Regular
/
LeftLG.h
properties
/
ProductiveNonterminals.cpp
src
/
grammar
/
Regular
/
LeftRG.h
properties
/
ProductiveNonterminals.cpp
src
/
grammar
/
Regular
/
RightLG.h
properties
/
ProductiveNonterminals.cpp
src
/
grammar
/
Regular
/
RightRG.h
properties
/
ProductiveNonterminals.h
src
/
grammar
/
Grammar.h
properties
/
ProductiveNonterminals.h
src
/
grammar
/
RawRules.h
properties
/
ReachableSymbols.cpp
src
/
grammar
/
ContextFree
/
CFG.h
properties
/
ReachableSymbols.cpp
src
/
grammar
/
ContextFree
/
EpsilonFreeCFG.h
properties
/
ReachableSymbols.cpp
src
/
grammar
/
ContextFree
/
GNF.h
properties
/
ReachableSymbols.cpp
src
/
grammar
/
ContextFree
/
CNF.h
properties
/
ReachableSymbols.cpp
src
/
grammar
/
ContextFree
/
LG.h
properties
/
ReachableSymbols.cpp
src
/
grammar
/
Regular
/
LeftLG.h
properties
/
ReachableSymbols.cpp
src
/
grammar
/
Regular
/
LeftRG.h
properties
/
ReachableSymbols.cpp
src
/
grammar
/
Regular
/
RightLG.h
properties
/
ReachableSymbols.cpp
src
/
grammar
/
Regular
/
RightRG.h
properties
/
ReachableSymbols.h
src
/
grammar
/
Grammar.h
properties
/
ReachableSymbols.h
src
/
grammar
/
RawRules.h
properties
/
RecursiveNonterminal.cpp
src
/
grammar
/
ContextFree
/
CFG.h
properties
/
RecursiveNonterminal.cpp
src
/
grammar
/
ContextFree
/
EpsilonFreeCFG.h
properties
/
RecursiveNonterminal.cpp
src
/
grammar
/
ContextFree
/
GNF.h
properties
/
RecursiveNonterminal.cpp
src
/
grammar
/
ContextFree
/
CNF.h
properties
/
RecursiveNonterminal.cpp
src
/
grammar
/
ContextFree
/
LG.h
properties
/
RecursiveNonterminal.cpp
src
/
grammar
/
Regular
/
LeftLG.h
properties
/
RecursiveNonterminal.cpp
src
/
grammar
/
Regular
/
LeftRG.h
properties
/
RecursiveNonterminal.cpp
src
/
grammar
/
Regular
/
RightLG.h
properties
/
RecursiveNonterminal.cpp
src
/
grammar
/
Regular
/
RightRG.h
properties
/
RecursiveNonterminal.h
src
/
grammar
/
RawRules.h
simplify
/
EpsilonRemover.h
src
/
grammar
/
Grammar.h
simplify
/
EpsilonRemover.h
src
/
grammar
/
ContextFree
/
CFG.h
simplify
/
EpsilonRemover.h
src
/
grammar
/
ContextFree
/
EpsilonFreeCFG.h
simplify
/
EpsilonRemover.h
src
/
grammar
/
ContextFree
/
CNF.h
simplify
/
EpsilonRemover.h
src
/
grammar
/
ContextFree
/
GNF.h
simplify
/
EpsilonRemover.h
src
/
grammar
/
ContextFree
/
LG.h
simplify
/
EpsilonRemover.h
src
/
grammar
/
Regular
/
LeftLG.h
simplify
/
EpsilonRemover.h
src
/
grammar
/
Regular
/
LeftRG.h
simplify
/
EpsilonRemover.h
src
/
grammar
/
Regular
/
RightLG.h
simplify
/
EpsilonRemover.h
src
/
grammar
/
Regular
/
RightRG.h
simplify
/
EpsilonRemover.h
src
/
grammar
/
RawRules.h
simplify
/
LeftRecursionRemover.h
src
/
grammar
/
ContextFree
/
CFG.h
simplify
/
LeftRecursionRemover.h
src
/
grammar
/
ContextFree
/
EpsilonFreeCFG.h
simplify
/
LeftRecursionRemover.h
src
/
grammar
/
ContextFree
/
CNF.h
simplify
/
LeftRecursionRemover.h
src
/
grammar
/
ContextFree
/
GNF.h
simplify
/
LeftRecursionRemover.h
src
/
grammar
/
ContextFree
/
LG.h
simplify
/
LeftRecursionRemover.h
src
/
grammar
/
Regular
/
LeftLG.h
simplify
/
LeftRecursionRemover.h
src
/
grammar
/
Regular
/
LeftRG.h
simplify
/
LeftRecursionRemover.h
src
/
grammar
/
Regular
/
RightLG.h
simplify
/
LeftRecursionRemover.h
src
/
grammar
/
Regular
/
RightRG.h
simplify
/
Rename.h
src
/
grammar
/
Regular
/
LeftRG.h
simplify
/
Rename.h
src
/
grammar
/
Regular
/
RightRG.h
simplify
/
SimpleRulesRemover.h
src
/
grammar
/
ContextFree
/
CFG.h
simplify
/
SimpleRulesRemover.h
src
/
grammar
/
ContextFree
/
EpsilonFreeCFG.h
simplify
/
SimpleRulesRemover.h
src
/
grammar
/
ContextFree
/
CNF.h
simplify
/
SimpleRulesRemover.h
src
/
grammar
/
ContextFree
/
GNF.h
simplify
/
SimpleRulesRemover.h
src
/
grammar
/
ContextFree
/
LG.h
simplify
/
SimpleRulesRemover.h
src
/
grammar
/
Regular
/
LeftLG.h
simplify
/
SimpleRulesRemover.h
src
/
grammar
/
Regular
/
LeftRG.h
simplify
/
SimpleRulesRemover.h
src
/
grammar
/
Regular
/
RightLG.h
simplify
/
SimpleRulesRemover.h
src
/
grammar
/
Regular
/
RightRG.h
simplify
/
SimpleRulesRemover.h
src
/
grammar
/
Grammar.h
simplify
/
SimpleRulesRemover.h
src
/
grammar
/
RawRules.h
simplify
/
SimpleRulesRemover.h
src
/
grammar
/
AddRawRule.h
simplify
/
ToCNF.h
src
/
grammar
/
Grammar.h
simplify
/
ToCNF.h
src
/
grammar
/
ContextFree
/
CFG.h
simplify
/
ToCNF.h
src
/
grammar
/
ContextFree
/
EpsilonFreeCFG.h
simplify
/
ToCNF.h
src
/
grammar
/
ContextFree
/
CNF.h
simplify
/
ToCNF.h
src
/
grammar
/
ContextFree
/
GNF.h
simplify
/
ToCNF.h
src
/
grammar
/
ContextFree
/
LG.h
simplify
/
ToCNF.h
src
/
grammar
/
Regular
/
LeftLG.h
simplify
/
ToCNF.h
src
/
grammar
/
Regular
/
LeftRG.h
simplify
/
ToCNF.h
src
/
grammar
/
Regular
/
RightLG.h
simplify
/
ToCNF.h
src
/
grammar
/
Regular
/
RightRG.h
simplify
/
ToGNF.h
src
/
grammar
/
ContextFree
/
CFG.h
simplify
/
ToGNF.h
src
/
grammar
/
ContextFree
/
EpsilonFreeCFG.h
simplify
/
ToGNF.h
src
/
grammar
/
ContextFree
/
CNF.h
simplify
/
ToGNF.h
src
/
grammar
/
ContextFree
/
GNF.h
simplify
/
ToGNF.h
src
/
grammar
/
ContextFree
/
LG.h
simplify
/
ToGNF.h
src
/
grammar
/
Regular
/
LeftLG.h
simplify
/
ToGNF.h
src
/
grammar
/
Regular
/
LeftRG.h
simplify
/
ToGNF.h
src
/
grammar
/
Regular
/
RightLG.h
simplify
/
ToGNF.h
src
/
grammar
/
Regular
/
RightRG.h
simplify
/
Trim.h
src
/
grammar
/
ContextFree
/
CFG.h
simplify
/
Trim.h
src
/
grammar
/
ContextFree
/
EpsilonFreeCFG.h
simplify
/
Trim.h
src
/
grammar
/
ContextFree
/
GNF.h
simplify
/
Trim.h
src
/
grammar
/
ContextFree
/
CNF.h
simplify
/
Trim.h
src
/
grammar
/
ContextFree
/
LG.h
simplify
/
Trim.h
src
/
grammar
/
Regular
/
LeftLG.h
simplify
/
Trim.h
src
/
grammar
/
Regular
/
LeftRG.h
simplify
/
Trim.h
src
/
grammar
/
Regular
/
RightLG.h
simplify
/
Trim.h
src
/
grammar
/
Regular
/
RightRG.h
simplify
/
UnproductiveSymbolsRemover.h
src
/
grammar
/
ContextFree
/
CFG.h
simplify
/
UnproductiveSymbolsRemover.h
src
/
grammar
/
ContextFree
/
EpsilonFreeCFG.h
simplify
/
UnproductiveSymbolsRemover.h
src
/
grammar
/
ContextFree
/
GNF.h
simplify
/
UnproductiveSymbolsRemover.h
src
/
grammar
/
ContextFree
/
CNF.h
simplify
/
UnproductiveSymbolsRemover.h
src
/
grammar
/
ContextFree
/
LG.h
simplify
/
UnproductiveSymbolsRemover.h
src
/
grammar
/
Regular
/
LeftLG.h
simplify
/
UnproductiveSymbolsRemover.h
src
/
grammar
/
Regular
/
LeftRG.h
simplify
/
UnproductiveSymbolsRemover.h
src
/
grammar
/
Regular
/
RightLG.h
simplify
/
UnproductiveSymbolsRemover.h
src
/
grammar
/
Regular
/
RightRG.h
simplify
/
UnproductiveSymbolsRemover.h
src
/
grammar
/
RawRules.h
simplify
/
UnproductiveSymbolsRemover.h
src
/
grammar
/
AddRawRule.h
simplify
/
UnreachableSymbolsRemover.h
src
/
grammar
/
ContextFree
/
CFG.h
simplify
/
UnreachableSymbolsRemover.h
src
/
grammar
/
ContextFree
/
EpsilonFreeCFG.h
simplify
/
UnreachableSymbolsRemover.h
src
/
grammar
/
ContextFree
/
GNF.h
simplify
/
UnreachableSymbolsRemover.h
src
/
grammar
/
ContextFree
/
CNF.h
simplify
/
UnreachableSymbolsRemover.h
src
/
grammar
/
ContextFree
/
LG.h
simplify
/
UnreachableSymbolsRemover.h
src
/
grammar
/
Regular
/
LeftLG.h
simplify
/
UnreachableSymbolsRemover.h
src
/
grammar
/
Regular
/
LeftRG.h
simplify
/
UnreachableSymbolsRemover.h
src
/
grammar
/
Regular
/
RightLG.h
simplify
/
UnreachableSymbolsRemover.h
src
/
grammar
/
Regular
/
RightRG.h
simplify
/
UnreachableSymbolsRemover.h
src
/
grammar
/
RawRules.h
simplify
/
UnreachableSymbolsRemover.h
src
/
grammar
/
AddRawRule.h
transform
/
GrammarAlternation.h
src
/
grammar
/
ContextFree
/
CFG.h
transform
/
GrammarAlternation.h
src
/
label
/
InitialStateLabel.h
transform
/
GrammarConcatenation.h
src
/
grammar
/
ContextFree
/
CFG.h
transform
/
GrammarConcatenation.h
src
/
label
/
InitialStateLabel.h
transform
/
GrammarIteration.h
src
/
grammar
/
ContextFree
/
CFG.h
transform
/
GrammarIteration.h
src
/
label
/
InitialStateLabel.h
transform
/
GrammarTransformCommon.h
src
/
grammar
/
ContextFree
/
CFG.h
Generated on Mon Dec 27 2021 10:22:09 for Algorithms Library Toolkit by
1.9.2