"one-cycle-free-path automaton" . "one-cycle-free-path automaton" . . .