Lec 14.pdf

G

P

Bl BA b sslaBB al ASI BAA a

s

B A

hCG

for

To

1

53

bled

lay

TT

w t

S

w

A B

w

prove i

we

acw Healed

w

slug

Assume

CD for

L

d

for lui

Healed 11 is

a b

A B

w

1cg

a

true

Iw

induction on

for Iwf

scat sco 11

are

Ms

there

k s

AB

w

A

w

g b

s U

Hot

I w

B W

l

aw bio

HIEI

dwD aces

I Wi L

9W

we

K I more

B s

Another

a

taco

B

b than a

w

grammar

asb

s

I

sew

Assume Wy has

862

w

I

w

Is safe ISS

O l

2

we

W

1w

contains

length of middle

P

z

Al

A

OA

s

t.SI

W

atleast is

s

odd and

symbol iis 03

AI AIA

little

oso lso oS1

y

31

o

Zw s

as b

p

S

E

1

Za b3

E

a

b'sat

p

for

WR

w

IT I

T X

s

ox

x

for

substring of lo ne C Eo 13

3

1

I 05h01 ex

X

IE

E I

ME

grammar for balanced fsaranthesis context free

find Cu

a

n

w

T

Isis ta

OP of It

IP I

for

c

is

u

bad

led

si

WR

n

w

I

a

IIE T

Rey n

lil

in

in

ne

se

balanced

is Len

Leg

Rcn

Rly

if

for any prefixes of

a

prefixes of

Pet

Li Cheek

vine

E

I ut LE J LCT

L

Deff

TT

ETI

T

WET S

L

DC

is

balanced

Kogen

S

2

k

w

UTI

d C

w

sentence sentential

L

form

CEGtigressions CU

G y

S T

E

IT

g

CEE E

f ng If

t

Z

I

E

Mylz

Derive

E

T P

Rt Et E

It

y

Ext E

C ET

B

E

I

EKE

Z

Et Ext E at

EAE

tnty

z

Two

At

kinds

of

determinism

neon

rules level i.e of we can choose any of E possible values the

of

At the we

level can

and

of

choose

expand

variables variable

any

Not

a

q

desirable

feature

Always drosse

rightmost leftmost variable

to be

expanded

liftoff

It

ETE set

E

Ext

ntyotE

RTE htt

Es

kty.AT

my

a