Modeling and analysis of the behavior of successive reactive programs
Finite state transducers extend the finite state automata to model functions on strings or lists.They may be used also as simple models of sequential reactive programs.These programs operate in the interaction with the environment permanently receiving data (requests) from it.At receiving a piece of data such program performs a sequence of actions.