Evènement pour le groupe Graphes et Logique


Date 2008-09-23  11:00-12:00
TitreHigher-Order Pushdown and Monoids 
RésuméOn one hand, we present a notion of rational subset of a free-group with additional predicates, which is useful for studying HO-pda. On the other hand, we describe some applications of the notion of HO-pda to: - rational subsets of HOM(X*,X*), - rational series in N<>, - residually u.periodic sequences of words, - sets of solutions of equations over words.  
Lieu076 
OrateurGéraud Sénizergues 
Emailges@labri.fr 
UrlLaBRI 



1 document lié:
  Transparents de l'exposé de Géraud


Retour
Retour à l'index