Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
alib2algo
src
automaton
simplify
simplify → alib2data Relation
File in alib2algo/src/automaton/simplify
Includes file in alib2data
EpsilonRemoverIncoming.h
src
/
automaton
/
FSM
/
DFA.h
EpsilonRemoverIncoming.h
src
/
automaton
/
FSM
/
EpsilonNFA.h
EpsilonRemoverIncoming.h
src
/
automaton
/
FSM
/
MultiInitialStateNFA.h
EpsilonRemoverIncoming.h
src
/
automaton
/
FSM
/
NFA.h
EpsilonRemoverOutgoing.h
src
/
automaton
/
FSM
/
DFA.h
EpsilonRemoverOutgoing.h
src
/
automaton
/
FSM
/
EpsilonNFA.h
EpsilonRemoverOutgoing.h
src
/
automaton
/
FSM
/
MultiInitialStateNFA.h
EpsilonRemoverOutgoing.h
src
/
automaton
/
FSM
/
NFA.h
Minimize.h
src
/
automaton
/
FSM
/
DFA.h
Minimize.h
src
/
automaton
/
TA
/
DFTA.h
MinimizeBrzozowski.h
src
/
automaton
/
FSM
/
DFA.h
MinimizeBrzozowski.h
src
/
automaton
/
FSM
/
MultiInitialStateNFA.h
MinimizeBrzozowski.h
src
/
automaton
/
FSM
/
NFA.h
MinimizeByPartitioning.h
src
/
automaton
/
FSM
/
DFA.h
MinimizeByPartitioning.h
src
/
automaton
/
TA
/
DFTA.h
MinimizeByPartitioning.h
src
/
automaton
/
FSM
/
NFA.h
MinimizeByPartitioning.h
src
/
automaton
/
TA
/
NFTA.h
MinimizeByPartitioning.h
src
/
automaton
/
TA
/
UnorderedDFTA.h
MinimizeByPartitioning.h
src
/
automaton
/
TA
/
UnorderedNFTA.h
MinimizeVerbose.h
src
/
automaton
/
FSM
/
DFA.h
MinimizeVerbose.h
src
/
automaton
/
TA
/
DFTA.h
Normalize.h
src
/
automaton
/
FSM
/
CompactDFA.h
Normalize.h
src
/
automaton
/
FSM
/
DFA.h
Normalize.h
src
/
automaton
/
TA
/
DFTA.h
Normalize.h
src
/
automaton
/
PDA
/
DPDA.h
Normalize.h
src
/
automaton
/
PDA
/
RealTimeHeightDeterministicDPDA.h
RemoveUnused.h
src
/
automaton
/
PDA
/
RealTimeHeightDeterministicDPDA.h
Rename.h
src
/
automaton
/
TA
/
ArcFactoredDeterministicZAutomaton.h
Rename.h
src
/
automaton
/
TA
/
ArcFactoredNondeterministicZAutomaton.h
Rename.h
src
/
automaton
/
FSM
/
DFA.h
Rename.h
src
/
automaton
/
TA
/
DFTA.h
Rename.h
src
/
automaton
/
PDA
/
DPDA.h
Rename.h
src
/
automaton
/
FSM
/
EpsilonNFA.h
Rename.h
src
/
automaton
/
PDA
/
InputDrivenDPDA.h
Rename.h
src
/
automaton
/
FSM
/
NFA.h
Rename.h
src
/
automaton
/
TA
/
NFTA.h
Rename.h
src
/
automaton
/
PDA
/
NPDA.h
Rename.h
src
/
automaton
/
PDA
/
RealTimeHeightDeterministicDPDA.h
Rename.h
src
/
automaton
/
PDA
/
SinglePopDPDA.h
Rename.h
src
/
automaton
/
PDA
/
VisiblyPushdownDPDA.h
SingleInitialState.h
src
/
automaton
/
FSM
/
CompactNFA.h
SingleInitialState.h
src
/
automaton
/
FSM
/
DFA.h
SingleInitialState.h
src
/
automaton
/
FSM
/
EpsilonNFA.h
SingleInitialState.h
src
/
automaton
/
FSM
/
ExtendedNFA.h
SingleInitialState.h
src
/
label
/
InitialStateLabel.h
SingleInitialState.h
src
/
automaton
/
FSM
/
MultiInitialStateEpsilonNFA.h
SingleInitialState.h
src
/
automaton
/
FSM
/
MultiInitialStateNFA.h
SingleInitialState.h
src
/
automaton
/
FSM
/
NFA.h
SingleInitialStateEpsilonTransition.h
src
/
automaton
/
FSM
/
CompactNFA.h
SingleInitialStateEpsilonTransition.h
src
/
automaton
/
FSM
/
DFA.h
SingleInitialStateEpsilonTransition.h
src
/
automaton
/
FSM
/
EpsilonNFA.h
SingleInitialStateEpsilonTransition.h
src
/
automaton
/
FSM
/
ExtendedNFA.h
SingleInitialStateEpsilonTransition.h
src
/
label
/
InitialStateLabel.h
SingleInitialStateEpsilonTransition.h
src
/
automaton
/
FSM
/
MultiInitialStateEpsilonNFA.h
SingleInitialStateEpsilonTransition.h
src
/
automaton
/
FSM
/
MultiInitialStateNFA.h
SingleInitialStateEpsilonTransition.h
src
/
automaton
/
FSM
/
NFA.h
ToArcFactored.h
src
/
automaton
/
TA
/
ArcFactoredNondeterministicZAutomaton.h
ToArcFactored.h
src
/
automaton
/
TA
/
NondeterministicZAutomaton.h
ToArcFactored.h
src
/
alphabet
/
StartSymbol.h
Total.h
src
/
automaton
/
FSM
/
DFA.h
Total.h
src
/
automaton
/
TA
/
DFTA.h
Total.h
src
/
label
/
FailStateLabel.h
Total.h
src
/
automaton
/
FSM
/
NFA.h
Total.h
src
/
automaton
/
TA
/
NFTA.h
Trim.cpp
src
/
automaton
/
TA
/
ArcFactoredDeterministicZAutomaton.h
Trim.cpp
src
/
automaton
/
TA
/
ArcFactoredNondeterministicZAutomaton.h
Trim.cpp
src
/
automaton
/
FSM
/
CompactNFA.h
Trim.cpp
src
/
automaton
/
FSM
/
DFA.h
Trim.cpp
src
/
automaton
/
TA
/
DFTA.h
Trim.cpp
src
/
automaton
/
FSM
/
EpsilonNFA.h
Trim.cpp
src
/
automaton
/
FSM
/
ExtendedNFA.h
Trim.cpp
src
/
automaton
/
FSM
/
NFA.h
UnreachableStatesRemover.h
src
/
automaton
/
TA
/
ArcFactoredDeterministicZAutomaton.h
UnreachableStatesRemover.h
src
/
automaton
/
TA
/
ArcFactoredNondeterministicZAutomaton.h
UnreachableStatesRemover.h
src
/
automaton
/
FSM
/
CompactNFA.h
UnreachableStatesRemover.h
src
/
automaton
/
FSM
/
DFA.h
UnreachableStatesRemover.h
src
/
automaton
/
TA
/
DFTA.h
UnreachableStatesRemover.h
src
/
automaton
/
FSM
/
EpsilonNFA.h
UnreachableStatesRemover.h
src
/
automaton
/
FSM
/
ExtendedNFA.h
UnreachableStatesRemover.h
src
/
automaton
/
FSM
/
MultiInitialStateNFA.h
UnreachableStatesRemover.h
src
/
automaton
/
FSM
/
NFA.h
UselessStatesRemover.cpp
src
/
automaton
/
TA
/
ArcFactoredDeterministicZAutomaton.h
UselessStatesRemover.h
src
/
automaton
/
TA
/
ArcFactoredDeterministicZAutomaton.h
UselessStatesRemover.h
src
/
automaton
/
TA
/
ArcFactoredNondeterministicZAutomaton.h
UselessStatesRemover.h
src
/
automaton
/
FSM
/
CompactNFA.h
UselessStatesRemover.h
src
/
automaton
/
FSM
/
DFA.h
UselessStatesRemover.h
src
/
automaton
/
TA
/
DFTA.h
UselessStatesRemover.h
src
/
automaton
/
FSM
/
EpsilonNFA.h
UselessStatesRemover.h
src
/
automaton
/
FSM
/
ExtendedNFA.h
UselessStatesRemover.h
src
/
automaton
/
FSM
/
MultiInitialStateNFA.h
UselessStatesRemover.h
src
/
automaton
/
FSM
/
NFA.h
Generated on Mon Dec 27 2021 10:22:08 for Algorithms Library Toolkit by
1.9.2