les langages

Alphabet Mot (séquence) Langage

ensembles fini une séquence ensemble infini de
de symboles sur un alphabet mot sur le mm
alphabet
Σ W L
longueur de mot
le nombre de symboles
dans le mot

n=n
L

m A
 les opérations sur les langages
l'union la concaténation la fermeture itterative
infini
L1 U L2 L1.L2
L*= UL
0 i
Nlaymouhom nkhaltouhom 0 1 2 3 4

ge3 fi b3dahom = LULULULUL....

bsh nbdou b
lwl

expression U +
régulière . . * *
 a+b c+d
(a+b+c+d)²
((a+b+c+d)²)*=((a+b+c+d)*)²
((a+b+c+d)²)*(a+b+c+d)=
a(a+b+c+d)* (a+b+c+d)((a+b+c+d)²)*

(a+b+c+d)*b
- mot de longeur 3 commence par a a(a+b+c+d)²
- mot de longeur 3 termine par b (a+b+c+d)²b
3
- mot de longeur 3 ne comporte pas b (a+c+d)
- mot de longeur 3 comporte aumoins un b b(a+b+c+d)²+b(a+b+c+d)²b+(a+b+c+d)²b
 ; aaa ; abaabbaa
non oui non oui non oui
n
mot composé par uniquement des a oui 3+1

abbbbbaaaa non
 nbre de commutation >3 (commence par a )
vrai n de commu>2 (commence par b)

vrai
faux le mot vide epsilon (kima 0)
faux
 faux
vrai
vrai
faux
faux
faux
vrai
faux (L+)*=L*
vrai
vrai
faux
 p*p*=p*(ep+p+p²+..)
=p*ep+p*p+p*p²+...
=(ep+p+p²+..)ep+(ep+p+p²+..)p+(ep+p+p²+..)p²+...
=ep+p+p²+..+p+p²+..+p²+..
=p*

(a*b)*=ep+a*b+(a*b)²+(a*b)3+(a*b)4+..
(a*b)*=ep+(a*+(a*)²b+(a*)3b²+(a*)4b3+..)b
0b 1b 2b 3b
(a*b)*=ep+(a+b)*b

(b*a)*=ep+(a+b)*a
(ab*)*=ep+a(a+b)*
 (a+b)*abb

bba*+ba*b+a*bb=a*ba*ba*

(abb)*+b*
 systéme
sys continu
sys a evenement discret

outils de modélisation à événement discret

automate à état fini réseaux de petri

 sys contient un nmbr de variables d'états qui sont instantanées
SED: et qui n'a pas d'info utile qui résout un prblm

AEF définit par un nmbr d'etat fini ,il est quintuplé

Q : ensemble fini d'etats

Σ: alphabet (évenements)
: fonction de transition entre états
q0 :état initial
Qm : ensemble d'états accepteur

- l'évenement n'a pas de durée

- l'état a une durée
machine qui tombe en panne

d
arret marche
f

r o

panne
 a1
accenseur 1

d,a0
m,a1 monte ar1 m,a1 a0
0
N0 N1
d,a0
ar0 decente
mot accepté
c'est un mot qui conduit l'AEF d'un etat initial à un etat final

exemple
sur Σ= {a , b}

q0 q0 a
b
q0 a
q1 b
q0 q1
a a
q0 q1 a
b
q0 a q0 q1
a
a
mot accepté
c'est un mot qui conduit l'AEF d'un etat initial à un etat final

exemple
sur Σ= {a , b}
(a+b)*
q0 ep q0 a
b
q0 a ep
q1 b (a+ba)*
q0 q1
a a
q0 q1 a a
b
q0 a a* q0 q1
a
a (ba+a)*b
 c=1
a
b m