eminar 7

Sa se aduca gramatica la forma normala Chomsky :

(FNCh A->BC, A->a, singura regula cu eps S->eps,
,A,B,C neterminali, a terminal)
S -> AaBbC
A->aA|a
B->bB|b
C->cCd|cd

I) se ellimina regulile de stergere si redenumire

II) se modifica regulile care NU sunt in FNCh inlocuind
terminalii din dr, cu neterminali noi
S->AX​a​BX​b​C
X​a​->a
X​b​->b
A-> X​a​A| a
B-> X​b​B| b
C->X​c​CX​d​| X​c​X​d
X​c​->c
X​d​->d
III) se modifica regulile care Nu sunt inFNCh
S->AX​a​BX​b​C
S-> AZ​1
Z​1​->X​a​Z​2
Z​2​->BZ​3
Z​3​->X​b​C
X​a​->a
X​b​->b
A-> X​a​A| a
B-> X​b​B| b
C->​X​c​CX​d​|​ X​c​X​d
C->X​c​Z​4
Z​4​-> CX​d
X​c​->c
X​d​->d

L(G)= { a​n​b​m​c​k​d​k​, n>=2,m>=2,k>=1 }

Algoritmul CYK
Fie G - este in FNCh si w ​∈​ T​*​ problema a recunoasterii
w​∈ ​L(G)
S → xy
x → xz|xx|a|c

y → xz|b

z→b
w = acab ∈ ​L(G)​ ? n = 4
Vij j=1 j=2 j=3 j=4
i=1 V​11​=V​a​={x} V​12​=V​ac​={ V​aca​={x} V​acab​={S,x
x} ,y}
i=2 V​21​=V​c​={x} V​22​=V​ca​={ V​cab​={S, --
x} x, y}
i=3 V​31​=V​a​={x} V​32​=V​ab​={ -- --
S,x,y}
i=4 V​41​=V​b​={y,z} -- -- --
A|A->a​i
V​ac​= V​a​ * V​c​ = {A| A->BC, B​ ​ ∈ V​a​, C ∈ V​C​ }={x}
{x} * {x} A|A->xx
V​ca​= V​c​ * V​a​ = {A| A->BC, B​ ​ ∈ V​c​, C ∈ V​a​ }={x}
{x} * {x} A|A->xx
V​ab​= V​a​ * V​b​ = {A| A->BC, B​ ​ ∈ V​a​, C ∈ V​b​ }={S,x,y }
{x} * {y,z} A | A->xy|xz
V​aca​= V​a​*V​ca​ U V​ac ​*V​a​ = {A| A->BC, B​ ​ ∈ V​a​, C ∈ V​ca​ } U
{A| A->BC, B​ ​ ∈ V​ac​, C ∈ V​a​ }
={x}
{x} * {x} U {x} * {x} A| A->xx

V​cab​= V​c​*V​ab​ U V​ca *V​

​ b​ = {A| A->BC, B​ ​ ∈ V​c​, C ∈ V​ab​ } U
{A| A->BC, B​ ​ ∈ V​ca​, C ∈ V​b​ } ={x,
S, y}
{x} * {S,x,y} U {x} * {y,z} A| A->xS|xx|xy|xz

V​acab​= V​a​*V​cab​ U V​ac *V​

​ ab​ U V​aca *V​
​ b​=
{A| A->BC, B​ ​ ∈ V​a​, C ∈ V​cab​ } U
{A| A->BC, B​ ​ ∈ V​ac​, C ∈ V​ab​ }
{A| A->BC, B​ ​ ∈ V​aca​, C ∈ V​b​ } ={x, S, y}
{x} * {S,x,y} U {x} * {S,x,y} U {x} *{y,z} A|
A->xS|xx|xy|xz
w = acab ∈ ​L(G)

Automate Pushdown
{a​2n​b​n​} n>=1 ε

(1) δ (q0, a, z)= {(q1, az)}

(2) δ(q0, a, a)={(q1, aa)}
(3) δ(q1, a, a)={(q0, a)}
(4) ε )}
δ(q0, b, a) = {(q2,
(5) δ(q2, b, a) = {(q2, ε )}
(6) δ(q2, ε , z​) = {(q3, ε )}
a2n​
(q0, ​ ​ b​n, ​, z​) ​⊦​ (1) 2n-1​ n​
​ ​(q1, a​ b​, az) ⊦ (3)​ 2n-2​ n​
​ (q0, a​ b​, az) ​
⊦ ​(2)​ (q1,
a​2n-3​b​n​, aaz) ⊦ ​(3,2 - 2n-3 ori)​(q0, b​n​, a​n​z) ⊦​(4) (q2,
​
b​n-1​, a​n-1​z) ⊦​(5)​(q2, b​n-2​, a​n-2​z) ⊦​(5 -
n-2 ori)​
(q2, ε , z) ​⊦​(6)​ (q3, ε , ε )

L = {​an​​ b​m​c​m​, n>=0, m>=1}

(1) δ(q​ , a, z) = {(q​ , z)}
0​ 0​

(2) δ(q​ , b, z) = {(q​ , bz)}

0​ 1​

(3) δ(q​ , b, b) = {(q​ , bb)}

1​ 1​

(4) δ(q​ , c, b) = {(q​ , eps)}

1​ 2​

(5) δ(q​ , c, b) = {(q​ , eps}

2​ 2​

(6) δ(q​ , eps, b) = {(q​ ,eps)}

2​ 3​