Lecture 5. Context Free Grammars

GI NG VI N: TS .
H CH TRLNG
B MN: KHMT
KHOA CNTT, HVKTQS
T: o1 6 S . g g S . 1 . o
IMAI L: HCT ooq @YAHOO. COM
L L thuyt thuyt automata automata v v
ngn ngn ng ng hnh hnh thc thc
copyright by PhD. C.T.Ha, Le Quy Don Technical University
Languague
Grammar
Automata
z
BuI . Vn pIam pII ngu canI
(ConLexL-ree Grummurs)
MMJ JC CH: C CH:
IuI nIm v vn pIam pII ngu canI;
$ nIp nIng Lrong vn pIam pII ngu canI;
#L gn vu cIun vn pIam pII ngu canI;
Cuc LinI cIL cu vn pIam pII ngu canI.
YL C YL CA AL: L:
$InI vIn nm vung cuc kIuI nIm IIn quun LI CG.
V nIu, c LI Iu cuc LIuL Loun bng cI..ng LrinI.
copyright by PhD. C.T.Ha, Le Quy Don Technical University
BuI . Vn pIam pII ngu canI (CG)
26/10/2011
3
g.1. Khi nimvn phm phi ng canh
g.. n xot, cy dn xot trong CIG v CIL
g.. S nhp nhng trong CIG
g.q. Rt gn vn phm phi ng canh
Loai b cc k hiu tha
Loai b cc Iut sinh r
Loai b cc Iut sinh don v[
g.g. Chon hu cc vn phmphi ng canh
Dang chun Chomsky
Dang chun Greibach
g.6. Cc tinh cht cuu vn phm phi ng canh
Automata va ngn ngu hinh thuc - copyright by PhD. C.T.Ha, Le Quy Don Technical University
26/10/2011
4
g.1. g.1. Khi Khi ni nimmvn vn ph phmm phi phi ng ng c caanh nh
g.. g.. nn xo xot t, , cy cy d dnn xo xot t trong trong CIG CIG v v CIL CIL
g.. g.. SS nh nhpp nh nhng ng trong trong CIG CIG
g.q. g.q. Rt Rt ggnn vn vn ph phmm phi phi ng ng c caanh nh
Loai Loai b b cc cc k k hiu hiu tha tha
Loai Loai b b cc cc Iut Iut sinh sinh rr
Loai Loai b b cc cc Iut Iut sinh sinh don don v[ v[
g.g. g.g. Cho Chonn hu hu cc cc vn vn ph phmmphi phi ng ng c caanh nh
Dang Dang chun chun Chomsky Chomsky
Dang Dang chun chun Greibach Greibach
g.6. g.6. Cc Cc tinh tinh ch cht t c cu uuu vn vn ph phmm phi phi ng ng c caanh nh
.1. IuI nIm vn pIam pII ngu canI
26/10/2011
5
O Vi d cuc ngn ngu Ip LrinI Iu C( LIng LI.ng d.c
bIu dIn d.I dang Buckos Buckos -- Nuor Nuor Iorm Iorm -- BNI BNI)
<expressIon> <expressIon> + <expressIon>
<expressIon> <expressIon> <expressIon>
<expressIon> ( <expressIon> )
<expressIon> <IdenLIIIer>
O 'ic nghin cuu cac vn pham phi ngu canh d tao nn mt c. so
ly lun vung chc cho vic biu din ngn ngu lp trinh, vic tim
kim cac giai thut phn tich cu phap vn dng trong ch..ng
trinh dich va cho nhiu ung dng khac v xu ly chui. Chng
han, no rt huu ich trong vic m ta cac biu thuc s hc vi
nhiu du ngoc lng nhau hoc cu truc khi trong ngn ngu lp
trinh ma biu thuc chinh quy khng th dc ta.
26/10/2011
6
O O Nh Nhc c l lii khi khi ni nimm: : Vn pIam G Iu mL b sp LIu L gm
q LIunI pIn G < l, A, $, P >, Lrong d
l - bang cIu cuI, gI Iu bang cIu cuI c. ban (bang cIu cuI
kL LIc - terminul symbol terminul symbol);
A , A l [, gI Iu bang ky IIu pI (bung cIu cuI kIng
kL LIc - nonterminul nonterminul symbol symbol);
$ A - ky IIu xuL pIuL Iuy LIn d (sturt vuriuble sturt vuriuble);
P - Lp cuc IuL sInI (prodoction roles prodoction roles) dang o, o,
(l A), Lrong o cIuu iL nIL mL ky IIu kIng kL
LIc (dI kII, Lu gI cIng Iu cuc quI Lc Ioc IuL vIL IaI).
26/10/2011
7
O O Vn phm l Vn phm looii 22 - Vn pIam pII ngu canI {CIG {CIG - -
Context Context--Iree Grummur): Iree Grummur): Iu vn pIam mu mI IuL sInI
c dang Ao vI A Iu mL bIn d.n vu o (l A).
Vi Vi d d g.1: g.1: G({u, b], {$, A, B], P, $) vI P gm cuc IuL
sInI
$ AB
A uAu
B bBb
O O V d V d g. g. Ft vn pham G ({u, b], {$], $ , P), Lrong d
$ u$b
$ ub
26/10/2011
8
O PIun IoaI vn pIam LIeo CIomsky
Recursively
enumerable
Context-
sensitive
Context-Iree
Regular
26/10/2011
9
.z. Dn xuL, cuy dn xuL Lrong CG vu C
26/10/2011
10
O O nn xo xot t: : u A Iu IuL sInI Lrong vn pIam G vu -,
Iu z cIuI bL ky, LIi kII up dng IuL sInI A vuo cIuI
-A Lu s LIu d.c cIuI -
-A -
O O nn xo xot t gin gin ti tipp: : GIa su -
1
-
z
, -
z
-
, ..., -
m-1
-
m
,
Lu vIL -
1
-
m
(cI y rng - - vI mI cIuI -)
O O Ngn Ngn ng ng sinh sinh bbooii CIG: CIG: cIo CG G < l, A, $, P >
(G) { ww l vu $ w ]
(cIuI w gm Loun ky IIu kL LIc vu d.c dn ru L $)
26/10/2011
11
O O nh nh nghIu nghIu g.1: g.1: cuy dn xuL (Iuy cuy pIun LicI c pIup)
cu mL vn pIam G < l, A, $, P >
(1) MI nL c mL nIun, Iu mL ky IIu (l A {e] )
(z) L gc c nIun Iu $ (ky IIu bL du)
() u nL Lrung gIun c nIun A LIi A A
(q) u nL n c nIun A vu cuc dinI n
1
, n
z
, ..., n
k
Iu con cu
n LIeo LIu L L LruI sung pIaI c nIun In I.L Iu X
1
, X
z
,
..., X
k
LIi A X
1
X
z
...X
k
Iu mL IuL sInI Lrong P
() u nL n c nIun Iu e LIi n pIaI Iu nL Iu vu Iu nL con
duy nIL cu nL cIu cu n
12
26/10/2011 Automata va ngn ngu hinh thuc - copyright by PhD. C.T.Ha, Le Quy Don Technical University
O O nh nh nghIu nghIu g.: g.: GIa su dn xuL cu L w Iu duy quI Lc c
dang
$ A
11
A
1z
...A
1n
A
z1
A
zz
...A
zm
... w
1
w
z
...w
I
O II d, Lu c LI bIu dIn n d.I dang cy cy d dnn xo xot t nI.
suu S
A1
n
A
2m
A
12
......
A
23
......
w4.....
w
n
A
22
.
w3
w2
w1
A
21
A
1
26/10/2011
13
O O V d V d g.: g.: CIo vn pham G({u, b], {$, A], P, $], vI P gm:
$uA$; A$bA ; A$$; $u; Abu
O Ft chui:
$ uA$ u$bA$ uubA$ uubbu$ uubbuu
S
a
A
S
a
b
b
S
a
a
A
26/10/2011
14
O O nh nh l l g.1: g.1: G < l, A, $, P > Iu mL CG LIi S - nu
vu cIi nu c cuy dn xuL Lrong vn pIam sInI ru -.
O O nn xo xot t tri tri nh nht t {{ph phaaii nh nht t): ): nu LaI mI b.c dn
xuL, IuL sInI d.c up dng vuo bIn bn LruI nIL (pIaI
nIL)
O O Vi Vi d d g.q: g.q: CIo G $ AB; A uAu; B bBb;
(u) $ AB uAB uuAB uuuB uuubB uuubb
(b) $ AB AbB Abb uAbb uuAbb uuubb
(c) $ AB uAB uAbB uAbb uuAbb uuubb
(d) $ AB uAB uuAB uuAbB uuubB uuubb
O O LL u u : : (c) lc dn xut trci nht, (b) -phi nht. Ccc d
tren c cun mt cc dn xut.
26/10/2011
15
.. $ nIp nIng Lrong CG
26/10/2011
16
O O Khi Khi ni nimm: : mL vn pIam pII ngu canI G c yu L nIp
nIng (umbIguILy) nu Ln LaI nIIu I.n mL cuy dn xuL
cIo cng mL cIuI w.
O O Vi Vi d d g.g: g.g: xL vn pIam G dang
E E + E E E (E) u;
vu vI cIuI u + u u, c z cuy dn xuL kIuc nIuu
a
E
E
*
E
+
E E
a a
E
E + E
E
*
E
a
a
a
{u + u) u {u + u) u Iuy u + {u u) u + {u u) ???
.. $ nIp nIng Lrong CG
26/10/2011
17
O O Kh Khc c ph ph c c ss nh nhpp nh nhng ng c cu uuu vn vn ph phmm: :
"uy dinI rng cuc pIp cng vu nIun Iun d.c LIc IIn
LIeo LIu L L LruI sung pIaI (Lr kII gp ngoc d.n)
E E + T E T T
T (E) u
"uy dinI rng kII kIng c du ngoc d.n ngn cucI LIi
pIp nIun Iun d.c LIc IIn .u LIn I.n pIp cng
E E + T T
T T
(E) u
26/10/2011
18
.q. #L gn vn pIam pII ngu canI
26/10/2011
19
O O Trong Trong CIG CIG c c th th ch ch uu cc cc y yoo t t th th uu:
Cuc ky IIu kIng LIum gIu vuo quu LrinI dn xuL ru
cIuI ky IIu kL LIc;
uL sInI dang A B (Ium ko duI cIuI dn xuL).
O O Khi Khi ni nimm vn vn ph phmm rt rt ggnn: : vn gIu kIa nng san sInI
ngn ngu d mu kIng cIuu nIung yu L v icI kIng sInI
ru cIuI, Ium pIuc Lap Iuy ko duI dn xuL sInI cIuI.
MI x (l A), Ln LaI cIuI w su dng n Lrong dn xuL;
Ing c IuL sInI dang A B (vI A, B A)
u ngn ngu kIng cIp nIn cIuI rng e LIi IoaI bo
IuL sInI A e.
26/10/2011
20
26/10/2011
21
O O nh nh nghIu nghIu g. g.: : mL ky IIu X d.c gI Iu c icI nu c
mL dn xuL dang S -X w vI -, Iu cuc cIuI
bL ky vu w l.
O O B B d d g.1: g.1: CIo CG G < l, A, $, P > vI (G) = [, c mL
CG G < l`, A`, $, P` > L..ng d..ng suo cIo mI A A`
Ln LaI w l d A w.
nhc: C th" loi b ccc bin lhn dn rc chu#i l
hi"u lt thc.
26/10/2011
22
O O Gi Giaaii tho thot t tIm tImt tpp k k hi hioo ph ph A A': ':
(1) OIdA' X;
(z) ewA' { A A w vI w T ];
() wIIIe (OIdA' = ewA' ) do {
(q) OIdA' ewA';
() ewA' OIdA' {A A -; - (l OIdA`) ]
<;
(6) A' ewA`;
O O B B d d g.: g.: CIo CG G <l, A, $, P>, Lu c LI Lim d.c
CG G < l`, A`, $, P` > L..ng d..ng suo cIo mI X {A'
l') Ln LaI -, {A' l') d S -X
nhc: C th" loi b ccc bin lhn dn rc t S.
26/10/2011
23
O O Gi Giaaii tho thot t lo loii bboo cc cc k k hi hioo khng khng d dnn ru ru t t k k hi hioo
xo xot t pht pht S: S:
(1) L A` {$];
(z) iI (A A` vu A -
1
-
-
n
Iu cuc IuL sInI Lrong P)
II (X Iu ky mL IIu pI Lrong -
1
, -
, , -
n
vu X
cI.u c Lrong A` )
TIm X Lrong vuo A' ;
() p IaI b.c (z) cIo dn kII kIng cn bIn nuo d.c
LIm vuo nuu.
26/10/2011
24
O O nh nh l l g. g.: MI mL ngn ngu pII ngu canI (C) kIng
rng d.c sInI ru L mL vn pIam pII ngu canI (CG)
kIng c ky IIu v icI.
O O Vi Vi d d g.6: g.6: xL vn pIam G < l, A, $, P >
$ A; A uBb ] e; B A ] cB ] cC
C AC ] BCD; D ub
p dng b d g.1:
A' {$, A, B, D]
$ A
A uBb ] e
B A ] cB
D ub
p dng b d g.
A' {$, A, B]
$ A
A uBb ] e
B A ] cB
26/10/2011
25
26/10/2011
26
O O nh nh l l g.: g.: CIo CG G(l, A, $, P) vu Iu ngn ngu sInI
ru boI G. II d -{e] Iu ngn ngu sInI ru boI CG G(l`,
A`, $, P`) kIng c ky IIu v icI vu kIng c IuL sInI e.
nhc: loi b lut sinh dn A .
26/10/2011
27
O O Gi Giaaii tho thot t lo loii bboo lo lot t sinh sinh d dng ng A A ee: XL G < l, A,
$, P >, G` < l, A, $, P` > kIng cIuu IuL sInI e.
c ::
X;
u IuL sInI A e LIi LIm A vuo ;
u B X
1
X
z
...X
n
, VX
I
LIm B vuo ;
c z: Xuy dng P`. VI mI IuL A X
1
X
z
...X
n
, X
I
l+A)
Lrong P, Lu xuy dng IuL sInI A -
1
-
z
-
n
Lrong P` vI
dIu kIn
u X
I
[ LIi -
I
X
I
u X
I
LIi -
I
X
I
e
Ing gun dng LII LL ca -
I
du bng e
26/10/2011
28
O O Vi Vi d d g.,: g.,: IoaI bo IuL sInI e Lrong vn pIam suu
$ AB
A uA e
B bB e
c : xuc dinI Lp bIn rng
A e A ; B e B ; $ AB $
c z: xuy dng IaI Lp IuL sInI P`
$ AB Ae eB
A uA ue
B bB be
O Ch G' kIng cIp nIn cIuI rng e nI. vn pIam G.
G' L..ng d..ng G, Lu cn LIm IuL sInI $ e vuo G'.
26/10/2011
29
26/10/2011
30
O O nh nh l l g.q: g.q: MI C kIng cIuu e d.c sInI ru boI CG
kIng c ky IIu v icI, kIng c IuL sInI e Ioc IuL sInI
d.n vi.
nhc nhc: : loi b ccc lut sinh dn t lcm dci dn xut.
O O Ch Ch ng ng minh: minh: CIo G(l, A, $, P), dL (G) Iu C sInI ru
boI G vu kIng cIuu e.
TIeo bb d d g.1, g. g.1, g. c LI IoaI bo cuc ky IIu v icI.
TIeo L L , Lu c LI IoaI bo LL ca IuL sInI e Lrong G.
cIung mInI d dnh nh l l g.q g.q. Lu cIi ru gIaI LIuL xuy dng
CG kIng c IuL sInI d.n vi. XL G < l, A, $, P >, Lu
xuy dng G` < l, A, $, P`> kIng cIuu IuL sInI d.n vi.
26/10/2011
31
O O Gi Giaaii tho thot t xy xy d d ng ng P` kIng cIuu lo lot t sinh sinh d doonn vv: :
Ior (mI bIn A A)
TinI A
A
{ B B A vu A B ] ;
Ior (mI bIn B A
A
)
Ior (mI IuL sInI B - LIuc P)
iI (B - kIng Iu IuL sInI d.n vi)
TIm IuL sInI A - vuo P`;
]
]
]
]
26/10/2011
32
O Vi d g.S: IoaI bo IuL sInI d.n vi Lrong vn pIam
E E + T T
T T
(E) u
Tu c A
E
{E, T, ] LIm vuo P' cuc IuL sInI
E E + T T (E) u
T..ng L
A
T
{T, ] LIm vuo P' T T (E) u
A
{] LIm vuo P' (E) u

