by Marie-Pierre Béal and Olivier Carton
Nous étudions la déterminisation des transducteurs sur les mots infinis. Nous considérons des transducteurs dont tous les états sont finaux. Nous donnons une caractérisation effective des fonctions séquentielles de mots infinis. Nous décrivons également un algorithme de déterminisation d'un transducteur sur les mots infinis.
We study the determinization of transducers over infinite words. We consider transducers with all their states final. We give an effective characterization of sequential functions over infinite words. We also describe an algorithm to determinize transducers over infinite words.
PDF Files