04/12/2023

a b
{1} {1 , 2} {1}
a, b , c
{1 , 2} {1 , 2} {1 , 3}
3 {1 , 3} {1 , 2} {1 , 4}
a Déterministe {1 , 4} {1 , 2, 4} {1 , 4}
c b,c {1 , 2, 4} {1 , 2, 4} {1 , 3, 4}
0 b,c a {1 , 3, 4} {1 , 2, 4} {1 , 4}
1
a b
2

a,b a,b
b a 1/

1
b 2
a 3
a
1 {1,2}
Non Déterministe : Il faut le rendre déterministe
a b a b
2/
{1,3}
a {1,4}
b b b
{1,2,4}

a 1
a
b b 2

{1,3,4} a
 04/12/2023

1 2 3 4 5 6 a, b
b a
𝜋      
a      

a 
a, b 
b IV
b      
𝜋      
a      
b      
𝜋     V V
a     V V
b   V V V V
𝜋     V V

1/ Il est incomplet

2/
a b c
{1} {2 } Ø Ø
{2} Ø {3} Ø
{3} Ø {2} {4}
{4} Ø Ø Ø
Ø Ø Ø Ø
A’:
1
a 2
b 3
b
a, c c
b, c a
Ø a, b, c 4
a, b, c
 04/12/2023

A’:
3/
1
a 2
b 3
b
A:
𝑥 = a𝑥 a, c c
b, c a
𝑥 =b𝑥
𝑥 =b𝑥 +c𝑥 Ø a, b, c 4
𝑥 =𝜀 a, b, c
A’:
𝑥 = a𝑥 𝑥 = a𝑥 𝑥 = a𝑥 𝑥 = a𝑥 + (b+c) 𝑥∅
𝑥 =b𝑥 𝑥 = b (b 𝑥 + c)= bb 𝑥 +bc 𝑥 = (bb)* bc 𝑥 = b 𝑥 + (a+c) 𝑥∅
𝑥 =b𝑥 +c 𝑥 =b𝑥 +c 𝑥 =b𝑥 +c 𝑥 = b 𝑥 + c 𝑥 + a 𝑥∅
𝑥 =𝜀 𝑥 =𝜀 𝑥 =𝜀 𝑥 = (a+b+c) 𝑥∅ +𝜀
𝑥∅ = (a+b+c) 𝑥∅
𝑥 = a (bb)* bc
𝑥 = (bb)* bc
L’expression régulière de A est: a (bb)* bc
𝑥 = b(bb)* bcc
𝑥 =𝜀

A’:
𝑥 = a𝑥 + (b+c) 𝑥∅ 𝑥 = a𝑥 + (b+c) 𝑥∅
𝑥 = b 𝑥 + (a+c) 𝑥∅ 𝑥 = b 𝑥 + (a+c) 𝑥∅ Même système d’équation
𝑥 = b 𝑥 + c 𝑥 + a 𝑥∅ 𝑥 = b 𝑥 + c 𝑥 + a 𝑥∅
𝑥 = (a+b+c) 𝑥∅ +𝜀 𝑥 =𝜀
𝑥∅ = (a+b+c) 𝑥∅ 𝑥∅ = Ø
Que ce soit l’automate déterministe ou non, on obtient toujours la même expression
𝑥 = a𝑥 + (b+c) 𝑥∅ 𝑥 = a𝑥 + (b+c) 𝑥∅ régulière
𝑥 = b 𝑥 + (a+c) 𝑥∅ 𝑥 =b𝑥 +Ø
𝑥 =b𝑥 +c𝑥 +Ø 𝑥 =b𝑥 +c𝑥
𝑥 =𝜀 𝑥 =𝜀
𝑥∅ = Ø 𝑥∅ = Ø L(A) = L(A’)

𝑥 = a𝑥 + Ø
𝑥 =b𝑥 𝑥 = a𝑥
𝑥 =b𝑥 +c𝑥 𝑥 =b𝑥
𝑥 =𝜀 𝑥 =b𝑥 +c𝑥
𝑥∅ = Ø 𝑥 =𝜀
 04/12/2023

Exercice 6

R= (b*a)* (b + c) a* AR1*:

R1= b*a b a

AR1:
1 2 
b a
  3
1 2 0

Elimination des transitions vides

21a2≅2a2
R2= (b+c) a*
01a2≅0a2
01b1≅0b1 21b1≅2b1 AR2:
0  3 ≅ 0 Final 2  3 ≅ 2 Final a
b,c
1a21≅1a1 1a23≅1a3

3 4
b, a a a

b 1 2
a
b
0
a × 3

On peut supprimer l’état 3

 04/12/2023

AR1* . AR2: b, a a a AR1* . AR2:

b, a a a
b 1 2
a
b b 1 2
a
0 b
  0 a a b, c
b ,c a
03b4≅0b4 b, c
b,c a
03c4≅0c4
3 4
23b4≅2b4
23c4≅2c4 a 3× 4
0a23≅0a3
1a23≅1a3
2a23≅2a3
On peut supprimer l’état 3