a minimal acyclic deterministic finite state automaton (MADFA)