programming with finite state automata 6247280