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

automaton → rte Relation

File in alib2algo/src/automatonIncludes file in alib2algo/src/rte
convert / ToRTEStateElimination.hsimplify / RTEOptimize.h