Cycle-aware minimization of acyclic deterministic finite-state automata
scientific article; zbMATH DE number 6484123