m

F Nous contacter


0
     
Multi angle

H 1 Transductions - Partie 2

Auteurs : Reynier, Pierre-Alain (Auteur de la Conférence)
CIRM (Editeur )

    Loading the player...

    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.

    Keywords : sequential transducers; first-order logic; monadic second-order logic; decidability; equivalence; algebraic characterizations; definability problems; rational word transductions; finite automata; minimization; equivalence; finite words; tree transducer

    Codes MSC :
    03B25 - Decidability of theories and sets of sentences
    03D05 - Automata theory in connection with logical questions
    68Q45 - Formal languages and automata

    Ressources complémentaires :
    https://www.cirm-math.fr/RepOrga/1991/Notes/chap1.pdf

      Informations sur la Vidéo

      Réalisateur : Hennenfent, Guillaume
      Langue : Français
      Date de publication : 25/03/2019
      Date de captation : 08/03/2019
      Collection : Research schools
      Format : MP4
      Durée : 01:27:49
      Domaine : Computer Science ; Logic and Foundations
      Audience : Chercheurs ; Doctorants , Post - Doctorants ; Etudiants Science Cycle 2
      Download : https://videos.cirm-math.fr/2019-03-08_Reynier.mp4

    Informations sur la rencontre

    Nom de la rencontre : Spring school in mathematical computer science / École jeunes chercheurs en informatique mathématique
    Organisateurs de la rencontre : Couëtoux, Basile ; Elamrani Raoult, Aïda ; Guillon, Pierre ; Langlois, Philippe ; Martin, Bruno ; Portier, Natacha ; Theyssier, Guillaume
    Dates : 04/03/2019 - 08/03/2019
    Année de la rencontre : 2019
    URL Congrès : https://conferences.cirm-math.fr/1991.html

    Citation Data

    DOI : 10.24350/CIRM.V.19497903
    Cite this video as: Reynier, Pierre-Alain (2019). Transductions - Partie 2. CIRM. Audiovisual resource. doi:10.24350/CIRM.V.19497903
    URI : http://dx.doi.org/10.24350/CIRM.V.19497903


    Voir aussi

    Bibliographie

    1. 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

Z