0% found this document useful (0 votes)
31 views20 pages

CD Unit-1

1. A transition system is composed of a finite set of states, transitions between states, and an initial state. 2. Transitions are represented by arrows between states, indicating a change from one state to another. 3. The transition function describes the possible transitions between states.

Uploaded by

jonej27163
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
31 views20 pages

CD Unit-1

1. A transition system is composed of a finite set of states, transitions between states, and an initial state. 2. Transitions are represented by arrows between states, indicating a change from one state to another. 3. The transition function describes the possible transitions between states.

Uploaded by

jonej27163
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 20

• 'J

- =
- · ·t ia-l-
101 - ~ -J
.
- 60
} ·-

leuv e le ._
._

,...
poSi ~ l; ~

I
i'c-\

e -x
;::
E'
I Ie,i
I
{~rn
fbtru.l \
d 0 b, '
6C)

, l oo .
~ 1 on ~ • .
':ak g lni
. -
.
Ct.

. j hi \ "°n o.se,-, /o; twQ


Mov -
Mui
M. (2 V

ADO - R2.} R- 1
t1oV R, J ,'JI'
Si J
pat>,hon :;:. in·, ITa L+.ft al ~ bo -
Le~dlLlL A~al
48

~ -
( I'\ ~ 1zl I
/ '\:4-
'lf =- ~
,-~ I ,'ch__ *
;· (\ \ .,. ,cl I £p
I 2., . e~ E

6D

r~· ,..,::..1112.J~s~~~wQ__·:.LOL_____:_-
., ¥.
. ~g.l:!
_ _ __ _ _ _ _ _ _ _ _ __,_. ·
' ' .!...!:

- - - -- -- - - - - - -LcJ 1 ~ W2 4-~p I

. - - - - : - -~ - . ... 7 - Mo v 1J34 Q2 .. . ___,_,-/


. .-..-~----..---~~ ___:-_,.. .,,,---.-...--...-- .~---·.__,_.-.~~~uv~h:.-..1~;a~~
-~(ez:. ,~~n~~ :
ADD (2,., o. ~ M,o'v f2-J 1 1~1
-Ano.
5oMCO,

·- -- -'-~ -'r t;µ ..i. ,t.. LL ~~~ ,~~ ~~~ e.L _~_ f..r un
,ill ~-
·-31- ; ~~ ~ ~< $-__, __--~ ·-'
--P- '_ ' ~-~~~~rrr-~~~~~~ ~
-~ );J JoJ. .k.. J arna If" .
I r ~
51

. 3.I 4 I .60 . ---


- - - - - - - -- -- - - -- - ---

E = H Bf-C / 2.
1
v1

tµJ.+
~rlo ~
l.Eoc ~~ttm
~ ~ -~ == ==================--
. .

ws f~_,,]'-t"'\~ - - - - - -- - - -
Lelb [A-zq-~J
- cli
0, E [o-9 J

t
F11'l11E Aurot1A 1 oN !- I- 3
A Jin If-e ~m afOYL CQ n be J--fe p.>1 e.5en fecl ba Q

5- f-uple ( 61,Z, $' i.,r=-), LJhexe,


~'.) ~ ~·s a J,tAe non e'f¾ .sef 1 s--fo.fes,
lt1 l ;;;;;_ 16 o. Ji'ni fe nor, e,,,p tf Set, of i':f ufs c a.ffe.J ''f u.f
Q [phci.b t . J ,..1 ;:i
ll ill S is Q. Ju ,-,cfion. ,.;;/., ic,~ "'1°:fS
6i x 5: i'n fo 0/ a .., J is u.sua.1!:J
f
Ca rreer f/,e Jixec t khs;f i"or. u'l'ldcDn. . Th;.,, ,'s the .
ju /yJ C,to.,, c..JJ...·c/,_ de.scrc.;b,es f;I, e C /., l!l "Z e of sfc..res d».K ~
'l:l,e -fn.a ns;{; ore • Ti, ·,5 ~f j is l,l.',u.a.ffj .11epxe:-.e nfecf 1J
. a. i.cw,.s;f I f)h, fu ble "' -bta ,.,sJOr1. cLrMVI .
(_IV) i 0 E & i5 the wiiOo.[ 5Thfe .
(vJ F c (5/ ,s -l/.,e. .sef oJ
j,:,w,,l .sf,._fes .
-¥ The ttM\5 it 'on ~ e,1 On. ' 04 (,~
I I 'M.°f s a X. -f.."' vn.fO Cil
( i -e 1YI °'f .s a. skfe a-ncl Q.s1 Ing oj -tm,,J; -9)1>1 bols
¼e-Uing /;J.,e e"'J) sti-ti'ng U,{o .si:.~ ) ,S cc. UeJ. ihe
Q.

,-n.dixect itanSif,o,,, -:.funci,im, ·


r-- ----- sL;l')i beitj p>1cx:ess.eJ

BLocr-, .DtA.GlR.AM o~ Ftl'\I Tt


AUTO t1.i\10 N .
Tl<AN.s1 Tl ON s\,.sT EM: - 1 -1
_ A t->taf>S;[,on rrr a &!QnS:f,on .80<5/e,-,, ,S a J n;f:e
8-'1 a.ph I;..,
o-1.
V Q/'{ Iv<._ ( o-1. nO ,.,&,)
ct>1ec.feel, [0. be rreel r.:;{,, Ie,/"l e (',__(!, /,

-HepHe. .se ,.if~ Q .:s fuh and E-he cl; >reeled, .,_ olcfes ,nd; caie
thQ t>tansif1·0Yl ",:f Ct. sfo.fe. o.ncl th~ ec~es cv-fe la.be f/ecl
w 1~ c9-/p j o/p . V

t::ca:rle ~ - ..__...... 9-2.

A -f>-cahS, f ,-o'h. S s fe J"t'1. d


-+ ) n ;f; cJ 5fa.fi i_s J-1 "- ,p->t e se ,-, Feel l:,j ex c i >tc {e. l.J i f£, a" O.Jt11CW
yo,-)'.;f ino -fo~d s ·, &.
-t, The t,J1,-,a.[ sfa.fe. ~ f-'-"o coceh-£..i'c. ci,,Ae..s ·
-47 61:h<?X. .sfa.f~ Ju.st ~-1 a.. Cu-<,C}Q,,
-;, Th e e 0~ OJ--1'2. rQ /,,_ T1ed. by ,-nJ'"-'t; I O"-fp"-f
A txa~d,i>n s sfem Is f"-pfe ( 15), :£, 2'., ~. F}
ct [; - 1

t,J/,~ ti J 15/, :£. ancq F- c»-1e tl-,e JMJe non sef oj- e1~
vfa.te.s J the '':fv..f a. L/ho.be b, anJ . .se t5 eJ
J1;..,a [
s /;._ t'es .
di) 0( C (Sl c.nd.
0
~0 ,"s non e«J5 . o.ncl
u'i'\ J S 1:S Ile ~ 1;,,·, fe. .s l-L bse t ~ 6/ X Z::"' l>(_ Ci' ·

-.:.) A t'ian 6 ifie),,, 'tJ sl-en1 0 C.Ce pIs ti~g W i\, £. -,,
Q.. 8 J I
li ) /:hexe, e,u ,d:s Q J ti,CL ~ kk h 1W.&jY) a. !es ch om
So-«1 e ,Y) ; ITc.. l Sb,,_ h.4 , 3 oe S Q Lon ,6 /:J, .e OXJ1 ow S:

Cl.""-[ fen mi M ~ c..{; ..some_ J,', Q £ 5 ta. l--e,, -0,,, cf ·


J; ) Hie J 0..B, I/ c,t
ob faJ,-,e d ,I:! c_ o,-, CC<.fe" a.he;n. tiJ
a f'( ec~e - Io. bels -~ tlie yo:L!-i. ,·s e'r°'L fo L ' .
PR.o PE r<;n. r, c:,::-5 W
iff!lp -;R A N 5 1 II O N ,-uNc11
c 0N : - _r- 5
p 1_ : - s(
CJ, i''} := I, I:, a. 1Yl j f:e J
_ a c/4) rn CL [ Or1., . f h i5
m e( V J 5 ',
· tho.~ ~e s[o.b, eJ
-fl.,e .st-,le.-,, Let"' be ho]J :
On S bj inyut .Sc)"'bol •
O .n
c

~
P.2. : - ~ ei t- o. U s [}I;.,, g ·w· o.n
er ,1-:iu. t bo L a -
s(q_
f()

I QW)::, d: ~(t / ) IL<))


sci/ wc..) z s(~(q,/v),o.)
pxopexj (Jives lt e st"'le,
Thi5
o.,u,h, rf'IO. fu. \f l(/.7(,
1
t-l,e
oj o...
.s
Cb I") u rl) e s
&tJIW'>b ·0.1.::>' a n J th e .5i.c
(Y l ;-u.ad s /j, a t x.s l s a,.,., b L D

.,~~ aJleit. -che_


CLl,l -forna. b, C
yx e. ?u ~ & f, t.>J g
1

S U r()e, s
Of '\ C<, f f \'Y )
,

L: ) C<.. I

A. c c..e 'PT.,..t,, ~,, ..., 0 r A


I sTR 11s.\ c;,.
13 'I A. i:: 1\-11 T Er A01 DH A-1~
A s t'">1 "'{) x . Is a cc e p fed, l,Q o-. J tv,·, b, ew,fo/Y'\C<.fon-
.

M"' ( 6L £ 1 ~, i . ,P}
ij S( 'l, ,K) =-J- ,:fo-t.
0 .50 rv,C J l r: .
fhrs ;~ b0.~ica.l~ -b~ ectc
st>{;.,, b t:>--J lhe :e inC,.,L- i, hi..li
epiab;~j Q 1
_ . b O (o. ls lie J a a ep ):;;q D ((IJ.
(T 6 b,.fe_) .
J=xa"'J{e : -. u
j o.. f;e .Tl'IPU1 I
C>
-.
~ ci]_ t I

~I i?;, . Cf-o
q,2- io C/,. 3
i, i, C/,2-
T- 6

:: 't 0

I
il> ~ CJ,,
l
--= J i
<:,~ 91-~I CJ,3 -~
C
9-,
I
--7
a
J,6
0

L~Oot~ deJMed ~ AvJ,,,o.f-a, :-


&ues :- f" e +Le [qroe deJ,0ed l,u f 1/o'-<J/'Y,fj t/.,e ~A :-

0 I I
---:,..isc~ :l1
So l": - b t,;,,o o(; J~Q~t 6 ti ;:,,o >te lot J cS be) 11-~ 0We~
lOl l
doMo. fct, - f I O l 00 I I
Lj)
O O OI
I
I () I
)
lOIO I I I O I l) l

- - - - I J I I; I l I - - - - J
tJe obsvwe -tl-.0J Q IL .s -In <f w-1 ~ , c.. cc e(' le J,, bd eu. cL
5u.c~ Gfi:tfY>u is endc/ ,.,,,;-ft,, 1.
+/en te L(M)-c { w / w ~ foJ 1) OJ1d ~, e,,ds wit/.. ' 1J
-1--1@.,., c.e the f.o.,,' fa--;e a. cceplecl ~ H-,e PA is ,,
- .)e f; ~ c,,l/ s 'l>t~s O'i'eJ-r. ( o,
1} e ....d;,,,(t. ;;ft., I -
Fi"nJe -A vfo/)1
1\Ctto.. ( j oJ '
( o..) J ) e-\-e
x,m in l6trc, (
l:wo ' t u ~ : -
( b l ts.\ DI\'\
.- J )
i fe -A ut o., (
D t- A) ·
e !:ix, fl\ 1(\ , 6
1~11,
J
i ~ h h
J 1--=1-
J>e}~J 0-ri : - .Ji !,,,'!'A o.1a.
11i IA
("I o }
Nof' A_ -
1
,-I o i nCJ-- )e r-e11,-M,-11 ;61 r,, H~ Je. .J\ 1-
A 1 \o""c.1~
nofl ) e ,[ t / 1
1 ,m i o i b l i c, ~;,,-,fe
(rJ rr-A16I PA\)
Jo'J 'lo..f-c.c
( c l , : £ , b, is c. 5-Tupl e
t J l ' whene
l•J & is °' 11ir,',re n o· n e"
'J':1 set oj .st
o.b j
0➔
~: l £ C.C Ji;,J
\. ) S& tS
1
j~
~;, l"\On Qrnp~ 5
the ~nf>J\O,, ~t rts ;
t"'e,fi(Jl'1,
t
10
1

2. t,.'lh iih. orv-> cl i £


r,-,o.JP'j _
lhe powe.h s info
~
1~
et of & 1 t{
,a .5el
_ 5u.b6ets " Ct lL
( ! V ) 1/,
,f &
€- 6l r:s th ··
Lvl F0 S &
Q ifliiiei.L stJe, a,-.cl
is the ;Set
oJ J~c,J t\to.f
e.s _
- f i-l of-e t k
cJ- -!:he JiJte-1 ence bei..J
e e(\, ti.a Je.f
~
n o n j e -/:e dic, a n.J
, m ,;,, ·, b Ifv · fo (I)(, r n i "·,
,-,,,,Jc., i S o n ~
~-
e1,1A,
i ".f,()" ' :- 1h
- f
'J ) e ~Mn
lnl j ; fc, !=i1t1 fa, -A
A u. for--J1'1,,,
T)CA is 0-- C-
11\e ( ( D f Al -
6l, :£/is / k /
) , wheJ-U'
0J
t _~ [,to.rehj
is a_ _ J;:.;, le y,0re "'J
J~·,h f, e

~
( \)
is , ;
1 n o " e..--.f
set o~ ....JJs
. -
l l \1 )
. ;
~-( )
l-'> l:ke
~
fa,.l st-re, q,--J
in \
lv) i
·
tf,G ;S e't oJ
J""o. l .Sta-la., _
.[ I-Jo
CDn vm L,;..,g r-l FA with G- TJtans,'f,Ons -fo 7) PA: -

[p,don Closwte ( E- clo.Swte) :- £ psJo,-, c /05{)}-l.e ~ o. lo. fe is


th~ set oJ a.lL Ao.fes CJe can -Heae-l bo Uot.vlnd e
th
f
ho.rn .s J.-o" f "cfi {)ri, f om ti-, e Q,ve" t,-toJe f l,Clt, b e,U-{Q,
1
(abe f/ed (/.. TJ, is can be ex:.pHessecl a~ ei-fJe-v &i}n. €- cJ.,.slVle (t
£psi [on k n.d1i>n.s can /,~ in Se>t fa.el, kfl,)f'e.-u "cJ .5to. /es ·
~,co.., J k: - ~.,., -1:-J.,a aWe-,, "\ FA
0
t
)'

~ -c lo.s(»(2.1-i 1\ 0

. · ~ -c L,cS~ ( io) = ~~Ji, J ~1

Method : - 1- Co~ pu..le, t'' Je!l WHile-n{ s ft. 1 .ne.su..lf'7J ,. ,


C--,.._ o. set
oJ ;5{,Je,5 $ . . .
:i.. b(.s, a.) i6 c.JndJ, JCJ1 a, ll 'O. G:£. i
cct") ~ t s = f?_ r 1, 2 , . - - p1~ 1
lb) Cornj)c,Je, R ~ S( S,, C\) OS

R= us(PL ;Cl} := f)1 l 1


}12. . _ _ _ _ Ji~}
r
P-&
J
5 -

TI, i5 $et; i6 achieve el "'o [I ow j I~ t 'Q , not- I:,~ Jo /loli)h-,o


a. a{;- Tua.is-, no,., s .. . .
(c) Adel f - -/tions,fionl' in ~ eo,,, Jjlj G- - clo.s<.vcQ. C/2..) ·
3· ~1a. 14 o_. s£.. fp a.,,, o.ecef1'7) sie,fe 1,'t c~Jes
1Yl o,O f~a.l
Jfa~ I~ tie NF'A ·
.I- 11

E
TxQn$l ttol'v Ta. bfe, ;/<?I\. I ~l FA
s Q_ b G-
-
~iv ' ¢ ¢. 1,, i=,-
~I
¢ ¢ ~2-J i .Lt
'

~2. q_~ ¢ r/>


. r

13 ¢ c} i6
-
q_11 ¢ i5" . '' (tJ

i€ ¢ ¢ - ~6

~6 ~ , ¢ ' 9.1, t,

9,+ rB I,
¢ $)'
.
is ¢ i9. ,
6
I

ii ¢ i10 ,..
. t/J ,


'
- ~ .
CJ,io ¢- ¢
I - 12..
::. ~ q,,o , 't.1 , 9-+ /lz.,, 4i,} ::: ~ t>
I
b ( a c,.,) :::
O) ~-t-1 OS(.J(e ( ~( ~o) !X))
:: f- c, ~ ~ ( ~ ( Cj.,/l-/!:/t/i~), ~)
e:: G--c losu>te- ( S('!-.,°') lJ S( l/-) tJ .S('/,;/ ·) lJ S('l,_,aj
- lJ S(¾,~))
=:: {,. -dosWte_ C\ l) ~a) . '
~ C-cl.i .s ~ ( \ ii5 )co. t~3, iB > 16 ) 'I.,;t+ '\, t,j
.,, L\ /l-2., \, q_<i · \ I 'l-:,. ,9.i} Z- ~I

S1(61., b) :: (- cl Oawte ( ~ ( ~ ., b))


:::: f-dj) J_w.e ( 'k') "' fi n \, i,,~} /t , ~d

- b1( ~, , o) ::: t; -cIoSuKe ( S( (Q 1, <X)}


::. f- Jo Stvte ( <f-_; 1 <J, 8) "' <Sl1

~I ( ~ 1 , h) z G- -cb ~u--Le. (S(a/ 1' bJ)


:::. t- Jo s ~ ( ~, q,~J : : fis,11-~ , 'l-o '{., \p l, '½ }
1

"' Lt, "-2 ,'!,½) 'l-5 i6 'i:,.,i.i} :;: ~3


I I I

gl C~i 1 <1)== f -c ~ ~ (s C~2.,l\J


:,. ~-c lostAM ( \ , <t-s) -::, €/,
g' (& .z. 1
b) -=- f- e-la~~ ( ~( ~2. 1 b)) I- 13

~ b- .., c bs~( i~) -::. (Qi_

s' ClQ:s, 0 ~ f-c.bs~ ( s(<Q3;0.))


~ G-c lo.swtt. ( ~ 'i&) 7
z.. (Q,
1
~ ( ~.,,, b) "" f-d.,.swQ ( S (d\, b))
:= b -cb.s~ (is-, 11,.,,) =- [ 'ts> t,., 1 t61 'l-1, \J \_, ¾ j
2
t i,, '½., 'i-G, ts, <i6, 'l.:J /l-"' } ,:, &¼
S ( &~/X) ~ b -clo!>wte ( ~ ( ~tt1 Ct))
1

::= ~ --c.lo.s~ ( \ , i~) ~ ~ I


1
S ( &~);)) z &-c loslvle ( S, (&lv b))
z: (;; -c:lo 5<M.e ( 15 J iLo) ~.& tr
:!)PA: -
S' .. . CL
b s' · CA,_
b
_;,(Qo ~l &2_ •
~&()2- &, c9o'l
&, &1 &3 ~, (i\ . (93

&\ . =.) (\)3 &1 ~4


&2- &2-:
&11
(@ &, (9~
&3 '61\ -

@ f)) &4 ..

You might also like