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

properties → automaton Relation

File in alib2algo/src/arbology/propertiesIncludes file in alib2algo/src/automaton
ExactSubtreeRepeatsFromSubtreeAutomaton.hdeterminize / Determinize.h