Transductions - Partie 2
Also appears in collections : Spring school in mathematical computer science / École jeunes chercheurs en informatique mathématique, Ecoles de recherche
Après une introduction générale présentant les principaux modèles et problèmes étudiés, nous étudierons plus précisément trois sujets qui permettront d’illustrer des propriétés algorithmiques, des aspects algébriques et logiques de cette théorie : - caractérisation, décision et minimisation des transducteurs séquentiels ; - équivalence et fonctionnalité de transducteurs : de l’indécidabilité à la décidabilité ; - présentation logique des transducteurs, et clôture par composition.