CHNG TRNH DCH

BI 7: BIU DIN CY V CC CHIN

LC PHN TCH C PHP

Ni dung

1. Suy dn

2. Biu din suy dn bng cu trc cy

3. Vn phm c nhp nhng

4. Cc chin lc phn tch c php

Chin lc th-sai (quay lui): top-down, bottom-up

Chin lc quy hoch ng: CYK, Earley,

Chin lc tt nh (deterministic): LL, LR,

5. Bi tp

TRNG XUN NAM 2

Suy dnPhn 1

TRNG XUN NAM 3

Suy dn

Khi nim: A (gi l A suy dn ra ) nu A l mt lut sinh, v l cc chui k hiu thuc ngn ng L no

Nu 1 2 n ta ni 1 suy dn ra n

H thng k hiu: suy dn ra qua 1 bc (suy dn trc tip)* suy dn ra qua 0 hoc nhiu bc+ suy dn ra qua 1 hoc nhiu bc

Mt s tnh cht: * vi * v * th *

TRNG XUN NAM 4

Suy dn tri v suy dn phi

Bi ton phn tch c php thc cht l bi ton tm chui suy dn S * * , trong : S l k hiu gc

l chui c cha k hiu trung gian

l chui ch gm cc k hiu kt thc

D nhn thy trong qu trnh suy dn trn: C nhiu phng n suy dn t S thnh

Mt k hiu trung gian thuc th trc sau g n cng phi b bin i bi mt lut sinh no

Nu k hiu trung gian c chn bin i lun l tri nht ca th ta gi phng n ny l suy dn tri

nh ngha tng t cho suy dn phi

TRNG XUN NAM 5

Suy dn tri v suy dn phi

Cho vn phm G vi cc lut sinh:S E + S | E

E s | ( S )

Xu vo: W = (1 + 2 + (3 + 4)) + 5

Suy dn tri t S thnh W nh sau:S E + S ( S ) + S ( E + S ) + S ( 1 + S ) + S

( 1 + E + S ) + S ( 1 + 2 + S ) + S

( 1 + 2 + E ) + S ( 1 + 2 + ( S ) ) + S

( 1 + 2 + ( E + S ) ) + S ( 1 + 2 + ( 3 + S ) ) + S

( 1 + 2 + ( 3 + E ) ) + S ( 1 + 2 + ( 3 + 4 ) ) + S

( 1 + 2 + ( 3 + 4 ) ) + E ( 1 + 2 + ( 3 + 4 ) ) + 5

TRNG XUN NAM 6

Suy dn tri v suy dn phi

Suy dn phi t S thnh W nh sau:S E + S E + E E + 5 ( S ) + 5 ( E + S ) + 5

( E + E + S ) + 5 ( E + E + E ) + 5

( E + E + ( S ) ) + 5 ( E + E + ( E + S ) ) + 5

( E + E + ( E + E ) ) + 5 ( E + E + ( E + 4 ) ) + 5

( E + E + ( 3 + 4 ) ) + 5 ( E + 2 + ( 3 + 4 ) ) + 5

( 1 + 2 + ( 3 + 4 ) ) + 5

Cu hi: qua cc v d v qu trnh bin i t S thnh W, chng ta nn s dng cch m ha nh th no lu tr qu trnh suy dn v s dng cc thng tin in ra qu trnh suy dn nh th no?

TRNG XUN NAM 7

Biu din suy dn bng cu trc cy

Phn 2

TRNG XUN NAM 8

Cy phn tch (parse tree)

Cy phn tch th hin cu trc ca mt suy dn Nt gc l k hiu bt u

Cc nt l lun l k hiu kt thc

Cc nt trong lun l cc k hiu trung gian

Cy khng th hin th t thc hin cc suy dn trc tip Vic duyt cy s to thnh th t thc

hin suy dn

Suy dn tri tng ng vi qu trnh duyt cy theo th t gia-tri-phi

S

E + S

E

4

( S )

E + S

E + S

E

( S )

E + S

2

1

3

E

5

TRNG XUN NAM 9

Cy c php tru tng

Cy c php tru tng (abstract syntax tree) loi b cc thng tin khng cn thit ca cy phn tch Minh ha qu trnh nhm cc k

hiu vi nhau

Thch hp vi vic thc hin tnh ton v t hp thng tin

S

E + S

E

4

( S )

E + S

E + S

E

( S )

E + S

2

1

3

E

5

+

+

+

+

1

2

3 4

5

TRNG XUN NAM 10

Suy dn vs cc cu trc cy

Suy dn l cch biu din thng tin 1 chiu

Cu trc cy l cch biu din thng tin 2 chiu

Cu trc cy minh ha tng quan gia cc thnh phn trong mt cu trc khng gian

Cy phn tch m t y nht vic bin i t k hiu gc thnh chui cn phn tch, ph hp nht cho mi mc ch s dng

Cy c php gt b cc thnh phn trung gian, tp trung m t tng quan gia cc k hiu kt thc, cu trc ny ph hp vi vic t hp thng tin

TRNG XUN NAM 11

Vn phm c nhp nhngPhn 3

TRNG XUN NAM 12

Vn phm c nhp nhng

Mt vn phm thiu cht ch dn ti vic c nhiu cy phn tch khc nhau vi mt chui u vo

V d vn phm: S S + S | S * S | s

Phn tch xu vo: 1 + 2 * 3

Kt qu 1:S S + S 1 + S 1 + S * S

1 + 2 * S 1 + 2 * 3

