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

simplify → properties Relation

File in alib2elgo/src/automaton/simplifyIncludes file in alib2elgo/src/automaton/properties
efficient / EpsilonRemoverIncoming.hefficient / AllEpsilonClosure.h
efficient / EpsilonRemoverOutgoing.hefficient / AllEpsilonClosure.h
efficient / UnreachableStatesRemover.hefficient / ReachableStates.h
efficient / UselessStatesRemover.hefficient / UsefulStates.h