AFL- assigmnenE

Ahme B Rithias Redd

Ral no 2obAO5 To
the 9HrnmOa
the zin aabbabba" lpem
a a) Jexive
S a6bA
Aalas[bAA

Sl deing uing ett os dsiuaian

SaB
aaBb (a0O)
aabSB CbS)
aabD AB S6A
aaoba B
CAa)
a a bbabS ( o -
aabbatb A (S-6A
aabbabba (A-a)

dox ving uing aight most devivatitn

S - alb
aaBB (eabt)
aaBbS (06s)
aaßba (sa)
a a Bba bS (6bS)
aaBbabbA (SbA)
aa Bbabba A a
a abbabba CB6
Himimize the olloing Comtrt (piee prownat
S AC|tB
CaCble
A -aa la

S)) semoual o urlas pioduclisns

Iheve ae mo useless poductignc

CFG sa the ame

isemoulo u poductfens
nuilable wsialble
null poduchion C
emovin

S ACe |A|B
C aCb(ab
A a Ala
8blb

i nemraal_ohumit puoduuctiens

emouing S
A amd S
N
S AClC0la A|a6|6
C aCb| ab
A a A
what ae he sules oA Chemk Ttma m Convex the
yollooinoa
amtra
gMamnao into NE
Sot) S AAA |8
A Ac/ B

Sol) ChersMy mema um

Coceduxe
he RHS
stasuting Smbo t appenb on
ekminat e the
csteate poducttsr
oomy pxoductin, amd
a neLd

S S
S Tot Jequiied
An
n aloue given question, this skep

Tn the abae gMaminaN

Hinmte the qsamtnal.
Nowdey produckton

t e Hemauing null puductlen

T
S AAA|E
A Aa

mit prodbuchrens

3) Gsaradtshauld be ohe m
S-AB Sa
AA
Set amd

Mamyno
Conue ts

S YA le
A AX

X
Y A
HeTee, e Cenvested given mamad into Chomsty nomal hom
 Nstmal fom ? Comuet
what ae the sules ofh Goiebach
he ollbuing8amma into GN

S AAla

ASS 6
Sa) Guaxidach Novmalsem
Hotecue
CNF
muut be in the m
e u e oduclion
ae aeady in CvF
gammob, all he pocuckiens
n givem
except s'S adde

S S
SAAIla

A SS|b
ne Uaables having
teminals into
P Chamge all nen

Sbh values
A A
A AAs la
As AaAzlb
than
must aluny be den
Strp2 in AtAX
ZJ y J e t ecus

A A
A A1As la
AsAs Ar la A b
A3

stIL z
 elytecuoliGn'

AsAs A3 A aALlb

Set z Ag Aa2|AgA
A a Au|t| 7laAaz
T the aamTmaS

A A
Aa AAs a
A a Alb b2laAzv
Z A3 Az| As Aa s-aCi-n
be n the m S>a i
P eue parluc tien munt

A A
AA A3Aala
A aAr As A b2As|aAz A3|a vv

amd A A3 Ala

a AAs bAb2Aa AiZAs a

Z Aa Az | AsA

AzbAZ|6z A aArAza AzAu

Z aA
6A bzAlaAAr

nll gpammo
A aALA| 6A 1 6zAs aAzAsla

A aA As |bAzl62 As aArAla
A 3 a Aalbbzla
A22
|2AaA2A
AzAlaAa A | bA
aALAZI bALZ bZA2| a
 CFG
. xtsllouoing to PDA

Sada
SbSb

SC
o Om given gamyna
sas S) iCas,a Sa), Cuo,bSb), (o,e)
SDoaa) u C )
SCo66)-()
S(voC c)- C e
GFG o PDA
Hence, conuetel
ampe
F (o, abbcbba, aSa)
S s , atbc bbaS)
EUo, bb cbba, Sa
F o b6 cbba, Sbe
F bebba, Sba)
FUsbeblba, bSbla)

o Cc bba, St6ba

FCyc ba cbba)
Gba 6ba)

b a , ba)
,a , a)
 6Cenduct puuh dacn automalba Nemdanue
L-Sw e Ca-s auch that nad >ns(ad
abbaaa
L= a ,aab, abaa,

SCo,a 7) -
(auz)

S ( , b)
=
(b8
abz) = ( 5

S(aa,2 =
Caao
-( )
S b, a)

uh on automata:
a Zo(ao
&2obZo
aloT
O aalaa

) wlw (ab)uth that as)< ngCa)

S L-Sb, tba, babb, baabbb

2o)
S b , 2)
UoC)
S o b, a

Sao,a)
SCa2 (a7
 Sa a, Zo) (o 7o)

S br.) 62

S bib) , )
)
Aush doon autonaa
alolalo

(
a,b
a1aaa

4erslyut a twing Tnachine the

Jamgag

L L"Cd"/n>=1

L a b e d , aab
cdd
s
xxWN Z_Y

2,R
utngachine WW
WwR
aa,R lb,
dlY
al,Al
w,R
z,L
(ao
ww,R 2
ala
2/2,A
wlw

x/XA
sDzh,
YINA

Blee
N
lupe

Comtent 1ee onnmc

Centet ee Jonguage
puh doum autumaa

ama the A t e t o temras

TOn kemireu
amd
-

nn-teminal

Contet Semyiktive quemran

Contet Sensikie Janguoa

Sineas1 bounded aukomato

unstesuicted qnAmOi
ecutiuely emumealble Jangoge
ting machne

TypeeTyreCr-)
Peraypopoed the hechy
ko 3

Tyre o Auomata
Twrin Tmathune
LB A

PDA
Tupe FA