26/10/2011
33
.. Dang cIun CIomsky
26/10/2011
34
O O ng ng cho chonn Chomsky {CNI): Chomsky {CNI): Vn pIam CG G(l, A, $,
P) c dang cIun CIomsky nu LL ca cuc IuL sInI cu n c
dang A BC Ioc A u (nu e , ng.c IaI cIi cn IuL
sInI $ e).
O O Vi Vi d d g.q: g.q: $ AB]e; A BC; B u; C b;
O O nh nh l l g.g: g.g: mL ngn ngu pII ngu canI bL ky kIng cIuu
e du d.c sInI ru bng mL vn pIam nuo d mu cuc IuL
sInI c dang A BC Ioc A u, vI A, B, C Iu bIn vu u Iu
ky IIu kL LIc.
26/10/2011
35
O O Gi Giaaii tho thot t d du uuu vv d dng ng cho chonn Chomsky: Chomsky: gIa su C
(G) vI CG G(l, A, $, P)
c : LIuy LI LL ca cuc IuL sInI c d duI v pIaI Iu 1
p dng dinI Iy .q d IoaI bo IuL sInI d.n vi vu e
c z LIuy LI LL ca IuL sInI c d duI v pIaI In I.n 1
vu c cIuu ky IIu kL LIc
c LIuy LI cuc IuL sInI mu v pIaI c nIIu I.n z ky
IIu cI.u kL LIc
A X
1
X
z
...X
I
...X
n
u
A X
1
X
z
...C
u
...X
n
C
u
u
A B
1
B
z
...B
m
(m>z)
A B
1
D
1
D
1
B
z
D
z
...
D
m-z
B
m-1
B
m
26/10/2011
36
O O Vi Vi d d g.1o: g.1o: Lim vn pIam c dang C L..ng d..ng CG
$AABA; A uA u B; B bB b
B.c 1 A
s
{$, A, B] , A
A
{A, B] , A
B
{B]
$ uA u bB b ABA;
A uA u bB b; B bB b
B.c z LIuy u bng C
u
vu b bng C
b
Lrong cuc IuL sInI c d
duI v pIaI > 1
$ C
u
A u C
b
B b ABA
A C
u
A u C
b
B b; B C
b
B b
C
u
u; C
b
b
26/10/2011
37
B.c LIuy LI cuc IuL sInI c d duI v pIaI > z
S C
u
A u C
b
B b A
1
A C
u
A u C
b
B b
B C
b
B b
C
u
u
C
b
b
1
BA
26/10/2011
38
.6. Dang cIun GreIbucI
26/10/2011
39
O O ng ng cho chonn Greibuch Greibuch {GNI): {GNI): Vn pIam CG G(l, A, $, P) c
dang cIun GreIbucI nu cuc IuL sInI cu n c dang A uo (o Iu
cIuI cuc ky IIu pI Ioc e nu e ; ng.c IaI LIm vuo IuL
sInI $ e).
O O B B d d g.: g.: CIo G(l, A, $, P) Iu mL CG, dL A -
1
B-
z
Iu IuL
sInI Lrong P vu B
1
z
...
r
Iu cuc B - IuL sInI;
Vn pIam G
1
(l, A
1
, $, P
1
) LIu d.c L G bng cucI IoaI bo IuL sInI
A -
1
B-
z
vu LIm vuo cuc IuL sInI
A -
1
1
-
z
-
1
z
-
z
-
1
r
-
z
L..ng d..ng G.
O nhc: cp d$n d" thc th ccc lut sinh trc tip.
26/10/2011
40
O O B B d d g.q: g.q: L G(l, A, $, P) Iu CG; A A-
1
A-
z
A-
r
Iu Lp
cuc A - IuL sInI c A Iu ky IIu LruI nIL cu v pIaI (IuL sInI d
quy LruI). L A
1
z
...
s
Iu cuc A - IuL sInI cn IaI;
G
1
(l, A {B], $, P
1
) Iu CG d.c Lao LIunI bng cucI LIm bIn
mI B vu LIuy cuc A - IuL sInI bng cuc IuL dang
A
I
; A
I
B; (1 s I s s)
B -
I
; B -
I
B; (1 s I s r)
LIi Lu c G
1
L..ng d..ng G, Iuy (G) (G
1
).
O O nhc nhc: : dun loi b tcn phm d" qu trci.
O O nh nh l l g.6: g.6: MI C bL ky kIng cIuu e d.c sInI ru boI mL
CG mu mI IuL sInI c dang A u- vI A Iu bIn, u Iu ky IIu
kL LIc vu - Iu mL chu#i ccc bin (c LI rng)
26/10/2011
41
O O Gi Giaaii tho thot t d du uuu vv d dng ng cho chonn Greibuch Greibuch {GNI): {GNI): L G
Iu CG sInI ru C kIng cIuu e
c : xuy dng G' c dang C L..ng d..ng G
c z dI Ln cuc bIn Lrong G' LIunI A
1
, A
z
, ..., A
m
(m a1 )
vI A
1
Iu ky IIu bL du. L V {A
1
, A
z
, ..., A
m
]
c LIuy LI IuL sInI suo cIo nu A
I
A
j
LIi j > I
u j<I up dng bb d d g. g.. u Ij up dng bb d d g.q g.q
Trong P cIi cIuu cuc IuL sInI dang A
I
A
j
(j > I),
A
I
u Ioc B
k
vI (V {B
1
,B
z
, ...,B
I-1
])
c ( LIuy LI cuc A
I
- IuL sInI v dng dang (bb d d g. g.)
c LIuy LI cuc B
k
- IuL sInI v dng dang (bb d d g. g.)
26/10/2011
42
O O Gi Giaaii tho thot t: : (thc th sco cho A
i
A
i
thi j > i)
(1) 147 (k 1 94 m)
(2) 147 (j 1 94 k-1)
(3) 1470,7. (Mi lut sinh dng A
k
A
j
-)
(4) 1470,7. (lut sinh A
j
) %hm lut sinh A
k
-;
(5) Loi bo lut sinh A
k
A
j
-
]
(6) 1470,7. (lut sinh dng A
k
A
k
-)
(7) %hm cc lut B
k
- v B
k
-B
k
;
(8) Loi bo lut A
k
A
k
-
(9) 1470,7. (lut sinh A
k
m khng bt du bng A
k
)
%hm lut sinh A
k
B
k
]
26/10/2011
43
O Vi d: Lim vn pIam c dang G cIo vn pIam G suu
A
1
A
z
A
1
A
z
A
; A
z
A
A
1
u; A

