Dualité et théorie équationnelle des langages
LIAFA, CNRS et Universit´e Paris Diderot
Dualit´e et th´eorie ´equationnelle
des langages
Mai Gehrke1Serge Grigorieff2Jean-´
Eric Pin2
1Radboud Universiteit
2LIAFA, CNRS et Universit´e Paris Diderot
Octobre 2008, PPS
LIAFA, CNRS et Universit´e Paris Diderot
Sommaire
(1) Langages
(2) Dualit´e
(3) Le monde profini
(4) Th´eories ´equationnelles des langages
LIAFA, CNRS et Universit´e Paris Diderot
Un cercle vertueux
Logique du
Premier ordre
Langages
sans-´etoile
xω=xω+1
Mono¨ıdes
ap´eriodiques
Decidabilit´e
Sch¨utzenberger
Mc Naughton
LIAFA, CNRS et Universit´e Paris Diderot
Un autre cercle vertueux
Formules
BΣ1
Langages
testables par morceaux
xω=xω+1
(xy)ω= (yx)ω
Mono¨ıdes
J-triviaux
Decidability
I. Simon
Thomas
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
1
/
52
100%
