emmesse

nous allons voir ici la suppression des epsilon-productions

Soit le non-terminal N pouvant prendre la forme d'une production vide:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

N -> c1 | c2 | c3 ... | ck | epsilon

on dit que N est annulable.

lorsque N est présent dans une production, on a les trois cas suivants:

premier cas

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

A -> a N b

dans ce cas, on supprime les epsilon-production en réécrivant A ainsi;

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
A->a c1 b
 ->a c2 b
 ->a c3 b
...
 -> a ck b
 -> a b

deuxième cas:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

A -> a N

on supprime epsilon comme ceci

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

A -> a c1 | a c2 | a c3 ... | a ck | a

troisième cas:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

A -> N b

A se réécrit de la sorte:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

A -> c1 b | c2 b | c3 b ... | ck b | b