Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages

automaton → alib2abstraction Relation

File in alib2algo/src/automatonIncludes file in alib2abstraction
convert / ToGrammar.cppsrc / registration / AlgoRegistration.hpp
convert / ToGrammarLeftRG.cppsrc / registration / AlgoRegistration.hpp
convert / ToGrammarRightRG.cppsrc / registration / AlgoRegistration.hpp
convert / ToPostfixPushdownAutomaton.cppsrc / registration / AlgoRegistration.hpp
convert / ToPrefixPushdownAutomaton.cppsrc / registration / AlgoRegistration.hpp
convert / ToRegExp.cppsrc / registration / AlgoRegistration.hpp
convert / ToRegExpAlgebraic.cppsrc / registration / AlgoRegistration.hpp
convert / ToRegExpKleene.cppsrc / registration / AlgoRegistration.hpp
convert / ToRegExpStateElimination.cppsrc / registration / AlgoRegistration.hpp
convert / ToRTEStateElimination.cppsrc / registration / AlgoRegistration.hpp
determinize / Determinize.cppsrc / registration / AlgoRegistration.hpp
generate / NumberModuloAutomaton.cppsrc / registration / AlgoRegistration.hpp
generate / NumberOfSymbolsAutomaton.cppsrc / registration / AlgoRegistration.hpp
generate / RandomAutomatonFactory.cppsrc / registration / AlgoRegistration.hpp
generate / RandomizeAutomaton.cppsrc / registration / AlgoRegistration.hpp
generate / RandomTreeAutomatonFactory.cppsrc / registration / AlgoRegistration.hpp
properties / AllEpsilonClosure.cppsrc / registration / AlgoRegistration.hpp
properties / BackwardBisimulation.cppsrc / registration / AlgoRegistration.hpp
properties / DistinguishableStates.cppsrc / registration / AlgoRegistration.hpp
properties / EpsilonClosure.cppsrc / registration / AlgoRegistration.hpp
properties / ForwardBisimulation.cppsrc / registration / AlgoRegistration.hpp
properties / InfiniteLanguage.cppsrc / registration / AlgoRegistration.hpp
properties / ReachableStates.cppsrc / registration / AlgoRegistration.hpp
properties / SynchronizingWordExistence.cppsrc / registration / AlgoRegistration.hpp
properties / UndistinguishableStates.cppsrc / registration / AlgoRegistration.hpp
properties / UsefulStates.cppsrc / registration / AlgoRegistration.hpp
run / Accept.cppsrc / registration / AlgoRegistration.hpp
run / Occurrences.cppsrc / registration / AlgoRegistration.hpp
run / Result.cppsrc / registration / AlgoRegistration.hpp
run / Translate.cppsrc / registration / AlgoRegistration.hpp
simplify / EpsilonRemoverIncoming.cppsrc / registration / AlgoRegistration.hpp
simplify / EpsilonRemoverOutgoing.cppsrc / registration / AlgoRegistration.hpp
simplify / Minimize.cppsrc / registration / AlgoRegistration.hpp
simplify / MinimizeBrzozowski.cppsrc / registration / AlgoRegistration.hpp
simplify / MinimizeByPartitioning.cppsrc / registration / AlgoRegistration.hpp
simplify / MinimizeVerbose.cppsrc / registration / AlgoRegistration.hpp
simplify / Normalize.cppsrc / registration / AlgoRegistration.hpp
simplify / RemoveUnused.cppsrc / registration / AlgoRegistration.hpp
simplify / Rename.cppsrc / registration / AlgoRegistration.hpp
simplify / SingleInitialState.cppsrc / registration / AlgoRegistration.hpp
simplify / SingleInitialStateEpsilonTransition.cppsrc / registration / AlgoRegistration.hpp
simplify / ToArcFactored.cppsrc / registration / AlgoRegistration.hpp
simplify / Total.cppsrc / registration / AlgoRegistration.hpp
simplify / Trim.cppsrc / registration / AlgoRegistration.hpp
simplify / UnreachableStatesRemover.cppsrc / registration / AlgoRegistration.hpp
simplify / UselessStatesRemover.cppsrc / registration / AlgoRegistration.hpp
transform / AutomataConcatenation.cppsrc / registration / AlgoRegistration.hpp
transform / AutomataConcatenationEpsilonTransition.cppsrc / registration / AlgoRegistration.hpp
transform / AutomataIntersectionCartesianProduct.cppsrc / registration / AlgoRegistration.hpp
transform / AutomataLeftQuotientCartesianProduct.cppsrc / registration / AlgoRegistration.hpp
transform / AutomataUnion.cppsrc / registration / AlgoRegistration.hpp
transform / AutomataUnionCartesianProduct.cppsrc / registration / AlgoRegistration.hpp
transform / AutomataUnionEpsilonTransition.cppsrc / registration / AlgoRegistration.hpp
transform / AutomataUnionMultipleInitialStates.cppsrc / registration / AlgoRegistration.hpp
transform / AutomatonComplement.cppsrc / registration / AlgoRegistration.hpp
transform / AutomatonIteration.cppsrc / registration / AlgoRegistration.hpp
transform / AutomatonIterationEpsilonTransition.cppsrc / registration / AlgoRegistration.hpp
transform / Compaction.cppsrc / registration / AlgoRegistration.hpp
transform / PDAToRHPDA.cppsrc / registration / CastRegistration.hpp
transform / PDAToRHPDA.cppsrc / registration / AlgoRegistration.hpp
transform / Reverse.cppsrc / registration / AlgoRegistration.hpp
transform / RHPDAToPDA.cppsrc / registration / CastRegistration.hpp
transform / RHPDAToPDA.cppsrc / registration / AlgoRegistration.hpp