extend jump thread for finite state automata