Research School

Collection Research School

00:00:00 / 00:00:00
39 65

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.

Information about the video

Citation data

Bibliography

Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow




Register

  • Bookmark videos
  • Add videos to see later &
    keep your browsing history
  • Comment with the scientific
    community
  • Get notification updates
    for your favorite subjects
Give feedback