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

automaton → simplify Relation

File in alib2algo/src/automatonIncludes file in alib2algo/src/rte/simplify
convert / ToRTEStateElimination.hRTEOptimize.h