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

properties → alib2abstraction Relation

File in alib2algo/src/automaton/propertiesIncludes file in alib2abstraction
AllEpsilonClosure.cppsrc / registration / AlgoRegistration.hpp
BackwardBisimulation.cppsrc / registration / AlgoRegistration.hpp
DistinguishableStates.cppsrc / registration / AlgoRegistration.hpp
EpsilonClosure.cppsrc / registration / AlgoRegistration.hpp
ForwardBisimulation.cppsrc / registration / AlgoRegistration.hpp
InfiniteLanguage.cppsrc / registration / AlgoRegistration.hpp
ReachableStates.cppsrc / registration / AlgoRegistration.hpp
SynchronizingWordExistence.cppsrc / registration / AlgoRegistration.hpp
UndistinguishableStates.cppsrc / registration / AlgoRegistration.hpp
UsefulStates.cppsrc / registration / AlgoRegistration.hpp