Karel Culik II Vladimir Valenta Generalized Finite Automata and Transducers. 3-18 1997 2 Journal of Automata, Languages and Combinatorics 1 db/journals/jalc/jalc2.html#CulikV97