0 ratings0% found this document useful (0 votes) 29 views46 pagesTheory of Computation
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
ys\to\24
Seey
Moclutr-2-
oe
Equivelonee d rimimnration of austin
To Innglige quad DFA tu unique ‘b
[ ‘pia thi. cu t he
heme bang e thue 'ppa cow Aatd
[ equiva :
\
To minimias dhe DEA wemnted to tind the
ditinguisralst. amd Seige Krabi
defivabiow
“Too Stas pee] O.DFA Oru =
Cindistinguishalols) i} ond ery ij EC pad) $ 5( 4,09)
i Osu finall statis on both 8 (plus) 4S (io) ore
| | mon- final Aros for oll weer i Ch
7
‘3
healt}
i
SB Sf 5 (piv) $8400) ome oe final Hats and ome
Us non-tinal State thew p54 Orn Non- quio
on distinguishable Atattes
5 CPW) EF)
S (vw) ¢F J
The_olgout ith Used to ciscover, Listingut
Ate use table pulling odgohcttun
Be asE ie! Fol ; Tf two states one met distinguishable b
a dat lng olen toe HL Stat 4
begat |
imimixe he fetlousing DFAS uss
~ 9) Drews dhe dolte fer Udistimquishalste ena
: _indisbimquishalote States fev! autemata 7
~_ 6) Comstiuct: the mininuum State equiva ate DFA
6 4
—SAL 7 98 © 20)
a ;
0 2 & -
SS i)
Se TY
Jo
2 se ° 4y
seh B E
i 8 G c
kG A+ ie
b c G
ie E
1 SE ci q
uf sot E
H g c "Steps find amd tlimimaty omy swachabtes |
i Bate. 2 he
“Gtps, Ret dhe Fal ond Mon- fino Biche
7 Pine Atotte t+
Non-final 3= AIBDEFGH -
lca
hd
| Vom) monk Wud porolldhe final omd
‘non-final’ stares am the tolsle-
Che) (B:¢) Cod) (cae Cig) CGH)
Sips? Draw dhe tale prom tach aera
BIX
XT XL ~~ CA). 1s) “CB, u) Ha HCFC) |
ie (4.0 r Cou)
(BE) (CoH) Ch. ACGE)
(BF) (a0) Luts (G4)
(Bo) (Ga) ECG)
= Xi) CO) Cit)
CDE). Coun) CE)
Coe Cait) Aad, () ) Png
ae) (h,) (t,€)
CDH) Ceiu) Coo)
(EF) G0 CAO)
CEQ) Vw CHG) $007) Che)
Ce) CH) CEO
Cri) Ceitn) *4.0G),6)
cD) |
em o's amd Vodel ‘umber of bs Pee ee ea lt
aura lumber. of 2
“25 RES) ag
“_# ebtam @ rugulas Exprussion for a Lomgquage 4
“) -Contaimimg | odtteast! eee of txactiy! two bs”
Ove dhe lt 1S = fab ]
Sd; RE ab o%b
* Deine the begun eabh inion fer the (elon |
Joingucg Ll om brn rinxo moh hall
(a? 2 b! No ,m=0
a2 47 f ne, mM)
at BF 1 2,m>
RE = Caa)*(bb)*b ;
* oe the fugulan Expression. the tolLo
Lainsyunges + “ko Laer bm (mtn) cy is wun -
70) RED (aa)* (bb)* Mo, m0
2) af any bf bb) OT) +0 —wor
Ith = 2~ Wer
ata= 4-wm
&tOb yey
any Ww =
can RED Cau) Choy Facaa)* b( bb)*
“ay fares meh me =3Y 2
“Geitain_a tagular txprusion for dhe Ethigs
= ¢
pods ond '5 | whede Jungtt. One taultile
‘t
an: RE =) (Care) Care) Care))*
“@) Ax {uo |vo]mods-o } where v9 E Uas)* 4
Sot ¢ [wo] mod 2~0 6 EM
S Mod 320 7
4 med 3 =| X
RE =) (Cath) Cath) Cath))*
—> Build bea fe Re > Kluns J
: d aE 3
20 O_O) S39) Spe Ribs Tiana)
é vm
#) R: Cha: 2.) Caine) f
ies LORE
— 3 (mit = Suh) od
9 RC (dau ae
ama
Vo WIM £, %e)) ———
a ‘obtain “Bali Mate S| Machine DEA Which
occept_ the Sdbuonas aslomd by Atotbong wath
~ ‘ash ZJaby! I
fon CD” E
%
fae S RFRE
C eo”
eS
8) obtoim: dm NFA fee hialan bipauaion aba
g ne a4 ; > Obtaim am NFA for O Aupiilon. ExlprAwsion.
(atb)* ata Cath) | pid Cath)= (Eb
cab)= O02-0
ate
*) DFA do RE (Stati limimation Mthed)
Areas Meteo
;
Cat el Ty
pe
\
(
~ @ diminste all Atates Choummfe 05
Pf FU RE CRISOAT SOF
Oop em ge
Re =R®
roi ate oe te sean “al the.
|__ bxprsions dertvecl fer tach acte ing Ate.
4) Consctutrct sage v0 Hi potlouiin DFA.
ay the. Hal ii niation cmnthod. at
\
Sols ( a ve oy 4) Fi
Stak —_¥ i)ja-——8) © i @)
fi i o,f ;
* Combine) the ona? —XA}— XB)” O2XW®
O Gimimate oll Hats tnept Kant sat F
—Final Atoote f ‘
7 © Wiminct B= Pda Da Scenes inition
— : ; ’ fe f \ zi £.
er e Prtosuce pratoeli Eli toe Elite
fe KOC > > ATs BOB Broce Reh Qe) f fe 4
So | peor] Yi gred |
Lore =r |
Rt Qt p
4+ 1(o)* ot)
wy yo
\
\
Cored Ceti dost
Lay
\
it
\
Red Garton) R= AtoD
Sef Ps Cory) G+ Atoc
Dd ‘ 1 $2 Ctork
RE = RE QP pxCtoDd
__* $71(04))(0)* Con)
Of #1 (ors) (or) © nC gee
- 0
Ax od) eX <
POG
We have Start + final State
Ct Cat at (TERE
ae
A OR+O Tiorpor :
\ R oe u
CR 180 sor ye
F
Urg a Rey CR 1SOe DES Ur reo (atl
Cot fot) (ot! Z Con) (ori) (95)
—— i foth )t __et=4 on GOT) oe
pi
pe oF (ot) Con)
Cs :
toa! Comider C08 tmal state
os i Cony ©= FE=WD)
To ulimimotz Ato D, we nud prccluicer amd
huccemer Staten, buct b oesnet put. omy
Kuceemer i)
ped [Re pre to duce |
Q@zot) Q> pas ele
R= ( Se Eliito ElL
| *s~o . Px Elito Buc
RE =R+QS*P ;
~ $1041 08)" ¢ ;
a RES 6
No anc, 8o si
i. nya the are ioe.
~_CRtsu #1) FcO¥ We how Boat Rate ond Foal 4 Bae
Reo GeJ (ot) Uz 4 Tg
RE = (eisor 0
~ (ot) lor!) CMC MICEDIO
> Cot! (oti) d)* | Cori ©
* (org)t i(or))
~ oF FOF 104)
(= ot) Cot!)
RE = Rept RE,
Cn ko haga oleae er eee ems Ne |
RE = To* cor) (otl))to* icomy
Q) find The regular Exphaion. foi The following
DFA iaing bitte Eirilmation method
Sols Shae State aT
6G OG £) SE ae CREE Oh Cwet? WiV2- 4
“@ Lose 248 eae een
fs) Case B'3 Wa Ve MV
(4) Code 4 8 Vy -Y2 7 Us
, BW oa Th Ra 0s
+ Cased $ Wi~V-O/3 1 S ae
App i Gee Ge Ete
ie 1 Peo Pe Etes
RE = RtQc* Pp
= ds 0(g)* 0
= $F0 (€)0
*~ 4400
RE;>00 |
TAM ae V3)
ne Pitre
* Corea Vv —a), r
Re ptos
ep Ga Cllwees
— SE ee SVEbE
; : Pz Etos
RE» RFQs P
Ss LUT
LLG i> tO eG lL oFee
=> pet Loxr=4
“Lote =k
coe eae ea ae
REx = -REQS*P
sit + o(o)*L
im dpoCeya
v2 For,
f E ¢
x) Cose 4 5 Va MW
R20 Q:)
Seg pro
r Reg RIQs* P
r = OF2(4)* 0
rr ~otsa (e)0
+0 TLOy 4
ald G3 AD otte 1
pg at PERE
¢ Feu" FE) SO* +
= (cireiroo( ori) F *, 00 (o110)*)
ee
Ce a
tga
GY
ta, Wy os Btont Mee amd She final state
Hina, climimale Yo $V"
Now, Uimimatz V> Rtas
Cort 2 WIA Vs
Coser s V2 -—Ya—-V)
Corse 3 $ Vy —W Vy
Coxe 42 Va—W—%
x) Pasenping Aue Thictem! |
¥ Gt Ubeo fugulos Damguage (
2 Thon dre "orists o Chnstlet tub HE
Wey Sing Wuw L, 1 dematis o) Wiz
2D We Com buok W dnbto thre wets fey
o> hy 2 Aush that Ci) y 4 © fylzo
ci) © [xy | iene Q) a that he ae
Lf ona” | nziy ly
ene a
Sols Assume Li ds plan.
e + At m bea Constant
ly
CRE We OT Tol om
Ts Ket w= 0), Such dhat
7 BYyPee wy zo
eS [ry } O6l]
Te peed qe
= ) af 20! ly) xo
7 lyre Ta ye
muy ER 0071)
"ooo IJ
(by)
perk zo GR iL.
yoyo ee he
Kea oye
ad= xz
i i Aaqobbb - :
(é Ke, az i
Ho Al daa: pega le psi
me i + CLaaobbb |
~~ Conclusion: . 3
Tr Sune the ven Janquage aa
ir met. regular : : d
ee t 7
Te) Le fal [Ty nat pula. 1 at
Sols Aibunae. thot Lda gular Leung: 7 had nm bea Comtemt
het Wot amp
ht _[wl?™
~ plik Wty x Such thot
“Dp ge!
peg | ou).
Q) {
6) fou all AZO nay EL
Ket m2, wor Goo . bb
“I b.
Duy riuoua _Xxbb
Ty :
i
xz Z * chesiune propuiltes of tag guid Tameicity
i Coen Lampe ose Augules amd o
agape cs. tbe) awed Hum -by a
perdi A LA, A .
tee tuted them ix also fel Se She
hecrems One Called Closure pA poate, ie q
Acowleu “eoagusge
‘ or . LE me
' ) She _Wnien 4 two Aguilas, Jamauage us Sequbs
~_D he intention | tuo hugulas Temquages 7
heguter \ vg q
3) = Comblememt of two eqlar Lemguage as i
Aegulon q U
ee VAN.
®) She cif cama | two Arqutar «
—Asgulos” V v
4 5) The bevosol 4 Language w Auguton
TO The Cure (x)
hagulan pe gules teunguage. 8
D Ohe Contatonation | Neola com
uaqe 33
Acguler d t =
a By. Sepkinahliee ( Sibeetalion sa stung. job
humbel) of. a haauslo language Bb Aagulon
¥ The Invose hornomor) nism qe Bo ae
c faa Jy aula
_Chosune mr union
) Theron: Jp Lem ase dequlor Janguages amd
fo us Lum U V
poet ¢ Sinw LSM ana Rg Fhey howe
_ Argular \Eaupressiows 1 ;
VHRR)
M=£(c) dh LOM =XCRts)
By depiction, a FOP epiet fo. hepuloss toibrasion
y CLesusve umder Conlon
| Hepes
=> Convert the hegulou. tapression to empty « -NFA
2 Cornvut the & NFA to DFA-
rea Complement the Accepting state of Fe OFA
—__C Final State to Mon- “Final! + Viewers
2 town. the Complement DFA wb Anquan £xp
_husien - a
Sheewm = J] Koby 0. ular Lamquage eves
~~ Olphalset: diag. Teel did gat
—paoof at Le LCA) fou Some DFA LPR
Uy K+ 4CB) for. DFA_B? (Q,5.5, Vo Q-F) fe
iS Bus adh Like A but dhe Occepting «i
ip © A becomes! non- accepting Stectex of'6
Viceversa,
hee
Exewwble DFA A accepts all btitimys 4 O's zi
that tnd din of t 4
Lin) = a
Seine Ree = Cotbfoti. a
The Combliment LCA) Rr ale binge os a
amd 4s that devat edd od im of ta
Vek ae
mL) Cott) —— oa ma.
Bs : 0.
= t =a SE an)
OPEC Peds: Cimtiot fae Grammar (CEG)
r acc 4-tuple (er) Quad tuple
"G2 (vitesp)evohene Vita 0. Act of Variables
“a Mon-teimals
+ Tso Ket of tonimels
pis a theta: paodiuctiods~ Sips procluclion
Js dhe fovm ff, who x SE from
_ Voridlistes “omd Comnet be Empty
Bs Bitumg jum (voT)* Hone Vatican
Sto hee
8) obtain’ a pact of a COnaduting ‘|
*
Cy) Nuch er oa
; V Oo ;
Solu * Y SDasfe
3 © | deivedtion
G = (viT, ps) [$9 asfe
vets J 9 ads
Tray . |S anny |
Pfsoasfey 3 Anas
&
Gus a Abert Symbol (9 aac 4 Q chien a. Ghownnaur te pmol th The Shin
: erlang ate a_§
“ Ary: C3 aA
A> ae
g Aca
Ved SAY
Tefay
$ » Start Symnbel
ped SZ 0A
AD anjey
) Obtain a i te gemnate he
cistuma ef eveh umber, of a
a ees WN
&
=
he Id) tt
E
Py
os
cr) Sack oe ee ajobiaum. o GnQmmor Sp genwrocte the atangs
Consisting! ‘| rruuliibye. To a's)
seo (07) Os)
Saale ul daivatren:
AaB Lib aaas |e
Boas \ |
G+ Cut. sp)
ve f SA,BY
Txia}
18s Stank Symbel |
prtss dale
AD 0B 1.9
Boas}
O) stow ot é 1 >
1 rong Conssiting of Gang teh O15 bis
Sols |!
= Id ® (Lt duivation -
\.2 Sas
SD as/bsJe (i Syabs
i : =) abas
G~ CVT Sp) Daboas
va. {34 EA Lia Cf =) abaabs
= TL a.by Daboub:
wobok
Pe{ SD asfbsfey Bo able (
Gs CV T£,p : 4
Ve PS, A,B pes SGA
Te Fay [Avaa 7
Ge Stor ap 4 mina
S> Stort Symbef
pf 2 ba] bs
AD OA] bAle
= eS b ab
/ Jae
dtrivetion
i Saal bs : ' - S=) bs
L ADOA/bA]E | _ =) bbs
L _ > bbbs ug
q G> Cv, T.s,p) =) bbb aA.
Vif SAY = bbba
4 ave 3 aS) d obtaim a Graimman to eee btumge
~ atleast
Consisting as $b’ with
“Tonka be 1S
sit ae
SD alba] ab
AD of | bale
CD 2B bale
Ae «(WHS iP)
SAB
Zz fort
S* Srant Symbol
Pe S SD ah] bala 7
A> or|bAle |
| Bap] beale J
@) L- {iwi [vo[rned 3 ro where Wefayt
ae ae
Yaiaa, ern} Weta
Wrdaan
G»CV,7,$,P) W)i B= OO. a
__|wo]imed 3 >0
Imod3 =| $0
QMod 32270
3modizoro x |
4mod32|'+o —. |
Smod8>220—-
SSOAT I: &med32 0 $0 X
A> able Tmog 32 1 >om
BDasle Smodz 2 240 |
‘1 \Gmod3 + 0>0 X
Vet SA BY Weg \
Te {ay $
S= Sant Symbol
pefSpak 2 :
| Amable | A /
“Basie J
8) Ae {amb | i
Salns oe
‘@)
thre) ash
Sb ast =) Aasbb
: 5 aatyb
vet sy
T+] ad)
Se Stoat Symbol
pf ashy
SF @)_obtaum 2 frases do qenumate cthe oe
aaa
a Pe) copag
x k
S— habs i\
A> Lan bs
Gs (Vv T.6,P) i :
Vets pz Ji SS Abs
E Es aby © [Ad tfanfbn
S* Stank Sy mabe}: ey
Q) qewunate She BNNs wich, ob 7
Solne RE =) Cate Job
D2 ah
}
SD Aad.
AD Llan[ba
Ge Cutis p)
7 Ve FSAY
Te faby
i St Utort Symbol
] Px Ss Aah 4
AD Efanf ba t
L es] Orb. va
LD aba _
A> Can Joa
Ys (vit. p)
\ ores
Te. fF a0
S+ tort Symbe]
ae Dabs
Livia iEfan]ba:f
ey
7
Vel | Art 7) Dedivedtent nit td VE. ok
Comsicler a g.rtummat iver below
= pom which on cvtftumadic. Eapression
“com be obtatvud! 9
ED ETE
E> E-€
E> EXE
EEE
Edia
ED ws a Start Symbep i
obtain o stile id+ fdscid
ES Erte
5. ah & lo i
ES) idt¢e G > Surtental fevm
ED Idt+Exe | RL
E\idtidke Jo? od :
E=) idtid xe 5 $205) Sona
Pb Tdi tk 5
4) Kat mest claivation -
cae Jn the durtvation proces
LL a tmest Vartalsle os ehlaced cat
He dhum the clertvation as’ Zaid to Lt
“ Lert mest 2, fx: obtain Left mest dunivatcon for the
“ id rid aid.
fi Boys EGE
ED E-E
ED EXE
EMREe/e
cS e*E
E> ih
EDEE
E ® idte
E® fdtexe
EX idtidxe |
EX patel aed LES
~_) obtaim the lef mest datuabion pea Fling j
acnabbabbba 9 using in paceman. V
Soln t— Sx ae] ba 3
A > as baala
b> bsfaoe]b Right most duuvation.
a 1 Gnidhe duivation proces
4 a mbit (Wado Js oplatid a ey
ie th the duivetion us Night mest
i ‘obtain hight mest durtvedion for the Stung
id tide wating jellawiong ghadnos.
fol t ES Ete
E— E-E
E-DYE HE
Ea ee
ED GAB
Ext
€ 29 ere
(€ 25: E+ Exe
DERE os
E
ES) Etid aid:
es lotidl vid
i
[Beli et yo eal Se Ny
hed G=(V.T,5,P) be a CFG jee duntvediog :
a tis wutth He following pete a
oe ; r
fo
i ex €
iB
L- ig
E 4
Ig
%) Ambjqueus hoummoan s— :
Yo Ag: Qe Cane 2) bea @
Contest pre fzammon ‘Growimoar G us §
Camb iquious it! amd if thee: toast ‘ewe
© bttiny WET for Which «two ot m Ear
pose" Ties tnist by oping Lyt most
‘durivoliion ev hight anes
dbstutition.
Consider the fname Ghewn belous . E-DETS I
E3 €-& ‘ FER f }
ED erxGarine ot pho , ;
EEE
ED CEL
Ii
~ Show thot the rea Ss amBiquBOD ah
dhe bury Tertdid A
> She Fen jaded Com be asad | from
Lept mest es
E Dee
D300 Fah
ES Exe
Epidre ES ETrExe. 4
Gj pidrexe Ep idtexe
ES idtidee EDidridae
Ep idtidxe Edidtidxid:
= we
Ate pine bed wise
ihe
id Ere
— E 1 a
1NA
id | hid
“id oy Ge owe ep a
x ince the two powe Fius on berm dip en
Aa for dhe homes hevtence tdridxid by 0 ;
ee
‘Lt mest derivelion the grove: fete
Rg Omnbiquens.
~ Q) BD the jetlowing ghurnrno units es
z | Sos The brtenee Bode Gam be obtainsd
- from two Left mest dartviatiorn -
. ese
: Sp agit hi XS ax
pe 8=aasg: | KX Saax
c S =) aces A= 00x
9 S=aaaq XK =aane.
~_@) Show that the Grtunmor sis Ombiquers, “|
e om Timea ot aia walng Shu’ folio 1
So} |
; 5 as rie
b> *psJase|i
