[PPT] - Pushdown Automata Chapter 5 Chapter 5 Chapter 5 Chapter 5 PowerPoint Presentation

SLIDE 1

Pushdown Automata

Chapter 5 Chapter 5 Chapter 5 Chapter 5

SLIDE 2

Cao Hoang Tru CSE Faculty - HCMUT 2 01 July 2009

SLIDE 3

Cao Hoang Tru CSE Faculty - HCMUT 3 01 July 2009

!! "!

"≥ #

SLIDE 4

Cao Hoang Tru CSE Faculty - HCMUT 4 01 July 2009

$

%# &' ()

SLIDE 5

Cao Hoang Tru CSE Faculty - HCMUT 5 01 July 2009

$

%# &' () *!

SLIDE 6

Cao Hoang Tru CSE Faculty - HCMUT 6 01 July 2009

+ ,+-.

/0,1Γδ%#.

12 2( '' Γ2( !' δ21× ,∪λ.× Γ → 1× Γ %#∈ 12 ∈ Γ2!( ⊆ 12

SLIDE 7

Cao Hoang Tru CSE Faculty - HCMUT 7 01 July 2009

+ ,+-.

δ21× ,∪λ.× Γ → 1× Γ

!' !' '

SLIDE 8

Cao Hoang Tru CSE Faculty - HCMUT 8 01 July 2009

3'

δ,%4.0,%5.,%6λ.

%4

%5 %6

SLIDE 9

Cao Hoang Tru CSE Faculty - HCMUT 9 01 July 2009

3'

/0,1Γδ%#.

10%#%4%5%6 δ,%##.0,%44#.,%6λ. δ,%#λ#.0,%6λ. Γ 0#4 δ,%44.0,%444. 0# δ,%44.0,%5λ. 0%6 δ,%54.0,%5λ. δ,%5λ#.0,%6λ.

SLIDE 10

Cao Hoang Tru CSE Faculty - HCMUT 10 01 July 2009

&-'

,%.

'

! '

SLIDE 11

Cao Hoang Tru CSE Faculty - HCMUT 11 01 July 2009

&-'

72 ,%4.| ,%5(. ,%5(.∈ ∈ ∈ ∈ δ,%4.

SLIDE 12

Cao Hoang Tru CSE Faculty - HCMUT 12 01 July 2009

&-'

,%4(.|∗Μ ,%57. ,%4(.|+Μ ,%57.

SLIDE 13

Cao Hoang Tru CSE Faculty - HCMUT 13 01 July 2009

8'(+-

8/0,1Γδ%#.+- 8,/.0∈ Σ ",%#.|∗

Μ ,%λ.% ∈ ∈ Γ

SLIDE 14

Cao Hoang Tru CSE Faculty - HCMUT 14 01 July 2009

3'

80∈ ",.0,. /0,1Γδ%#.9

SLIDE 15

Cao Hoang Tru CSE Faculty - HCMUT 15 01 July 2009

3'

80∈ ",.0,. /0,1Γδ%#.

10%#% δ,%#λ.0,%. δ,%#.0,%##. Γ 0#4 δ,%#.0,%#4. 0% δ,%##.0,%###. δ,%##.0,%#λ. δ,%#4.0,%#λ. δ,%#4.0,%#44.

SLIDE 16

Cao Hoang Tru CSE Faculty - HCMUT 16 01 July 2009

3'

80: "∈ ; /0,1Γδ%#.9

SLIDE 17

Cao Hoang Tru CSE Faculty - HCMUT 17 01 July 2009

3'

80: "∈ ; /0,1Γδ%#.

10%#%4%5 Γ 0 0%5 δ,%#.0,%#. δ,%#λ.0,%4. δ,%#.0,%#. δ,%#λ.0,%4. δ,%#.0,%#. δ,%#.0,%#. δ,%4.0,%4λ. δ,%#.0,%#. δ,%4.0,%4λ. δ,%#.0,%#. δ,%4λ.0,%5.

SLIDE 18

Cao Hoang Tru CSE Faculty - HCMUT 18 01 July 2009

+-$8

< + δ,%#λ.0,%4*. *→ * " δ,%4*.0,%4*.,%4λ. → = δ,%4.0,%4=. =→ δ,%4=.0,%4λ. δ,%4λ.0,%5λ.

SLIDE 19

Cao Hoang Tru CSE Faculty - HCMUT 19 01 July 2009

(8+-/

8 08,/.

SLIDE 20

Cao Hoang Tru CSE Faculty - HCMUT 20 01 July 2009

<0,>*.

/0,%#%4%>∪δ%#%. ∉ > δ,%#λ.0,%4*. ,%4.∈ δ,%4. → ∈ δ,%4λ.0,%.

SLIDE 21

Cao Hoang Tru CSE Faculty - HCMUT 21 01 July 2009

3'

< + δ,%#λ.0,%4*. * → δ,%4*.0,%4. → =$ "= " δ,%4.0,%4=$.,%4λ. δ,%4.0,%4=. = → δ,%4=.0,%4λ. $ → δ,%4$.0,%4λ. δ,%4λ.0,%5λ.

SLIDE 22

Cao Hoang Tru CSE Faculty - HCMUT 22 01 July 2009

$<+-

/0,1Γδ%#. <0,>*. 8,<.08,/.

SLIDE 23

Cao Hoang Tru CSE Faculty - HCMUT 23 01 July 2009

$<+-

/0,1Γδ%#.

/?2* !'( δ,%.045 0,%@λ. 0,%@=$.

SLIDE 24

Cao Hoang Tru CSE Faculty - HCMUT 24 01 July 2009

$<+-

δ,%.0,%@λ.9

SLIDE 25

Cao Hoang Tru CSE Faculty - HCMUT 25 01 July 2009

$<+-

δ,%.0,%@λ.9 % '' 7%@ 7

SLIDE 26

Cao Hoang Tru CSE Faculty - HCMUT 26 01 July 2009

$<+-

δ,%.0,%@λ. % '' 7%@ 7 ,%%@.→

SLIDE 27

Cao Hoang Tru CSE Faculty - HCMUT 27 01 July 2009

$<+-

δ,%.0,%@=$.9

SLIDE 28

Cao Hoang Tru CSE Faculty - HCMUT 28 01 July 2009

$<+-

δ,%.0,%@=$.9 % '' 7%! 7 %@ ''=$ 7%!

SLIDE 29

Cao Hoang Tru CSE Faculty - HCMUT 29 01 July 2009

$<+-

δ,%.0,%@=$.9 % '' 7%! 7 %@ ''=$ 7%! ,%%!.→ ,%@=$%!.

SLIDE 30

Cao Hoang Tru CSE Faculty - HCMUT 30 01 July 2009

$<+-

δ,%.0,%@=$.9

% '' 7%! 7 %@ ''=$ 7%! % '' 7%! 7 %@ ''= 7% % ''$ 7%!

SLIDE 31

Cao Hoang Tru CSE Faculty - HCMUT 31 01 July 2009

$<+-

δ,%.0,%@=$.

% '' 7%! 7 %@ ''= 7% % ''$ 7%!

,%%!.→ ,%@=%.,%$%!.

SLIDE 32

Cao Hoang Tru CSE Faculty - HCMUT 32 01 July 2009

$<+-

*(2 ,%#%.

SLIDE 33

Cao Hoang Tru CSE Faculty - HCMUT 33 01 July 2009

3'

/0,1Γδ%#.

10%#%4%5 Γ 0 0%5 δ,%#.0,%#. δ,%#.0,%#. δ,%#.0,%4λ. δ,%4λ.0,%5λ.

SLIDE 34

Cao Hoang Tru CSE Faculty - HCMUT 34 01 July 2009

3'

/0,1Γδ%#.

10%#%4%5%6 0 Γ 0 0%5 δ,%#.0,%#. δ,%#.0,%#. δ,%#.0,%#. δ,%#.0,%6λ. δ,%#.0,%4λ. δ,%6λ.0,%6. δ,%4λ.0,%5λ. δ,%#.0,%4λ. δ,%4λ.0,%5λ.

SLIDE 35

Cao Hoang Tru CSE Faculty - HCMUT 35 01 July 2009

3'

/0,1Γδ%#.

10%#%4%5%6 0 Γ 0 0%5 δ,%#.0,%#. δ,%#.0,%6λ. ,%#%6.→ δ,%6λ.0,%6. δ,%#.0,%4λ. ,%#%4.→ δ,%4λ.0,%5λ. ,%4%5.→ λ

SLIDE 36

Cao Hoang Tru CSE Faculty - HCMUT 36 01 July 2009

3'

/0,1Γδ%#.

10%#%4%5%6 0 Γ 0 0%5 δ,%#.0,%#. ,%#%#.→ δ,%#.0,%6λ. ,%#%4.→ δ,%6λ.0,%6. ,%#%5.→ δ,%#.0,%4λ. ,%#%6.→ δ,%4λ.0,%5λ.

SLIDE 37

Cao Hoang Tru CSE Faculty - HCMUT 37 01 July 2009

3'

/0,1Γδ%#.

10%#%4%5%6 0 Γ 0 0%5 δ,%#.0,%#. ,%#%#.→ ,%#%#.,%#%#." δ,%#.0,%6λ. ,%#%4.,%4%#." δ,%6λ.0,%6. ,%#%5.,%5%#. δ,%#.0,%4λ. ,%#%6.,%6%#. δ,%4λ.0,%5λ.

SLIDE 38

Cao Hoang Tru CSE Faculty - HCMUT 38 01 July 2009

&8 08,/.+-/8

SLIDE 39

Cao Hoang Tru CSE Faculty - HCMUT 39 01 July 2009

/0,1ΣΓδ%#%.

<0,>*.

0Σ >0,%%@. "∈ Γ *0,%#%. 2 ,%%@.→ ,%@λ.∈ δ,%. ,%%.→ ,%=%.,%$%@. ,%@=$.∈ δ,%.

SLIDE 40

Cao Hoang Tru CSE Faculty - HCMUT 40 01 July 2009

-'7

72

4 δ,%. 5 δ,%λ. '(δ,%. '( 7(∈ ∈ ∈ ∈ Σ

SLIDE 41

Cao Hoang Tru CSE Faculty - HCMUT 41 01 July 2009

$

8

8-$8

-/808,/.

SLIDE 42

Cao Hoang Tru CSE Faculty - HCMUT 42 01 July 2009

3'

/0,1Γδ%#.

10%#%4%5 δ,%##.0,%44#. δ,%44.0,%444. Γ 0#4 δ,%44.0,%5λ. 0# δ,%54.0,%5λ. 0%# δ,%5λ#.0,%#λ.

80 "≥ #

SLIDE 43

Cao Hoang Tru CSE Faculty - HCMUT 43 01 July 2009

$8 '(-

3'2 80: "∈

SLIDE 44

Cao Hoang Tru CSE Faculty - HCMUT 44 01 July 2009

+- ' -