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