2004/037 - Reducing Cover Subsequential Transducers
- Jean-Marc Champarnaud , Franck Guingne , Georges Hansel
Descriptional Complexity of Formal Systems. 6th workshop, London, Ontario, Canada, July 26-28, 2004.
Cover automata were introduced a few years ago for designing a compact representation of finite languages. Our aim is to extend this notion to cover transducers with funcion for finite domain.