Modlisation des Systmes Complexes TD1 Automates tats nis

ASI5 - INSA Rouen

Exercice 1
Soit lautomate A :
s0 a b s1

1. A est-il dterministe ? A est-il acceptable (i.e. il supporte au moins une excution acceptable) ? 2. Les mots suivants sont-ils accepts par A : a, b, a, b, a b, abab, a b ?

Exercice 2
Pour chacun des langages suivants, construisez un automate dterministe qui laccepte. 1. L(A1 ) = {a, b, c} 2. L(A2 ) = {c, ac, (ab) c, (ab) ac} 3. L(A3 ) = {(ab)} 4. L(A4 ) = {(ab), (ba), (ab) a, (ba) b}

Exercice 3
Soit lalphabet suivant : E = {q, r, c} avec q : envoyer une question, r : envoyer une rponse et c : annuler la question. 1. Construisez lautomate supportant les dialogues dnis comme suit : Un dialogue dbute toujours par une question (q). Un dialogue se termine soit par une rponse (r), soit par une annulation de la question (c). Si la question nest pas assez prcise, linterlocuteur envoie une demande de prcision (q), qui sera suivi des prcisions demandes (r) ou dune annulation de la question initiale (c). 2. Soient x1 , ..., xn E et soit lexcution z = x1 ...xn q. z est-elle supporte par cet automate ? Explicitez cela en langue naturelle. Cela vous parait-il plausible ?

Exercice 4
Soit un systme dinformation dont le fonctionnement est dcrit par un automate A dont lalphabet est le suivant : E = {q, r, b} avec q : rception dune requte, r : envoie dune rponse et b : panne du systme. 1. Construisez A sachant que {(qr), (qr) b, (qr) bq} L(A) mais que (qr) b(qr) L(A). / 2. Prouvez quun tel systme dinformation ne peut rpondre 2 questions simultanment. 3. Modiez A pour quil dcrive un systme dinformation grant un pool de 2 serveurs.