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

automaton → alib2algo Relation

File in alib2algo_experimental/src/automatonIncludes file in alib2algo
MinimizeGenerator.cppsrc / automaton / simplify / Minimize.h
MinimizeGenerator.cppsrc / automaton / generate / RandomizeAutomaton.h
MinimizeGenerator.cppsrc / automaton / simplify / UnreachableStatesRemover.h
MinimizeGenerator.cppsrc / automaton / simplify / UselessStatesRemover.h