UHBC / FSEI Module : THL

Département Informatique Niveau : L2

Exercice 6

Soit le langage L = {w avec w {0, 1}* dont le dernier caractère est le bit de parité}

1. G <T, N, S, P> où T={0, 1} ; N ={S, R, T} et

P={ S  0S / 1R / 0 ;
R  0R / 1T / 1 ;
T  0S / 1R / 0 }
2. G=G'
3.

0 0 On pose S0=S, S1=R, S2=T et S3=X on obtient :

0
1 0 1
1 T S0 S0,S3 S1
S
R S1 S1 S2, S3
= 1
1 S2 S0,S3 S1
0
0 (final) S3 - -

X 0

1 1
0 1 e3
e0=S0 S0,S3 S1 e0
e1
e1=S1 S1 S2, = 1
e2=S0,S3 S0,S3 S3 1
0
e3=S2, S3 S0,S3 S1 0
S1 e2

Minimisation de l'automate obtenu :

0={e0, e1} {e2, e3} 1={e0} {e1} {e2, e3} 2={e0} {e1} {e2, e3}

On pose s0 ={e0} s1 ={e1} s2 ={e2, e3}

0
donc l'automate minimal est:
1
s0
s1
=
1
0
1
s2