Research School

Collection Research School

00:00:00 / 00:00:00
38 65

Apparaît également dans les 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.

Informations sur la vidéo

Données de citation

Bibliographie

Dernières questions liées sur MathOverflow

Pour poser une question, votre compte Carmin.tv doit être connecté à mathoverflow

Poser une question sur MathOverflow




Inscrivez-vous

  • Mettez des vidéos en favori
  • Ajoutez des vidéos à regarder plus tard &
    conservez votre historique de consultation
  • Commentez avec la communauté
    scientifique
  • Recevez des notifications de mise à jour
    de vos sujets favoris
Donner son avis