Neural sequence models as automata computations