1

:5

version 1

24.11.06

CFL

PDA

),,,( SRV Σ

• V

• Σ�

• R

• S

• }1#:#}1,0{{ 01

*+=∈=

wwwL

SEMSE

M

MMEM

SME

SSES

1/0

/0/1

0/1

→

→

→

ε

• PDA}1#:#}1,0{{ 01

*+=∈=

wwwL

2

• }0,:{ >=+ mncbaL mnmn

bcbAcA

aAcaScS

/

/

→

→

• }0:{ ≥= nbaLofcomplementnn

*** )()()(}:{}:{ baababbajibajibaL jiji∪∪∪∪<∪>=

ε////

//

//

//

3

222

111

321

babXaXX

XbXaXS

bbSbaSS

aaSbaSS

SSSS

→

→

→

→

→

aA

BCA

→

→

aABC BC

ε→SS

ε→A

BA→

•

ε

ε

/00

//

→

→

B

BBABA

3

Lp

Lzxyuvi

pvxy

vy

uvxyzw

pwLw

ii∈Ν∈∀

<

>

=

⇒>∈∀

:

||)2

0||)1

||,

G

ww

4

b

G

b

iib

1|| +=

Vbp

wpw|V|+1

w

|V|+1

R

w

Rvxy

Rx

RR

RRuxz

v y

wR

R

uxzp

|V|+1p

CFL}:{ Ν∈= ncbaL nnn

LCFLppppcbaw =

uvxyzw =

vy

vy

vy

*** cba

5

L

CFL}}1,0{|{ *∈= wwwL

LCFLp1100 ppw =

LCLFppppw 1010=

vxywvxy

i=2

L

vxy wi=0pjip 1010 pji ==L

L

L2

1L

6