Kt qu 2:S S * S S + S * S 1 + S * S

1 + 2 * S 1 + 2 * 3

+

1 *

2 3

*

3+

1 2

TRNG XUN NAM 13

Vn phm c nhp nhng

Vn phm tn ti t nht mt chui w c t 2 cy

phn tch tng ng tr ln gi l vn phm c

nhp nhng

Vn ln nht ca vn phm c nhp nhng l

tnh a ngha ca chui w (c nhiu cch hiu), h

qu l khng th tnh chnh xc ng ngha ca w

+

1 *

2 3

*

3+

1 2

= 7 = 9

TRNG XUN NAM 14

Kh nhp nhng

Vic kh nhp nhng thc ra to mt vn phm mi da trn vn phm c nhng hai vn phm khng hon ton tng ng

C nhiu chin lc kh nhp nhng Thm vo cc bin trung gian

a ra cc rng buc ngoi vn phm (v d nh quy nh mc u tin ca cc php ton)

V d vn phm: S S + S | S * S | s

Kh nhp nhng bng cch thm bin trung gian:S S + T | T

T T * s | s

TRNG XUN NAM 15

Cc chin lc phn tch c php

Phn 4

TRNG XUN NAM 16

Cc chin lc phn tch c php

Chin lc phn tch c php chia thnh 3 nhm:

Chin lc th-sai (quay lui): top-down, bottom-up

Chin lc quy hoch ng: CYK, Earley,

Chin lc tt nh (deterministic): LL, LR,

Ngoi ra cn c mt s phng php khc da trn

c im ca ngn ng p dng cc k thut hiu

qu (v d nh phn tch theo th bc ton t)

Mt s phng php tng qut (nh Earley chng

hn), nhng a s cc phng php ch lm vic vi

nhng vn phm c c th ring

TRNG XUN NAM 17

Chin lc th-sai

Chin lc th-sai hay l quay lui c ngh ti u

tin khi gii quyt bi ton phn tch vn phm

Cc chin lc ny n gin l th p dng cc lut

suy dn cho ti khi t c chui suy dn mc tiu

Chia thnh 2 cch tip cn ngc nhau:

Phng php top-down:

Nhn t cy phn tch th i t trn xung

C gng t S bin i dn ra w

Phng php bottom-up:

Nhn t cy phn tch th i t di ln

C gng thu gn t w v S

TRNG XUN NAM 18

Chin lc th-sai

C hai phng php ny u c hn ch v vn

phm u vo:

Top-down yu cu vn phm u vo khng quy tri

Bottom-up yu cu vn phm u vo khng c sn xut

rng (A ) v khng c suy dn dng A + A

Cc chin lc ny ch c ngha v mt l thuyt

v chm v hn ch vn phm, tuy nhin qu trnh

th-sai em li nhiu gi cho cc thut ton khc

Loi b hn ch vn phm: cc phng php vn nng

Loi b s quay lui: cc phng php tt nh

TRNG XUN NAM 19

Chin lc quy hoch ng

tng quy hoch ng nhm ti mc tiu: Xy dng cc phng php khng c hn ch v vn

phm u vo

Lu tr li cc chui con phn tch trnh phi quay lui

Thut ton CYK: Cn bin i vn phm v dng chun Chomsky

Vn phm khng c suy dn rng

Khng quay lui

Thut ton Earley: vn nng hn, khng c rng buc v vn phm, khng quay lui

TRNG XUN NAM 20

Chin lc tt nh

tng tt nh i theo la chn khc: hi sinh s

phong ph ca vn phm i ly tc

c im chung:

Cc vn phm c s rng buc nht nh

Da trn phn tch trc vn phm tin on cc tnh

hung c th xy ra

Xy dng cc bng phng n, trong ch ra vic cn

thc hin khi gp cc tnh hung c th

y l chin lc m tt c cc chng trnh dch

u s dng do u th v tc (khng quay lui)

TRNG XUN NAM 21

Bi tpPhn 5

TRNG XUN NAM 22

Bi tp

1. Xc nh ngn ng c sinh bi vn phm:1. S S ( S ) S |

2. S a S b | b S a |

3. S + S S | * S S | a

4. S 0 S 1 |

2. Xy dng vn phm sn sinh ra ngn ng:1. S nh phn l

2. S nguyn khng du

3. S nguyn c du

4. S thc, s nguyn khng v c du

5. Cc t n ting Vit

TRNG XUN NAM 23

Bi tp

3. Kh nhp nhng ca vn phm m t biu thc s hc di y php nhn v chia c u tin hn php cng v trS S A S | ( S ) | - S | s

A + | - | * | /

4. Xt vn phm: S a S b S | b S a S | Chng minh vn phm ny nhp nhng bng cch xy

dng hai suy dn tri cho chui w = abab

Xy dng cc suy dn phi tng ng cho abab

Xy dng cc cy phn tch tng ng cho abab

*Vn phm ny sinh ra ngn ng no?

TRNG XUN NAM 24

Bi tp

5. Xt vn phm:

S ( L ) | a

L L , S | S

a) Tm cc k hiu kt thc, khng kt thc

b) Tm cc cy phn tch c php cho cc chui sau

i. (a, a)

ii. (a, (a, a))

iii. (a, ((a, a), (a, a) ))

c) Xy dng dn xut tri cho mi cu trong b)

d) Xy dng mt dn xut phi cho mi cu trong b)

e) *Vn phm ny sinh ra ngn ng no?

TRNG XUN NAM 25