Transductions - Partie 2 | Vidéo | Carmin.tv

00:00:00 / 00:00:00

Transductions - Partie 2

By Pierre-Alain Reynier

Appears in collections : Research School, 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

Date of recording 08/03/2019
Date of publication 25/03/2019
Institution CIRM
Licence CC BY NC ND
Language French
Audience Researchers, Graduate Students
Director(s) Guillaume Hennenfent
Format MP4

Citation data

DOI 10.24350/CIRM.V.19497903
Cite this video Reynier, Pierre-Alain (08/03/2019). Transductions - Partie 2. CIRM. Audiovisual resource. DOI: 10.24350/CIRM.V.19497903
URL https://dx.doi.org/10.24350/CIRM.V.19497903

Domain(s)

Logic in Computer Science

Bibliography

Chalopin, J., & Guillon, P. (Eds.). (2019). Informatique mathématique : une photographie en 2019. Paris : CNRS Éditions - http://www.cnrseditions.fr/mathematiques/7818-informatique-mathematique.html

MSC codes

Document(s)

https://www.cirm-math.fr/RepOrga/1991/Notes/chap1.pdf

Last related questions on MathOverflow

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

Ask a question on MathOverflow

Copyright Carmin.tv 2026

Give feedback