Décidabilité - Tuyen Nguyen`s personal page

!"#$%!&'()&*)+(&',-.+&
'(/01).&2.3&4,50645.3&.5&74+848.3&9016.73&
&
Décidabilité
:&

%;.6<7.3&2.&<10=7>6.3&)+2/?)24=7.3&
• %35@?.&A,.&2.,;&814664)1.3&+0+&?0+5.;5,.77.3&30+5&
/A,)B47.+5.3&C2/D+)33.+5&7.&6E6.&74+848.FG&
• %35@?.&A,H,+.&814664)1.&+0+&?0+5.;5,.77.&.35&46=)8,G&
• I)&,+.&814664)1.&+0+&?0+5.;5,.77.&.35&46=)8,J&.35@?.&A,H)7&
.;)35.&,+.&4,51.&814664)1.&<0,1&7.&6E6.&74+848.&.35&A,)&
+H.35&<43&46=)8,G&
• %35@?.&A,.&7.&?06<7/6.+5&2H,+&74+848.&+0+&?0+5.;5,.7&.35&
,+&74+848.&+0+&?0+5.;5,.7G&
• %35@?.&A,.&7H)+5.13.?K0+&2.&2.,;&74+848.3&+0+&?0+5.;5,.73&
.35&,+&74+848.&+0+&?0+5.;5,.7G&
• %35@?.&A,.&7H)+5.13.?K0+&2.&2.,;&74+848.3&+0+&?0+5.;5,.73&
.35&B)2.G&
• %35@?.&A,H)7&.;)35.&,+&605&A,)&+H.35&<43&24+3&7.&74+848.&
.+8.+21/&<41&,+.&814664)1.&+0+&?0+5.;5,.77.G&
L&

M10=7>6.3&2/?)24=7.3&
:N %35@?.&A,.&7.&74+848.&.+8.+21/&<41&,+.&
814664)1.&+0+&?0+5.;5,.77.&.35&B)2.G&
LN %35@?.&A,.&7.&74+848.&.+8.+21/&<41&,+.&
814664)1.&+0+&?0+5.;5,.77.&.35&D+)&0,&)+D+)G&
ON %35@?.&A,H,+&605&w&4<<41K.+5&4,&74+848.&
.+8.+21/&<41&,+.&814664)1.&+0+&
?0+5.;5,.77.G&
O&

ThéorèmeP&Q/5.16)+.1&3)&7.&74+848.&.+8.+21/&<41&,+.&814664)1.&+0+&
?0+5.;5,.77.&.35&B)2.&.35&,+&<10=7>6.&2/?)24=7.N&
PreuveP&
• I& ⇒*. RG& C<41& ,+& 47801)5(6.& ?0+351,?K9& 24+3.Formes. canoniques.
des.Grammaires&A,)&<.,5&2/5.16)+.1&3)&,+.&B41)4=7.&.35&.S4T4=7.F&
&&&&&I)+0+J&0+&514+39016.&74&814664)1.&.+&,+.&814664)1.&30,3&74&9016.&
+01647&2.&U(063V-N&
• ,+.&<102,?K0+&2.&74&9016.P&I&→.5.16)+47G&
• I)+0+J&0+&1/<>5.P&
:N W+&?(0)3)5&,+.&B41)4=7.&!&5.7&A,.P&!&→.5&C3,)5.&2.&5.16)+4,;FN&W+&
1.6<74?.& !& X& 210)5.& 24+3& ,+.& <102,?K0+& <41& 5N& W+& .+7>B.& 7.3&
4,51.3&<102,?K0+3&<0,1&!N&
LN W+& 411E5.& 3H)7& -& 4& ,+.& <102,?K0+& I& →.5& 0,& 3H)7& +H-& 4& <7,3& 2.&
B41)4=7.3&X&?(0)3)1N&
Y&

%;.6<7.&
Z&
I&@[&\$&
\&@[&]\&
\&@[&]]&
]&@[&4&
$&@[&^$&
$&@[&^^&
^&@[&=&
_54<.&:P&`.6<74?.&]&<41&4&.5&^&<41&=P&
&I&@[&\$&
&\&@[&4\&
&\&@[&44&
&$&@[&=$&
&$&@[&==&
&_54<.&:P&`.6<74?.&\&<41&44&.5&$&<41&==P&
&I&@[&44==&
&_54<.&:P&`.6<74?.&I&<41&44==N&
&&