0 ratings0% found this document useful (0 votes) 39 views48 pagesModule 3 Part 1 Automata
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content,
claim it here.
Available Formats
Download as PDF or read online on Scribd
MopvLe -3
——
CONTEXT FREE GRAMMAR.
as L
}2}-CE6s and _tomquane a __|
D. Ee
- Proving that Gromer is Cotte _
6. Prxivehim aud passe ten. |
1. Auibiguily - -
| 8.) Namol Forms
[an Pasion Aston - Pelinthin of NPDA
i | Detirminizstic Ovo NenBelrwinistic PDA
-l_Non- clehawiuism ous Halling __
112) Alte hve Loyuivalente debit ila of aPDA |
13! Albrnatve that ere mot Zeyuivelemt tp PDA©
A. dwtaoduction to Rewaite systems & Grammar
Definition
The sewaite system iser Sule based systema in wluch
te a Colleckion of aules ancl aun algeritlenn hor
\Vexe 4
applying them. Each ee aule Was lelt hand side onc
aight nond Side.
The sewaite gystem which te used to debine alanguage ts
' called gpounmnede That weans CLO wa gpsmmwane valuch
| gemusates a. tamguane L then te tanguege is Specified as
| ¥C4).
2] context Face Grammar (ore) ard Languages -
Hebiuthon
ox can be formerly dehined as
The Context ee gan
la act devoted ly Ge(VsTs PS) Whe
aul taninals aespechi
papduclion gule C3 of \te
Vy &T aw Set of
veby Pia cabot
| mondteaminols
produclion ule Wllure goth
“yan of
| non
| non bawinal + keuwinels
keuminal = non teawatrials
|
tg Slast Symbot
|
base Pe 6 sas+slsvs
gs)
SPAR©
We axe using “following Conventions -
b The capttal teltrs axe Used to cdleuole non keaminals
&. The lower Case lett an
Difforerttoc lol
Reaular Grawmor
1. Requiss. GuWWWrd So. Colleching
oh following
i] get oon tewminels (vy)
tid ert of tewninals Ce)
seq at of production ule
iv} Qlaxt Symbol -
Ge (V,TsPS) bem Pequler Gfovua
Q. Using tus Grawwuss DEA
Can be drawn
3, comptler cannot moke of thus
| Graimumss for Parsing
hy Ths ts type 3 qrowimuns
5.) This form of Grammer Con
Used to clersle bam nals
v9 Regular Aaammodr & Context rr Crew
Context fue Grammer
la conlext fee Garmin 16 6
Collection o4 following
ce] Set of on tumiuel Cv)
fad of teaminal
Zi] @ut off Procbuchion ule
Cy] Slaxt Symbol
G2(vi TPs) low CFE
2. using thas @rawimas push
alovorn auctowurts (PDA) CAM bE
dxawn
3. Tompiler Make use ofthis
Ctammas bx Parsing
A. This is type - 2 Grams,
5. This hover is epusurtecl os
be cepeesen Kd fey Lebd Weruar,
ro Lug Lina
| 2neay tants ts Comlext ree
ai
non baminal + Sut of bowl
mom tawivels
CG. every Conlext re cannot be
LAS -
+. g>asblbogble3. Desiqning CEGS ©
A. Constauct Hw CER fot te lama ucge having any number
of at aver Inat 2 fad
Le f6,0:00,a0%------ 4
[soos |
ex Sat
a.
6308 22 as
Of aas
Aw
a. Obtain quammon to qenwots Alain consislony of actlesst
one
| L= fa,anasa---~- 3
[saah z
| ss alos
A> oat le 5 a196)
3, oblain a Grammars +0 quurate chun consislivin of OY
number of AF 3 0S
| Le fe, a,anana--. bsbb.r bbb --4
| (ee elastesltoo 0S
Le fags ana aaan- 4
[s3ooas { A [nan
A vohle
5. obtain qaammes to quasar 2\ xb, consistiig of
even mo of w$
be [ €, 00, AHA, ABBA —— a
(3 aoAlé
[ss elaas
az akale
ole Shing consisting of
| obtain Bowman to qe
| multiples of Vose as
AGAARE, CD OELOL — ~ ~~ &
L- £8, anos
of
L> G1: nalw) mod 3 = 0
[es elaacs |
oblein Grammor to gent, chugs of as 6 bs auch
| Shing tength mautlpk of 3
| Lele, nar, aba, ababbb.--- 4
[ss elanas
| |_asvalb.
o
(het
a3. obtain ov qowmesr to genurale slung Consislong of
Gung wuumber 40S & 3 with at lerst one &
L= fa, dbs Aba, Abba - - -Q
method ee
S>+ajas|bs
Method 2. by fas
gloat S+bs
ee |e
SxOAh
ava |
Q.) cdtisin a GAs to quuusode Sbouny coms lung ob
amy 0 of aS $ los wrth od least one b
| L- fb, ab abab, Abba ~~~ 4.
(sob lasivs| 6 08:
OO Sabh
jo at ba le
to, obtain a groummss to orept Hae follouemny language
te fro: jwlmoda 70 t
|
| gisst
eS Kal
| Ssah
|
ho elaB
Beasle .a ©
Vi] obtain ga am mus to qenesade ag 6 bs having @
Subs Buy alo
Re > QAtb)?ab (a+to)”
a sala
_— {yo
Ss Aabh
n 5 clad \balela
_\ ae ie
\Z] obtain grammer to quote at & bs hey enclung
with ab
Re = (Atb)* Ub
S > A ab.
A> e\aalbia
15) obtain a Qaomnum to queetst. ar «bos
wh alo -
R-E2 ab (a*d”*
yodo
| eyebr
Awa an olf
|
“J obtain 2 Ramer to
L = Lv! nacw) mpd 2 =0 tla we ab)"
as ¢ bof
|
|
|
sel te £ aobs b. bb. bbb avaabbb--- 3+ @
Sse\bs
Re- (btabtab)”
y yo 4
| Ss 8s $
Ss Sasas.
[s+ elbs isasas |
obtain Oo geounuass to queued te fotlousiig (asad ungs
Le fame sn 7ok.
Fy
L> £9, ab, aabb, ansutol . - - qv.
[slash
i) ctlan a qooernmnas te gorse
| Le Famer 9713
Le fLgab avrlbb» acabbb--- &
y ebtain OL QMAnmuunr to quunede
Le farlh”: nzok
tL- {Qs aabs Cawlbb ---
\S> alashLe fon pm: n>lh
3 Abb |aSb
Le fa es moh
[ss elash|
QoL e Famer 2n7/0k & uf
[a> abbbl ast]
a
a” wote. neld
ao] b> {ae myo} & Lafamtze>: n> sk
[s= > (ash | [oo Beak lash |
aj} Le fare” sn7ok.
g5e\asbb
vy Le Leerbrenzol
let & -farls obtain Qu mas, & qearalony Sk of
| all palimdtowe oun Z .
Le & 2 nbob s abbas
asi
ave, bab. baab}
fe ele Tosaa q
ay] obtain te quammoar to Quewsde the Tanguay:
Le Lomy™man| mri snz0]
L» fol, O12, OONI22s---- SF.
es AB
A > oAl lol
Be aBlale
ay Le fom 1g |\m>0 71%
L- fta, 012s oo1122 --- §
S2AB |
as oAlols
Bo tB2h2
as] Le tol mato) = nol) J
L=e £absbas baba, Ahab, BAbb---}
| s+as b (psale | 2s|
at} oftuim acea to geass aduing of Solantd
Parentheses.
[ss oo Te Telad) L+ {oll [rei [tyos trod,
[$5 0st § Gewsnte oN” seusively }
Soh te. [so Genuals ot Mou tu bs)
{go qenarcke wore 16 [kom 08}
i
|
\
|
| Sx B
| Asolo | CAtusst one's quanrated]
[e2ish_ (attest ona | ta gemacatas
a Ls fam? bm |nzo smn
|
t=] aabb®, aaabbb* » asaabebb’
a
S> AahB
fs afblab-
Bo bB le
20, oliam Oo quan
L> Lambo \nxo myn
n=O n=!) Neer
| my mye 7d
Le £ be* abbb? aabbbb’ -- at
Bs asble
Bo oBlb
=1, obtain © quaraiaa. to Gunisols Hu language ul
L= fanen? |nx73ak
Gln: Le fone, cacobs acarceb.
Stis ofseamud lot hing eos. ts followed Ly
gluing an bb |n ZO. 20s flue berst production
\s > 000, a of [ssas b Jaaa|
[i ‘atale| ise “|
enaote the log unge
ar. obtain a grommet to q
Le Lite
Ly = fa7b™ Jnzo.m>n\
Lo = § o%™ |mz ok
8, = Asi \bB
Belk foX Li
B > bBlb
Lo = So > OSI 1E
Le ile
|
Soa SiS2
| 8, > asibles
| B.5 ODNIE
RB 2 bBlboo l
33, obtain a gommasr to quot. Set of all tug
wotth atleast ore & wlun 2 - fasb\
L> far abb, aba, ows -- - 4
b ob
3&2 S82 bs
S2ak
As aAlbAle
34, tain & Games to gqenuak. the St of oll Glin
wtth mo mote then lhue 0% oun Z- falok .
Solr. along Containing not wile Uso 305 implies
Re Hure tan boe no 0% at alt
g. thre Com foe only one
two as
A. tse Com loe
Burt Wu
sp |BoplBasasl B =)
Bs bBle
|
| |
—
35, ottamn & qeamawnnn be guar. the lem wee
Le fwol mali) = Nol) + (
| Soh the problem 1S owe DAO extres thu bo.
| oTes fon
A» of bl bAalaale|
36. obtain te Gomes to gonutod Tha Tana _ ie
| Le fw |mate) 7 Now)
[dale «
woth fos gajunl noo AS 46O
As afb | bho lAAle
gente a Choulle be quobe thn no of los
fast we
po able
cast no ot © os (an be followed by one tml
| as -
Se AB.
gs BA.
| os HEM
8. 4B|Ba\ABA
h> ahb \bfal Ale
BsaBla
31] obtain o gremnuass to qurusals a. Ung une of Lumuy of
os &\S ee a Sutlasang ovo
Bob : |, Avot
\ee ot | Walea aaa Fe ost
oe “ qa to qurerote am aaithwetic
expass ion Usiny the o peraler tsosu bn An
edentifier cam slast wth any eh the tis hom
fa, bs ey
alu : E> +e
E> E-E
E> GIE
e 4 ele
Er Ce)
qt. ralsb {xc lalole
Eo-Lt
34) obtain tw ecko fot te following tovng uoges
Le Lwlwelo® with at lees t ome qeesvarte of (014
Le f atbickl te jan Selabcd
Soh
p. Bae ote ee of lol.
+" [ol (o#1"
4
| yt
Sa AlolA
| A > of (tale
2 Lz atbick
Le oak bic®
| L» abaltoick
oa
| gy asels-
A=» ahb lab5. PAoves ria yay
Proving thak Grammar is Comme LS
So prove that te given quamnier ig epvuct $v
Ly Hu Ore Var tw00 Launins mg
4 & Quncroche onby Sung in
wage Le Lane" nxo4.
_ Prove Comectmss of Vas Lorn!
Leamquage Y% mud)
5 Jo prove thy Covtectruss of gin
to build te Cro 1% gtwn ges
——
Sa asbl & |
ag
| aasbb
| aaase bb.
| OAK ebbb
| aabbbel* fan”.
| =
i:
C Petivalion & parse Gee
| Pehii too of exivalion
| het @= CvsT PS) PE & context fue Gam mas Te
hin o} Lomauage using spuaifcc St of, Rules
ts called certvobion[6
Ae
Derivation Que ts a graphical gepasentalan pot the
derivation of the given producina gules for the
given CFO The duivalion tue also collet passe lex
properlics of posse Te
olwosys a node inclicabarg last
5 Tw wot node i
Suymloot
gud [om Left to sight
> The duiivalicn is
alwerys the ‘oor Vea
Hho non Ar wetunl Mode
|
| Lebtmes
“. gm the dexinedum prouss th & AQ
gaplosd ot ENO Akep s tun the A
be tektmost
am the derived prouss a] a Right most Vasiable is
Seplosed ot enveny stip - torte dfrivalan t seutol Wo
be Right nest
and Right most desivadtion
lefimast Vostalou ts
etivalimn is Said to
£ cherivedion
1] consider the Qeannnr
ce aree (vee eelaly.
Find lebtmost & Lightmast desivalien fette slong
yar ayays & yout. posse le| tebtmasst deacvabo
| E> oe Ce =+eq) —i8
+sEEe [errEe)
4+ y-GEEE(E> -8E)
ty -nece [67 4
+a -XGEE cep
tu -nyxe (Ed
fa 2Y LY ter
PRighiwost Auxivetion
estee [erree]
+ 4uece (E>vees)
4 y-eeee (E> -€6)
+a-ceey [ery
av- GERY fer
+u- yay ter
a — KY AY {erx].
Porse Ker &
te &
NN
eed
nes
fe €
| \
x 4——— 1g
3} Consider Hw GAaMMEr Ge votth produclons
eskbB foatle B»aalbale
Give lebtmnest dasiveruon » Ruightanuost duivalon sparse
nae fen the Shuiny aanabalb
leftmost olerivalton
3 > AbB (3+ Abs)
anbB (CA2zand
aakbB [Aan]
caatbe (Azan
asabs [Are)
asabas (2208)
asa babB (R>be}
asababe (Re) ye
igus vost uxivatuon ag » &
e> AbB [s2Abs] L . /
> &oaB(B2a8) / /\
| = hoa bB(B758) ~ @® b é
| +» fboab (Be) / g
| anbab LAsat) ~
= aanbab (Aran)
| , agahbab fas ar)
| anabab fA£)3. Baigh 0 qiamwas fot Valid expuier ouOpamta
— &|, Te aaguaments arr valid cdlentitier over
Symbols as bs 0 and |. Derive LMD & RMD bot
stingy w= (ati—bo)| (lovo- a0!) vote perse Wee
hot LMD
Sohn G2 e-E
eEwzele
E> (é)
C€-2LD
Lo alb
p» opledle
left ranst lerivelionn
c+ el€ (ertele)
tele Cercer)
(e-Dle leree)
(Lo-Hle (e710)
(av-E)LE (L3o)
(a to-Edle (p+ ID)
(al lo-E)le (p+ 1D)
(alle-E) IE (ose)
Can -Loyle (E>?)
fai) — bdsle (\b- 7)
| Ca - b oD)IE (p20D)
| fa\\ - bose (Dre)
(an- bole:fanboy te) Estey)
(at\—bo) |CE-©2) (e>€-5))
(at —b0) \(LP-€) (ELD)
fati—bo)| (bP-©) (te)
Catt—bo) | (o0D-&) (D20D)
Caii- bo)! (lb00D-€) (D2 0D)
Can—bo)| (booe-©) (Dee)
| Caii—bd| [00 - LD) CE=LD)
Cat\—bo) | (b00 - ap) LL)
(ati-b0)) (00 - aon O-oP)
(at\— 60)| (ooo ~ 0.01) (P>1D)
Cati-60) | Clovo~ a012)(D48)
Cat —bs) | (ov0- 001)
| Riglet mast ceriverien
exele (ctelt)
= elle) (E706)
> Elle) (Er E®
> el(e-Loe LD)
aE |(E ~ LoD(070)
re | te- Loiw)(B71D)
> El te -L O12) (DrE)
» €\(Ee-ao0ly(l~a)
-y Ello a0) (E*)
-s E(LOD- a0!) (DOD)>» eEl(L_vop-acl) CDs)
> eEl(tove- aol) Cpe)
+ €\ (boo - aol) (Lob)
> Ce-€) | (bd0 -a0!) (E> €-E)
5 Ce -Ld | (bo -aol) (€+Ld)
> (€ — Loo bo0- aor) (p+ op)
| > (e - Loe] (b0-a0!) (PED
+e - bo) | (b00- a0!) (L+b)
> (Ld-— bd) | (b00- aot) (ELD)
= (LIp- bp) | [600 - a1) (D1)
= (LILD ~ bo) | Looo - aod (p> IP)
| [looo~ aot) (pee)
= (Lu = 60)
| (bod- ao) (L449).
> (atl- 0)
oath the parse tae fot left most Seri velar ”
A consider the CFA with produchine
| . _ ou vorite The lel mest desivechion Kiqhdmest dutivedua
fe cell. * poase tue forthe slimy o-(z0)-0)
Saln> Left rest desivalion
est (ert)
3 E-T (T+E-1T)
=o-T (F70)
»>O-F (Th)
> 0 -CE> (FS)
=0-(D (&=T)o-(F-T) (Tet)
o- (ce) -T) (CF 4CED)
0 -(tey-T) (Ese*T)
o -(urt)-1) (+t)
6 - ((exT) -T) UE>E)
o-(Ciet) - 1) (F-D
o- (CL ¥F)-T) (TF)
o- (Civ) -T) CF+0)
o-(Cmo)- F) (TF)
©= (tivo) - 0) (F0)
Right most,
EE
27 (E>T)
> Fr-T (Ts+e-T)
2F-F (T+F)
> F-(E) (CF? te
o>F- tT) (E+
> F-(F-T) (tT? F-T)
> F- (F-F) (TF)
> E-(F-0) (E20
> F -(CEd-0) (e> CE)
> FE -(le¥r)-0) (E> esr)
> p-C€eVF)—0) CRF)
» F-Ce¥o)-0) (F+0)
> F-(¢(T#0)-0) (E4T)
> P-(CPxd)-0) (TSF)
- F-(€Cl\v¥0) -0) CEs)a)
o-(Ctvo)-0) (Fsd)
S) consider the toll weng qrammus,
© >etele-€
ese QHlFle
b= &
tee alble
7) ottem the left wot cliivetioo fot the Stuvsg (ath vc)
0) obteun tha, Régla — [= forthe Sting (Atha eLub ost
eo ce) (erle)
(Eve) (e 2 eve)
> (E+E ¥€) (E> Ere)
a(areve (er
> (at bse) (7)
+3 (arb¥ c) terc)
Réglat most
E> Ge (E> Gre)
| seve (E79
> (EFC cercey)
~y (Ete) ¥o (esere)
= (E+) EC LEr®
5 (as od¥ (er
Ambiquilt
Beline tin
g) bea context pee ACEO « Agaamme
Haase Sisk OF less t
oh te dif
Hae lebt mest Lni Va bx
let Qe CVs Ts Ps
Bc ambiquous ih ams ony *h
| one Shima Ep bot volich tO
| posse tue omisk by Applying outs,
|
| ow Aaglat west dunt valien
|ie -
By Slow that qaemamas ts ormbrguots “
| ev xe+ele-&
| Exe rel Ele
e = ce it
| ro th
Son +
cons teler tre Sbuing tol + 6d. acd,
aad E » EYE
(A+ GxEre
Cat eee tAte re
fad + the E dade E
Cdr tdvid Cols idvidh
Gi e
a / N Ls cl
Ee v
I \ |
th th
tor Hu Some Sunline
| Sine. the woo posse bu oa difurct
Hae
Cdtidatd by applying leftrnest derivation
QBonuusr (5 ambiguous“a ts Fe following qiammar ambiguous Ge
3 ax |x
ya arlo
— a
Comsicles. the LMD fot the Shing GAoc
$308 Sax
=> Aas aoe
zy AOL
=yaoas
Ey AAAX
=y AUAX ern
| =) AXADK
S g
4 /~
| Oo S n x
J/™W /~
| a, ON
ks k il
\ a
\
\ Ou
Binee Huse ote two parse tie forthe Some Shing
| the given grammar is ambiguous
3] ta the following Gunma cumbiquous
S + aBlbA-
| A sas lonnle.
| Bs bg lapelb
|(Sale consicler. the “labt mast drivelaon
| S2aB ($208)
aaBeB [BseB8)
aabsB [Bs bs]
aabbAs [$2bA]
aabbaB [Aa]
Qabbab (Rb)
| s
a B
| “1 ~p
a Bg 1
a
re:
aN
b A
)
a
| S> aB (sas) UA.
| > AaB 8[B>a88) & &
| IN
| >a abB( Bb) a .s
> aabbs(B2bs) | /»
> aabbae (sag) ee AN
> aabbab fash] a 8Qs
a) ts the hollo were Gammon cumbiguows
gs tcts fictses!&
cab
oh The Shiiig Het
gstcts ([S8- tcts)
ibts Cees)
ibtictses (ss fctSes)}
tbtibtses (C#e]
ibt ibtaes [sea]
(bt gbtae cn (sea)
S
l=
t c t, S ~~
| \ 4
C c (lt Ss
| | |
b a Ou
S-> fetges (Satctses)
tbtses (Cle)
ibtiatges (Ss fetSes)
flotibt Ses (c-26)
ib tibt ACS (s2o)
iptibtaea (s+)b a
Binte thar are two achent parse bor for fu sterug
Tlottbtaen
Applicetums of comlext fr, Yowmuurr .
| Ture axe numerous applicslionre ofthe gommuse amd
boXmeal tama usages én the feelel of Computer, Seven te
7 Paxaer, MACC Parser, Harkey langues
xML
Linck autormston
| Sigtlat Sesiqn
Applica tons
Progamming lomguages (Porser, YAte passer, Harkup
lomqus ts» XML)
The grammes cmd formal lomyusges Ate Vey guttable
to eapuss Ons PrOyromnning temguages - Bulldung &
progrcumminy lomaruage Uke pastels Cr Crt ete. iw veug
gupunaive - Gaamnnors ft VYeug us
Programming toung Urge.
eft tn dusigning Ooa} Finite automaby —_
An automata Can be spusenlid Using a directed goaph
woth Vertis Uwpresercting the Slats and the edges
sopusunting the burmsistoors -
3) Digital daxiqn
| fn Cutlomsdon well be vey usepal on diigetat
| peneute many of the Cirarit as bosed on contents om
curtomote, thecty. Even though logics tmplument ation of 4
| udeuit eg though Gamsixtets » fusistor , gale biplops et
an audometen Seve o bridge ble cts troplumentalion
& funckimot claciptim of ow vaAutt
A YACC Parser —gurutator
(The unix Syston provides aVACC Commamd using volutl
Bficiemt parser Con be queurolil . The imput to tue
Command 16 CFA. but Apusentid using oltfpeunt
| notabins
J] Moxkup tomgunse -
The mest femeilion wustkuup Langusuge C6 HTML ( Hyperten
nusakinp tengersgc) HTML essed to Cuca, Hu ptoxt clown
La use on WW
deatan
XML
YML £hands fot sxtiniibl. mekup tongusge aes
| Gyctom for Afimung vabidaling s 4s heung cLocsnont
| botnet XML uses tas to aListingulslh olotuuwmwnt
Strucluss 6 atubala4+ Semplibying r6s 7
x AIL the qeomumar ose Not always oplemiged That means
QromamBs may cmsists cf Some gata Symlool
+ Having extra Symbot wavrerssory increses length of
| AaMmar
4 Simplificalion of Pommoas means aeduchion of Yrammes
| by Armovertg useless Symbot
[Reduced Grenemor |
|
Remove of slininecion of Rewovel of
uselus Suymloot 2. pioduthinn unit ptoduchin
Removal of Useless Symbol
Amy Symbel ts uselut when tt appears onthe Aight hand,
Bide, in tee prcduchon gule § qenuralis Rowe taminel
Sbing- Th no Such desivation grist thon th is gupposed
to be cn Useless symloo!,
=
4 aliminatéer useless Symbol .
S82 ABO
Aa &elb
Bs able
evaclb
wln: Jlast we obtain aget ob Voutble blom which we
qet only stung ot bunin asaw —___$2 _
| 8,0 ou the Vetiable whith quurate only =
| Ss Aslan
A> Bolb.
|
| We elimina, BS © variable inthe georomas
| Same
Azb
is the Start Eayrrloel . 10 volute, Woe Cam Atay
Hor AS
A
We production ts
ay eliminote useless ymbot fn the qoammas
So» ahle®
A> oA [oe
Bs bb
p sabléo
enact.
| fast vse cobtain St af, Vout ables
gp enh ung of tin
| Se the above VLE *
VJosiabte whics only dba.
feo vlutels we
fis De E Ke the ovuy
heaala
Teab LEO
esacla
Rarbs ADEsgw
Torta to Spabel ab BE Opman Wa pa
Wuand Qtde Hun Wwe bottle only Urese produclion
38404
A> aAla
peablta
esacld.
Hoe cis thy Voutolle pr which ture ts ap Podurelion
83 Of ‘
As oAla
Ds abléee
esaet{d
Hue D&E ore the variable which arr not Austhalt.
em glart symbol ©. DFE oar useles
S-s4aAn
As aAla
Bimapléfy te following Qummnr
S sahlalBbolec
A+z08
Bs alaa
cs 00D
D ddd— SH
i] Sept:
We oblain a gebob Voriolls Rom which we get only
oldveriolte | New voriobte Droduelums
4 Ss BsD Sea
Bro
peddad
2, BsD 3. Br Ds A $2 Bb
| Kral
Spon | S:B.dsa | Soar
Bahn
re
The ses altung, Gramm .
es adlateblar
B= alae.
po» ddd
AszaB
Wlure gis glaxt Symbol .
glip 2) We ottsin gymbot uth that geeh Suymlool »
tg Rrachob ;Lor alart symbol &
Aa aB Ob SAB
I
Pp! a vi
- = 3
Sealbbiha ase 2AsB .
| Be alfa arb SAB.g
37AB
AVA
B= bid [Ablbe
C 4 be ld (Ab
Debeld(Ab
E sal Ab
whee sis alact Symbet.
eliminate duit procluelios
S2fols
Boalt
Azoliale.
oln fot The “um wnt prnciitclivs of the
QsAO
Bow
a2 \2l0
The met procductun ot
S2+B
Be &é
A+B.
Qeamnnd q&
ofa BNA
The Auubing Gamma $278 S
S~ iol
| Be» ol'd.
Ap [l-Bt
Boe
cad
pst
| @©-©-6©-©
as Dive -So oll nm umtt production quruscle) fxom
E vom also be qunssid Hire 0 The mem Cit
produchioo oom E Ae
eg salfl
obtes wed fiom D
paalifil.
| The procuslion of ce DOM
por D2be lA (Ab. —O
as CAD ep oll produchon of D es alto be gunuiaid
fuer C- mee nen writ produce oD OA
p= belcliAl
The production of C# exbeldiab
e2beladiAbe —@.
| Ae Bc » Boal enum production of & cwun also ee
| qursotes Kon c
. Rebeld itl
The fegertbing procuichin of
Bs bld(Ablbe. -®
~ eam also be
3)on 38
The nal Qeemmar. =
8s Bane |Aneleaeipaalacles lea Jaalala
fh + OA2 {02 12Ad |20
Bs ABlAlIBII
considts the production A+ The lebt luand Gide of the
| Gefinilion -
let Ge (Vets PsS) oe @ CFR Any prooluelion mot
Wn fou A+B
pour A BEV i & UMit production -
eleminat abl unit produthen bap te qeemnnnr
Ss AB
Raa
Ball
csD
Paelbc
EC sdlflo
Salv The mon unit peoduiebin of {ae quamnuss 6
SsAB
Asa
Bob
Debe
E>sdiAb| OTe fined Creme 1s 34
25 ABcal ecalAcalaBalcalscdtBalalbp
As BolBilelb -
Bab
Qsee
Dead.
tohae 2 is ahart Symbol
| aleminet. cll &- production f™M Hu qrowmmot
S > BAAGB
A» of2 (2fole-
as agli Ble
hp. obtain ar of wulloble Voice
oN nv Prduclions
A: ® A2e
¢ , Bs¢Ee
A.8 AsBS Ss BAN
A,B S fAsBS
Neo £SeArBs Ate nutlalte Votioabts.
Shpe' produebuons Prsullorg production woth e4wlog,
Ss BAAR 9 sBaaBlAne| BAB) BARI AG
jae jen jaal ale.
Asz0A2 fe oAz|o2
A 22AD0 A2afholz2o
BsAB B+ AelelA
Be2IB BseIBiyTT
al aliminate alt &-produclion '
Step 2!
Shpt:
Ss ABCalbD .
A >Bclb
Ba ble
cezcle
Dad
obtain a. gut of MUL Varieublis
otdvatiabl Neovariable ‘produce
F Be pee
esa
Boe BGs A Abe.
Bec A BGA
Ve $Bicray one rule. Vartobtes
exsulbs buon Wh £4 vot Habe
| S2ABCO b> ABCA [BCA] Aca [ABalea
[RalBala
S2bd Se bp.
A» eclb Aseclelele
BR-+ble Bob
Cecle Cae
Dek Dad2
apply ing the produ
The }inol qaornmas 14 a
85 al@blAan
Aa aB.
Bsalfha
sliminsling &- pavduchios
Befinilion
led Ge(VeTs PS) be ACFH- A production in P of Ve bekr
Ave
ts called’ an 2-produclon & Null prooluclisn - A pty '
dan the Veuiabl. A ts eamsed » FOL
gach A inVs eh Hure i a dueiveticn ot the form
ASE
(hun A iso mullable Vastable
Definition of Nulloble Vert
bt Ge (VsTsPis) be Oo CEG vohere Veet of Vorioltes, TH
ant of teximal. Ps a f produchin & eis tre Slisit Syrbo
A yullnbt Veriodte as cubivud os follpws
Tah Ave UO producti (7 Ps trun A is amulet varalol
gy th AVBI®--Bn {6 @ production ea Pe Sth &h BisBa--
By ore rwloble Vosiolee » trun A also nullable
Otte.
Ventas
3) The Vesiabe tot velo thurs one produclioin ol He
foi ghowm in Shp l & gaps ae nullabl variablesSs Aoliilolir
A= oltatu
B= tilol
Oo
eliminate unit produchos om thu, qeanuaas.
Ss raleler
Bz=aBlb
es DbID
Daeld.
Erab.
Bale p mon- anit producer
Ss Aalcer
Be2aBlb
C2 Ob
Dad
ec sab
The wmit Po durehion ate
| ye Be S78
3 saslblAalert .
tee aac)
C= poabld.
Helww C=7D
o> abla [pb
|
| wo The Araublury queens s
Qs fa lca tarlo
Beagwlb
o> Dblabla
|
Dsdalab
E4ab
1 conarcher te qesememnssr-
8 ABC | Bal.
A> af| Bac|aae
Bo babial?-
Ceca lac
Dz=E
i] elimina g- -productins
tq elominat walt procluction'rn tae tesewbbring Yemanns
ia) elininedls sels productisa ™ ye Paulting Yormmos
Sol »
20M * bp _pxpowelions
ma DFE BaD Bap ave Nullbabl. Vewabl
{3:03) SeAecleaB 8 ABC IAC
8) Bo bBblo B-> bb [babIa
Ww ceca LAC ce calAc
Aji Aempung & te wsulling gsr
se2ABelAhe
& = Ba jaB(eaBla
As aA| aan (Baclace
Bs bb |bBb IO.
@ scAlAc
Shue aa no wnt prrdurclion bor tues qe mniat
Punowng useless Symbol .
feast wile al tla Vou abte
ow NU procretion
4 SAB S— a.
A> aor
Bs bole
8 Ba |aBlBaS
A206 | wad
2 bBb.
43
S> Ba (aB (BaBla
a AranlBaciaaa AsaAnlaaa [Baclacdaly
es
Thun vst votite the produuchion Ghalig fom =
ip! +! Rit
3
copalaslaag &e SH.
BobBb| bbla wb 3.B
The tinal Gamnmnr tw.
@ > Balas lBae
B 5 bPb [bbIloa
Pymove alk sels aymbot , umntt pwduclion & alle-
seanlas
a>aaalale-
B a2blb®
pos.
gon. peal eliminalyng & PR
@ Roe
cubase Variuote {8 Ay.
New plocrelisys woth efwlos
duueliovu
production
gs aalas asan lo (ab
AsacAls groan laale®
Bsblbe Bs b\bS
beB- p—Bhee
The Sesutling geummar afte eliminating & -produchen
85 ahlalaB
a> aaa [aalB
Bs lb |b8
D=e.
Pumoutng writ pro duelion
A-~kB
BB
The ALtulliing Greater after
8 aAlaloB
As aan jaclolbe
Bs lolbB
Ds blbB
sumo wing wnt produce
The procurlim D srt Kuoclaing feom abart Syms
pes uselrss
Tha bunting gurmmas |
gsanlalas
As aaalaalolbe
B= bibs
k Limet GiammesHo -