TAFL Lecture 31.1 and 2.2 2024

You might also like

Download as pdf or txt
Download as pdf or txt
You are on page 1of 15

I

canveJy*, |`j * 6. 6 Qcc.a+ted Lot ink, thtry *e-L,*.

T3€cLdiugL `X i acc¢+hD b| Mk) thcye ics a SeiueLice cD+

•+yavls.it.icnr} Cj>tve/>bonc}..mj to `>c tLial' te3`mj ctwj QThd| orb i,k ;

S'Ince, orlLi +rcm£`iti^o7 tiroviri CLi< `'s q mull~ +raThj';ti.eiy7 drcJw)

q`E to a,1 Ci`d oJ`r„i +aMi;t`ianr\ ±o i;b£Yua Mulir tra„b;+.a,u

rfuon;+I eje„.®Jb-oJ Ai to q"„ * cjam b€ c*ic.twposd ao:

TX.--C^*|^) C^ix2_A) ... C^*tw^J , toh.zof ±nr

eacl`%t , .th.~ I.s a £€que"a 0} .trcm6`it.`oyT *Cm19i

iD am elan.eut a+A|. :. *CT L|* .

ccmsty`ct`ing cam NFA-^ giv (oO+|j* cio)* 1C'

coj'ino Jha A\gr>j

iore iore
(a)

|LJ

-?

Qo+,)*
loo+D*Clo)*

S.ivvib`,'J\'d B+3o Nm-,A fu |ootl)+ Clo)*

-dr CQ)
a 1 0 d' se
(b)

|1J Cde®+ 1 )

Lad, C¢¢tlJ¥
A

ce) 11¢J#

Coo T 1)* (1¢j *


Ex.1 Ayi NFfl.A dr

( (a+ 1)*1Q + (Oo)* (11)* )*

Ca)

NfD-^ YecojHziry ({o,1?+{1„ U £°°J+]j3¥J*


Ex.3

DTatu NFA„ rfu coti) coij*(o]1)",


Sivyib\; rfu-L4 Veryst.owl I`s QcceLpbaL|e.

Fi.a.cQ` cO+i` (Oi)*

. -\-.. ` --.,`

Ju+

Fi.a.cbj cO+D (Oi)* coi])*

pia. (c) (®+1) col)* colt)#-si`yyiplirfuej

` ,,.`: ..., :

/
S`Iintye4`J.ch The~ 4` 2.

j-Lair L £E* be a nle8ulqy l¢ughftie atcee|rfeJ bi


-an WFW in.= < Go, £, %, A., g¢> ® Than i+ou

@`&t3 on IVFA M+= <Q4, Z, qjd, A£, €1> acaetfa.1 L

Cgivifdrch.cm o+ ry)1

Q|= cL

ql= fro
iJ © ^iqo'a]nfl = b
A1=

-_==-``

fruiq@3 i+ ^£q®3nA±¢

SicS,a) I S*CCLq) fa a c_ga, c`c_2= .

Niw4[:':,:=V:s;:trrfuscLh*f(alfy'.,i?uc:£*£q'i=#q|Cttf~z].

iE| Fct bard+ u" uJ`„ bvere i+dr gi#CC}iq)i £*(qJi4)


ha 4 e€ , a, t~dL .

LH£= €|*Cq,, ci)

£1 Cfy I a) c a,' ry)4 .b NFA)

g+ Cq,I ci) CAS , ban out cJe+V/j


= F\Hj;

lijbotiwul., pay fry t]c~E+, lal~ g]*cftyja)i €+(q,a)

TtdtLch:#al : F„ . cic_EL, Si*CC}, jq) I £+ CC}>Jq)


Py"1! ul£- €i*C?, aq)

¥(~L± c9€;C2T;a) (a.' Dali;y outlrA¥*

LJ 8l cTJqJ C.."jpohaj
T`-6* (C}, a,

u 6*(7tq) C...Owd+Yo}8ij
YC-£ * (C}, 8J

8* C¥'qJ
U.,A_-(9U€5£rf`tye::)))
TC-8*Ccfy,]) = £*cty' ,qJ

