Résumé : 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.
Recording during the "Spring School in Mathematical Computer Science" the March 8, 2019 at the Centre International de Rencontres Mathématiques (Marseille, France)
Filmmaker: Guillaume Hennenfent
Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: https://library.cirm-math.fr. And discover all its functionalities:
- Chapter markers and keywords to watch the parts of your choice in the video
- Videos enriched with abstracts, bibliographies, Mathematics Subject Classification
- Multi-criteria search by author, title, tags, mathematical area
Pierre-Alain Reynier : Transductions - Partie 2 amulet meaning | |
| 1 Likes | 1 Dislikes |
| 33 views views | 10K followers |
| Science & Technology | Upload TimePublished on 12 Apr 2019 |
Không có nhận xét nào:
Đăng nhận xét