Académique Documents
Professionnel Documents
Culture Documents
ET DE LA RECHERCHE SCIENTIFIQUE
UNIVERSITÉ IBN KHALDOUN DE TIARET
FACULTÉ DES SCIENCES APPLIQUEES
EMD01
Q_COURS :
a- donner la définition, SED ?
SED : système a evenement discret l’évolution et en fonction de l occurrence des évènements
EX01 : Pour chacun des langages suivants, construire un automate d’états finis qui
l’accepte
1- L1 = {w = {a, b}* / w = abma , m ≥ 1}
2- L3 = {w = {0, 1}* / w = 1(101) 00, n ≥ 0} ;
n
1/4
EX02
Construit le réseau avec M0
EX04 :
On considère les langages : L1 = {u ∈ A∗/ u commence par a ou finit par b}
L2 = {u ∈ A∗ / tout a est immédiatement suivi d’au moins deux b}
1. Donner un automate non déterministe reconnaissant L1.
2. Déterminer cet automate pour obtenir un automate déterministe reconnaissant L1
3. Donner un automate déterministe reconnaissant L2.
4. Donner un automate déterministe reconnaissant le langage suivant :
L = {u ∈ X^∗ | (u commence par a ou finit par b) et tout a est immédiatement suivi d'au moins
deux b}
MINISTÈRE DE L’ENSEIGNEMENT SUPÉRIEUR
ET DE LA RECHERCHE SCIENTIFIQUE
UNIVERSITÉ IBN KHALDOUN DE TIARET
FACULTÉ DES SCIENCES APPLIQUEES
3/4