LEZIONE 4 MAGGIO

EQUIVALENZA1FSL ed INDL TEOREMA

Sia (un Umgeoggio Su X. Le un linguaggio a stad finiti se e solo se L=T(M) pen

quotde M/ 2 FORMULAZIONE
NBA

da Ingragg, Jisz ed INDL

L dossi sono
equivalenti (1 Formulazione)
DIMOSTRAZIONE2:Sia L-2 ed Le 1 Fs
*
Dollu definizione diLinguaggio a stat fimiti

Schuce Me: e un FSA, Mr= (a, Se, g, Fil con ingresso

alfabeto in X:= T(Mi)

oza troviamo l'autora NDA equivalente, sia M2: (O2, G, q,Fz) ove: Qe=Qu
da e cosi definita:G:QX-20
fe(q,x) (81(q,x)3 yq-cQz ae,
=
=

x X
-

92: . Fr F.
Mc eu NDA ocatto lo stesso
lingmaggio accettato da Mr, ha TM)Hail
=

e si

La
f(q0,a) q1 6(q1,a)
⑲
=

qe
=

8: Q x" Q
x

PT TRASFORMARLO NDA:
in 8': Q x
x 2 -
a

poste de mon tomo mai

quindi6'(90,a) (91}
=

6(q1,a) (913 =

Ci interesso toze al controzio, da TRASFORMAZIONE

NDA aFSA NDA-ESA

Scia M =
(Q, 8, po, F) um autore a stop fimitimon deterministico con olfabeto in

ingresso X. Mpri esser trasformato un

in autorma determinister M oh
olfabeto ingesso
in come
X
segue:
M' =

(Q, 6', 90, F') ove:

=
·
Q 2a IMPORTANTEPER GLI ESERCIZI

In
6:
·
xx fa (q,q...,qiea,yxeX:
-

Qc - =

6(a,x) S'19qe,q. ..qi},x}

=
Si può dimostrare de Mi equivalente a M, ossia de T(M1=T(M)

Eseeiz L=
(wIwe/a, by*, w=Laa, ,pelaby*#amor da due a consecutive

L=)alostenizeautomade ocatiiseguenteungaggine ma mase

R-L? Si non continue I a

- stEn b
Simon
sa

Abbaba on
babba
NO Uneue RIGETTATA

Médeteemimistico FSA

↳=(ambi M, mso} Is keae dastzo

&- 1? Si
quale go
FINALE ed INIZIALE

&
a

⑳
L(aabbb, aaaadbbb, b, bbb, ab...}

ab (a,by*
=

- >

↳:(ambe,
mx} eL? SI, LAutoma more esiste
paci décr

-Tavo contare le a
perche le devo
poggiore con leb, ma con l'autore non

posso foco
L =

ol
(we(a,b,c3/(w) lunghezza multipla 3k conks,
=

la e d 3
REL? SI
GO FINALE

M (a,6,q0,E)
=

alb/c albl
- 4
&: (q0,91,q2}
⑲
-r F:(90}
albl

Autorna EQUIVALENTE Ok
in
-8
- albG M (Q,
=

6,90,F)
Q
440,41,42,934
=

alb E=790,934
L:(weba,by*/w:wewews/web0}
L aabbar, abbbbam]
=

...
eL

I padi euna concatenazione tra

linguaggi e

-
fo

8b
AUTOMANDA a
determinister
mor

abbanda o
Esezczio:Ezosformare da NDAa FSA

& de
M (Q, 6,40, F) x 3014 ingresso
=

con m
=

- 1 a
7q0,913
=

F
7q13
=

-
8:Qx X ya -

3
S(q0,0) (90,97}
-

6) q0,1) (q1}
-

STAR DI TRANSIZIONE
6(q1,1) -

791,904

Fosformazione:6'(7903,0) 81900) 5q0,9132mustati

3 #
= =

6903,13 8(40,1) 4913 =

=

8791,03 =5) q1,03 NON DEFINITA =

891,13 6(q1,1) (q1,90}

=
=

8440,913,0) f(90,0u6(a,d) (90,414

*
= =

6(790,9141) 6)90,1)v6(an,n) 491,904

=
=

18 Grow
1 0 STATO POZZA
9
- NECESSARIO

⑧
1
⑪
⑧

~90,41 -

↳
1
 - 8b a

b
TRASFORMO IN Mm Move
FSA M1 (Q, 6', 90, Fil
=

·
Q 2a =

2(9991,a,3)
=

2 16
=

Sottomscemi -1 insieme voto 15

=
a') 16
=
=

90 490}
=

F
7q2,990,973,(91,927,792,933...4
=

8':a'xX a -

Stai a Gemee stat

6190-913,a) S(q0,a)US(q1,a) (q0}

=
=

S'(990,914,b) S(qo,b)US(q,b) (90,an,qe} } NUOVO STATO

=
=

-(190,41,974,a) 6(q0,a)vf(a,a)uf(q2,a) 3790,93} novo sixto

=

6(40,91,q3,b)
I f(q0,h)uf(qn,b)uf(q2,b) (90,41,43
=
=

S(990,933,a) f(q0,a)vf(q2,a) (q0,q3

= =

-(990,954,b) S(90,b)vf(a,b) (90,424

= =

b
·"
⑪

,
b
->
⑲3
a

b G

⑩L