Page d'accueil du CNRS Page d'accueil de l'Université Paris Diderot Page d'accueil de Sciences En Marche Page d'accueil du LIAFA
LIAFA
Laboratoire d'Informatique Algorithmique: Fondements et Applications
CNRS UMR 7089, Université Paris Diderot - Paris 7, Case 7014
75205 Paris Cedex 13 - Tél: +33(0)1.57.27.92.56 - Fax: +33(0)1.57.27.94.09
   Annuaire      Contact      Accès au LIAFA      UFR d'informatique      Webmail   


English version




Page d'accueil de la Fédération de Recherche en Mathématiques de Paris Centre

Page d'accueil de la Fondation Sciences Mathématiques de Paris
Séminaires

  • Date: 1999-03-05
  • Auteur: Philippe Schnoebelen (LSV, ENS Cachan)
  • Titre: Automates d'arbres et algèbres de processus
  • Résumé:
  • PA est une algèbre de processus permettant le choix non-déterministe, la composition séquentielle, la composition parallèle, et la récursivité.

    Dans cet exposé, nous voulons montrer qu'il est judicieux de voir les ensembles de processus PA comme des langages d'arbres. Avec ce point de vue, de nombreux résultats de décidabilité sur PA peuvent être déduits directement d'un théorème simple disant que l'ensemble des états atteignables par un processus PA forme un langage régulier d'arbres.



 
 ©  LIAFA 1995, dernière mise à jour: Octobre 2014 webmestre[at]liafa.univ-paris-diderot.fr