An overview of different formalisms is given in the following link to an introduction to including a section on more formal aspects of finite state automata and transducers.