A
z
A
z
b
O c : G LIou C
O c z Lu c V {A
1
, A
z
, A
]
O c Lu cn suu dI IuL sInI A

A
z
A
z
p dng b d . A

A
A
1
A
z
uA
z
A

A
A
1
A
uA

b
p dng b d .q, Lu LIu d.c Lp IuL sInI
A
1
A
z
A
1
A
z
A

A
z
A
A
1
u;
A

uA
z
b uA
z
B bB;
B A
1
A
z
A
1
A
z
B
26/10/2011
44
O c ( A
du c dang cIun. TIuy LI A

vuo A
z
B A
1
A
z
A
1
A
z
B; A
uA
z
b uA
z
B bB
A
z
uA
z
A
1
bA
1
uA
z
BA
1
bBA
1
u
A
1
uA
z
A
1
A
1
bA
1
A
1
uA
z
BA
1
A
1
bBA
1
A
1
uA
1
uA
z
A
1
A

bA
1
A
uA
z
BA
1
A

bBA
1
A
uA
O c LIuy LI cuc B
k
- IuL sInI
B uA
z
A
1
A
1
A
z
bA
1
A
1
A
z
uA
z
BA
1
A
1
A
z
bBA
1
A
1
A
z

uA
1
A
z
uA
z
A
1
A
A
z
bA
1
A
A
z
uA
z
BA
1
A
A
z
bBA
1
A
A
z

uA
A
z
uA
z
A
1
A
1
A
z
B bA
1
A
1
A
z
B uA
z
BA
1
A
1
A
z
B
bBA
1
A
1
A
z
B uA
1
A
z
B uA
z
A
1
A
A
z
B bA
1
A
A
z
B
uA
z
BA
1
A
A
z
B bBA
1
A
A
z
B uA
A
z
B
26/10/2011
45
.;. TinI cIL cu C
26/10/2011
46
O O Pomping lemmu: Pomping lemmu: cIo Iu mL C bL ky, Ln LaI mL s
n cIi pI LIuc vuo suo cIo nu z vu ]z] a n LIi Lu c
LI vIL zuvwxy suo cIo ]vx] a 1, ]vwx] s n vu VI a o Lu c
uv
I
wx
I
y
O O nhc nhc: : dun d" chn minh mt nn n c phi lc CIL
hc lhn.
O O Vi Vi d d : : cIung mInI {u
I
b
I
c
I
] I a 1] kIng Iu C
GIa su Iu C, kII d Ln LaI s n LIeo b d b.m
XL cIuI z u
n
b
n
c
n
, ]z] a n, Lu c LI vIL zuvwxy LIou
b d b.m.
.;. TinI cIL cu C
26/10/2011
47
Tu c vwx u
n
b
n
c
n
, ]vwx] s n nn vwx kIng LI dng LII
cIuu ca ky IIu u vu c (vi gIuu u vu c c n ky IIu b) vx
cng kIng LI cIuu ca ky IIu u vu c.
Do ]vx] a 1 vu Lrong uvwxy cIuu s ky IIu u, b, c bng
nIuu
4 u vx c cIuu ky IIu u (nn kIng LI cIuu ky IIu c)
LIi kII b.m cIuI vx, s ky IIu c s kIng dI (Iun Iu n),
nI.ng s ky IIu u s LIuy dI. Vi d cIuI uv
o
wx
o
y [
vi c s ky IIu u (iL I.n n) s ky IIu c (Iun Iu n) kIng
bng nIuu.
4 u vx kIng cIuu ky IIu u LIi kII b.m cIuI vx, s ky
IIu u kIng dI, nI.ng s ky IIu b (Ioc c) s LIuy dI.
.;. TinI cIL cu C
26/10/2011
48
O O nh nh l l g.,: g.,: C dng vI pIp Ip, pIp kL nI vu pIp
buo dng Ieen.
O O nh nh l l g.S: g.S: C kIng dng vI pIp gIuo
O O H H qo qoaa: : C kIng dng vI pIp Iy pIn b.

Lecture 5. Context Free Grammars

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Lecture 5. Context Free Grammars

Uploaded by

Copyright:

Available Formats

GI NG VI N: TS .

{] LIm vuo P' (E) u

du c dang cIun. TIuy LI A

You might also like