= A-( g# gf(cng3,,Q^.,
U^- ( it ^£+(`9i a ' )
y c- 8 *c:fry , a)

A-CIC21ut a+ ut+^A4i
Tt)a Sch ^~ a,lQ3ure hcco Tha byobe|lyT

0+ jch3 6 Jte umjon 0+ ^-CL`osvrfe of sch.

a.3 Ldr *i!: ££P¢',¢b',Ycj

^+b} U ^{Ci3 = ipi fy,Ti a, b,c3

l/l^#b„^iqdJ/:,/'
^ ( ibj u iQ,3) = ^ |{PiQ+i)= Lpiqrty q'j'J€
a, weL cciyi yviore A, cto£L.* oi++Ji'ale tiiii ury".ap ,

E]
®,

ry€lJ£+@„,(gY"ryg}'„'))
Im cavypub'ti 8*Cq,I), ihe viw\` +c7M£I'h`~ h~
Ylee| + ®trypulc
a\xp ban ciz>mL;dent .-.. mT ± ro
^Sry| gapqlalr| cto # ^£uj i gr (q , " .

- a.. hoe Qy) Ya"ovcL

eL*byto;c4 '
YiJuytctul- UmJ^cm
ho 9G* It #lloivi`±

--A-( vT£*cq,s:`, q' )

£*C9,,JJ L acLcr~. vb{


€*(CV, 5a) = BHLS coli +c},a,j} Lc+
•-QJb +i/h, J'J. So,
i y= y\eed rfe`,b¥ife

`~ tJoO lchL w£ 8|*(C},X) =8*(C}iao

+ givu+ +had+ lcfwt) = LCMj


14'
le+ t* be ami g+y;mg `.n T=+. Then, i)c i`s

accep+ia) bi mi/M , cng bet The dillou;mj ca4eo.,_

Ccbe 1 ^ lifro5) n A = ¢

CctDe.1.I c2L i 1^1

Welthcrf M vio7 fyl| qccaph 7C.

CfroclJ2 * i`s Q7vi strimg Other +hctry '^'

•Cccoc 1'.2J1
Sth(q®,,a-) n A = ¢
Ne``the,T in nor Mi Ctccap+ 3C

O`s A= A] (frl30,cii=froj

CaJe 1',.2. S>* C3®,cx) r\ A ± ¢


Both, in aThJ Mi eccaLPL i'L

to A=A|

coD¢2_ ^(i;Cha3) n A + ¢

( 3 Cle is qn Qcce++'vij -eh±+e


`'n mlJ

CC14e 29| * I.S '^'

Both M c" mi ujll\ Qccefa+ il-


CUO b|ry de;+VI; 0£ Ai c%fo;£h,rd;Q±ccr:h;wi spr€

CCLoe 2!2 X t att7 Sb`m3 a+that `tinayl '^'

Cot't 2--.1.1 9y+ CCLe,*) r\ A: -- ¢


£* CQcot *) CJOM+Ojn£. qo
The prtlb\erm is co\i wV\em

The ftrrng `3 \'\qu ho be qcc®p+ed bi " but-".'r

in, Howou®rf, Cto ^|+qo!Jn A ±¢] jJap qo,

\+ ;j Poss`ib\e fo+ in ho 3o ho q" aletrye;+7r o+ fl,


jacr. Hetlce,, |o CgTh'L-
wh,'ch coyihad;cts th+ a``veM

e*iiL iy\ £*ccfo,*J.

®., r3®th,in chid m| usw T5dy * w Th: Cctge..

C!Cto& CL.r2.2 g*Ccho,X) n A + ¢

Both M cind Ty\i Qcc.ap+ *

= L(mi)= L(MJ/ iue":ivli:o::

You might also like