Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Proposizione:In
linguaggio Xenegdare se e solo se wirespande ad
espressione Reg una
R (ba)
=
S/ba*)=S/b).S(ax)
=
=
S(b)· (S(a)) =
San X=
a, by de cominuomo
pez
b
seguita da itezaz. dia
R a* .b.a* .b.a*=S(a*
=
.b.a.b.af S(a))*.S(b).(S(a))*.S(b).((a))*
=
=
=>
(a}*.(3).(a3*.b3.)a*)
insieme ditutte le posole san x (aby
=
de contengono esattamente 2b
*
R (ab) =S(ab)* S(a)*vS(b)* (S(a)) v(S(b))* ((a)v)bb)*
*
= =
=
+
+ =
*-
(b,abby*
·
espressioneblab*I valgonodelPepaietaporto
sia di e
~
PROPRIETA
·
1(R1 r1) R3 +
R1 +(R2 R3) R1 +R2 R3
+
= + =
+
PR. ASSOCIARVA
8) RI.O 0. R1 0 0 =
=
e elemento ASSORBENT''
9) Ri (R2 R3) ( R1.Rz) (RiR3) Pr DISTRIBURVAdi ..aspetto
+
= +
a
t
10)(R1 Rz). R3 (R1 Ry) (R2.R3)
+
=
+
* *
12)(0) (x) X =
=
+ +
16) Ri.Re= Re R*
17) R1. (R2.Re)*= (R.Re)*:Re
(RiRe)*.
*
Ri (Rz. De) Re
=
2 &d ddd
a(ba)* (ab)*.a =
a(ba)*: a bababa....
-
(RIRe)*:De(RuRel(RRe) (D1Re) (R21e)....
/
Re
e
*
(ReRi) Re
LEZIONE P2
·
13 c1Es (2 x =
(23)
·
Im 13 COSTRUTTIVA
DIMOSTRAZIONE
un a
ALGORITMO
Dota una
grammatica b=(X, V, S,P), l'autora a stat fimitiequivalente (T(M) =((u))
viene costruito come M (Q, =
6,90, F)
segue:
·
·
S
=
=
=
p 4 V
4S,A, BY G Vr493 (S, A, B,9}
=
= =
noe
S +
oS/1Al 1B F (q,A)
=
-
padé produce
A-
XloB 8: Qxx +
2
Q
B 13
->
AUTOMA
EQUIVALENTE
Sto) -
-
S- 1A
StIB
e
oriormente posso foze controvero,
il partendo daun autore a stat fimit, ricono la
ma
geomun_
atca lneare destza dove: X:alfabeto di
ingresso in M
·V Q
=
·
S =
go
·P (q xq(q f(q,x)v(q x)f(q,x) F)N(q x/q0 cF)
=
-
-
-
- - -
Esempio P4
=
3 -
05/9/1B/84/1/8
- A OB/19/1
-
- 19/13 quando
1 B -
-
vodo in
Stati finoli
es
I dwenter
- A -
10 Stato finale A
2
S --
1/1
Nei processi diTRASFORMAZIONE Il autore la
geomotce leggermentecombioc
e
posmo
ma sono tutti EQUIVALENT