Links for finit-automaton