Determinizations and non-determinizations for semantics. Ana Sokolova University of Salzburg
|
|
- Eunice Price
- 6 years ago
- Views:
Transcription
1 Dtminiztion nd non-dtminiztion fo mntic An Sokolov Univity of Slzug Shonn NII Mting on oinduction,
2 wo pt. tgoicl ttmnt of dtminiztion joint wok with Bt Jco nd Alxnd Silv MS 0 JSS in pption. Non-dtminiztion of poilitic utomt fo vifiction vy ly-tg wok with ilippo Bonchi nd Alxnd Silv An Sokolov Univity of Slzug Shonn NII
3 AAA g Dtminiztion of NA NA DA x (P(- A P ( + A x (- x (- A tt P(- x x ~} }} x 3 x x,x 3 x 3 g An Sokolov Univity of Slzug Shonn NII
4 Dtminiztion of PS PS D ( + A x (- DA [0,] x (- A tt D(-, x, 3 x 4 }{{{ x, 4 x 3 c, x 5 6 x 4 6 x x 4 x 3 c x KKKK % 8 x 5 8 An Sokolov Univity of Slzug Shonn NII
5 < " " " < " " " k Non-dtminiztion of PA PA P (A x D(- LS P (A x (- tt D(- x zzzz DDDD " 3 < < 3 x x 3 x 4 x x 3 x 3 woooooo x ' x 3 3 x 4 x 4 k An Sokolov Univity of Slzug Shonn NII
6 h functo mond Gnlizd powt contuction [SBB 0] ytm functo dtminiztion tt NA ( x (P(- A x (- A P(- G G PA P (A x D(- P (A x (- D(- (- NA ( P ( + A x (- x (- A P(- G PS D ( + A x (- [0,] x (- A D(- - mond Klili tc [HJS 07] mntic vi coinduction An Sokolov Univity of Slzug Shonn NII
7 h functo mond Gnlizd powt contuction [SBB 0] ytm functo dtminiztion tt NA ( x (P(- A x (- A P(- G Ĝ PA P (A x D(- P (A x (- D(- (- NA ( P ( + A x (- x (- A P(- Ĝ PS D ( + A x (- [0,] x (- A D(- - mond Klili tc [HJS 07] mntic vi coinduction An Sokolov Univity of Slzug Shonn NII
8 h ig pictu oalg( oalg( G K` ± y y K`( M( Ø M ` Æ oalg( y Id ` oalg(g x
9 h ig pictu oalg( oalg( G K` ± y y K`( M( Ø M ` Æ oalg( y Id ` oalg(g x
10 h ig pictu oalg( oalg( G K` ± y y K`( M( Ø M ` Æ oalg( y Id ` oalg(g x
11 h ig pictu oalg( oalg( G K` ± y y K`( M( Ø M ` Æ oalg( y Id ` oalg(g x
12 h ig pictu oalg( oalg( G K` ± y y K`( M( ` Æ oalg( y Id ( =(µ: ( (. (f =µ (f Ø ` M oalg(g x
13 h ig pictu Lmm. In pnc of K`-lw f functo : K`( cn liftd, imilly, givn n M-lw f lg functo : M( cn liftd nd Kl-lw l : Inf pnc of :K`-lw f functo : K`( cn m. In pnc of Lmm K`-lw. functo K`( cn liftd, nd K` M oalg(g oalg( oalg( oalg(g oalg( oalg( G givn nfuncto M-lw lg functo : M( c ly, givn n M-lwimilly, f lg : f M( cn liftd: K` ± M K` K` M y y & & oa oalg( oalg( oalg(g Alg( oalg( oalg(g oalg( G K`( M( M( G K`( Y Y G [8][8] fofo dtil. hi dtmin dtminiztion functo. W now dci M dtil. hi dtmin dtminiztion functo. W now dci Ø & & & & (5 K`( M ov mo dtil. in point M( in G G K`( Y ov point mo dtil. Y Æ Y Y G hh Klili ctgoy K`( h m ojct undlying undlyingctgoy ctgoy, ut Klili ctgoy K`( h m ojct, ut oalg(g on` ight giv n tct dcip ` h functo oalg(g mophim Y in K`( mp (Y in. h idntity mp mophim oalg( Y in K`( mp (Y in. h idntity mp oalg(g of wht i clld gnlizd powt contuction inon [35]. indciption inoalg(g K`( i unit : (; nd compoition g f in K`( u u n t h functo oalg(g oalg( G ight giv h functo oalg( G on ight giv n tct in K`( i unit : (; nd compoition g f K`( in:in:g g f f==µµ (g multipliction f. h i fogtful functouu: :K`( K`( [35]. multipliction (g f. h i fogtful,, y x functo Idcontuction of whtpowt i clld gnlizd powt contuction in ht i clld gnlizd in [35]. P. h fit pt i y, inc functo K` : oalg( oalg(. nding to to ( h lft lftdjoint djoint,,givn givn nding (nd ndf ftotoµµ (f (f.. hi hi functo functo h yy P.( h nd fontl K` on commut tivilly fom ndf. ( = nd (f. = nd f f..fc Such i Klili ctgoy K`( inhit colimit idntity on it= mp f: -nd of -colg to (f = idntity ojct = nd (f h fit Such Klili ctgoy K`( inhit colimit fom Pojct; pt y, inc K` : oalg( h fit pt iottom y, inc functo oalg( functo oalg( i
14 utiv lw: idntity mp id : in fom mp iny Y in. hi uggt how to dfin, o tht w cn dfin = L(id : in. It tifi (3. in fom mp in cond copondnc um w hv n M-lw : G G. It giv h ig pictu : in. It tifi (3. h functo oalg(g oalg(g on functo : M( M( y: w hv nlmm M-lw.: In Gpnc G. Itof giv K`-lw f functoofwht : K`( cngnlizd liftd, nd i clld powt contucti G G( 7 nd f 7 G(f. imilly, givn n M-lw f lg functo : M( cn liftd: G nd M-lw Gfuncto G K` P. h fit pt i y, inc : ution yild nw -lg. M K` nd(4 gunt f 7 tht G(fthi. oalg( oalg( nd mp f of -colg oalg( oalg(g idntity on ojct; itg v diction, um lifting : M( M(. Applying it to : G G on n oalg( oalg( G Nxt, uming M-lw ltipliction nw -lg. µ yild dfin (5 & n lg (µ : (G G. W& n K`( G y G( : Y G.Applying G. mining d. G g(µ : M( it to dtil Y oalg( M( lft to M( K` G ± y µ : (G G. yw n dfin (c wht follow w hll imply wit G fo lifting of G, oth whn c K`( M( M G = G to d. mining dtil lft fom K`-lw o fomoalg(g n M-lw. Uully G fixd, o lw M h functo oalg( on Ø ight giv n tct dciption i nd light, ovlodd nottion i pfd. unlikly, It i not hd to tht M (c i colg µ ion G fo of wht lifting of G, oth whn i clld Æ gnlizd powt contuction in [35]. nxt ult ( lo [] i not lly ud in thi pp, ut it i ntul qul -lw. Uully lw fixd, o n mophim on imply h M (f = (f. ` it lt lifting, G to tndd djunction. ` pviou popoition inc i P. h fit pt i y, inc functo : oalg( oalg( d nottion i pfd. K` oalg(g tht w wit Alg( nd oalg( fo ctgoi of lg nd colg oalg( K`-lw = ud ud in thi ut iton i ojct; ntul qul pp, idntity it nd mp f of -colg to (f tof.otin finl colg in K ncto, not of (comond. to tndd djunction. lifting, G non-tivil id-condition, lik nichmnt in dcpo Nxt, uming n M-lw : G G on dfin : oalg(g M y x Id fo ctgoi of lg nd colg ition. In pnc nd n M-lw, djunction much K`( i, of yk`-lw low; intnc of thi ult hv oalg(g M( lift to djunction twn ctgoi of, pctivly, lg nd GP [SBB 0] Pdcid. M h nd = fontl nd tivilly nd, low. mond nd ndofuncto G G commut G ottom fc. dtminiztion (6 G Popoition 3. Aum c n M-lw, djunction K`( (c - G(µ
15 lt = : oalg( oiginl nd intntion, f 7 (f µ (f. oalg(g : M( M( to ctgoy of yilding lifting G 3. Ano ndofuncto G :, ut thi tim with n M-lw : G G, o : with with. xtnion K`-lw An ndofuncto : tnfomtion :, lding with to K`-lw lifting y pot-compoing ntul, tht :, l : M( M( to ctgoy 4. Anof xtnion ntul tnfomtion : G tht c yilding lifting G -lg. t : oalg( oalg(g : K`(vi K`( to Klili ctgoy, Popoition K`( to. Klili ctgoy, vi Popoition ( w hv M-lw vi following two commuting digm. 4. An xtnion ntul tnfomtion : G tht connct K`- nd h ig pictu h xtnion ntul tnfomtion, tht ( µ µ following two tim commuting unctom-lw G : vi, 3.utAno thi ndofuncto withdigm. n M-lw G : :, G ut thi G, tim with n M-l (c = c nd (f = f ( µ µ nd xtnion-lw : G ng G : M( to lifting : M( -lg. M( to ctgoy of - M( ctgoy yilding Gof Gµ G nd (f = f ult in on cumomophim f. W cn now ummiz ll (3 G G G G ntul Gµ An xtnion connct Gµ ntul tnfomtion 4. : tht tnfomtion K`- itnd :fom commuting G tht pi ofcon nd G GWhn uch i n iomophim, G G G oalg(g oalg( n now ummiz ll ult in on cu digm. digm. hwhn following two commuting M-lw vi following two commuting uch i n iomophim, it fom commuting pi of ndofuncto fom [].point o hom. Auming ov 4, i lifting K` ginning ± umption. - 4.fom of thi ction, w hv to in: y y hom. µ ( i lifting Auming ov point 4, xtnion funcµ of µ µ M( oalg(g K`( muting cu of (liftd functo: oalg( to in: fom ginning of thi ction, w hv (3 M oalg(gø ncto:gµ oalg( Gµ Gµ M( K`( G Æ G G 9 G G G G G M( K`( i `utomticlly hi functo fithful; nd it i lo full if th 9 ` 8 G omophim, it fom Whn commuting uch i n iomophim, pi of it fom fom commuting []. pi of ndof ndofuncto tnfomtion : G oalg(g conit of monomophim. oalg( it i lo i utomticlly hi functo fithful; nd full if xtnion ntul 8 conit func: hom 4, G of monomophim. ofy ov G P.ofW dfin functo : oalg( lifting oalg( ngtnfomtion ov point. Auming i lifting point xtnion 4, i th y x Id y: (c µ c P. W dfin tofuncto in: : oalg( oalg(g 7 (c µ oalg( oalg( oalg( P. nd tivilly.nd f 7 (f = µ (f 7 nd fontl fc G G oalg( h ottom commut G c
16 h ig pictu inl vi [HJS 07] if... h G-finl lift oalg( oalg( G K` ± y y K`( M( ` Æ oalg( y Id Ø h mntic coincid (lmot ` M oalg(g x
17 nd of toy?
18 (Unfotuntly not
19 Wntd: good non-dtminiztion fo PA c P (A x D( D( P (A x D( dtc
20 < " " " < " " " k A non-dtminiztion of PA PA P (A x D(- LS P (A x (- tt D(- x zzzz DDDD " 3 < < 3 x x 3 x 4 x x 3 x 3 woooooo x ' x 3 3 x 4 x 4 k An Sokolov Univity of Slzug Shonn NII
21 Ano on... [DvGHMZ 07] Lt S D(S ltion fom tt to ditiution. W lift it to ltion D(S D(S y ltting whnv (i = i I p i i, wh I i finit indx t nd i I p i = (ii o ch i I i ditiution Φ i uch tht i Φ i (iii = i I p i Φ i.
22 Ano on... [DvGHMZ 07] Lt S D(S ltion fom tt to ditiution. W lift it to ltion D(S D(S y ltting whnv (i = i I p i i, wh I i finit indx t nd i I p i = (ii o ch i I i ditiution Φ i uch tht i Φ i (iii = i I p i Φ i. c P (D( x D( D( x D ( D( x D( D( dtc P(D(
23 Do it fit? Y nd no
24 Do it fit? Y nd no ut not ditiutiv lw c P (D( D( P(D( dt c = P(μ D(c till lot to don
Last time: introduced our first computational model the DFA.
Lctur 7 Homwork #7: 2.2.1, 2.2.2, 2.2.3 (hnd in c nd d), Misc: Givn: M, NFA Prov: (q,xy) * (p,y) iff (q,x) * (p,) (follow proof don in clss tody) Lst tim: introducd our first computtionl modl th DFA. Tody
More informationThe Z transform techniques
h Z trnfor tchniqu h Z trnfor h th rol in dicrt yt tht th Lplc trnfor h in nlyi of continuou yt. h Z trnfor i th principl nlyticl tool for ingl-loop dicrt-ti yt. h Z trnfor h Z trnfor i to dicrt-ti yt
More informationHelping every little saver
Spt th diffc d cut hw u c fid I c spt thigs! Hlpig v littl sv Hw d u p i? I ch Just pp it f u chs. T fid u lcl ch just visit s.c.uk/ch If u pig i chqu, it c tk ud 4 wkig ds t cl Ov th ph Just cll Tlph
More informationfur \ \,,^N/ D7,,)d.s) 7. The champion and Runner up of the previous year shall be allowed to play directly in final Zone.
OUL O GR SODRY DUTO, ODS,RT,SMTUR,USWR.l ntuctin f cnuct f Kbi ( y/gil)tunent f 2L-Lg t. 2.. 4.. 6. Mtche hll be lye e K ule f ene f tie t tie Dutin f ech tch hll be - +0 (Rece)+ = M The ticint f ech Te
More informationPath (space curve) Osculating plane
Fo th cuilin motion of pticl in spc th fomuls did fo pln cuilin motion still lid. But th my b n infinit numb of nomls fo tngnt dwn to spc cu. Whn th t nd t ' unit ctos mod to sm oigin by kping thi ointtions
More informationsin sin 1 d r d Ae r 2
Diffction k f c f Th Huygn-Fnl Pincil tt: Evy unobtuct oint of vfont, t givn intnt, v ouc of hicl cony vlt (ith th m funcy tht of th imy v. Th mlitu of th oticl fil t ny oint byon i th uoition of ll th
More informationThe Reign of Grace and Life. Romans 5:12-21 (5:12-14, 17 focus)
Th Rig of Gc d Lif Rom 5:12-21 (5:12-14, 17 focu) Th Ifluc of O h d ud Adolph H J o ph Smith B i t l m t Fid Idi Gdhi Ci Lu Gu ich N itz y l M d i M ch Nlo h Vig T L M uhmmd B m i o t T Ju Chit w I N h
More informationHelping you learn to save. Pigby s tips and tricks
Hlpg yu lan t av Pigby tip and tick Hlpg vy littl av Pigby ha bn tachg hi find all abut ny and hw t av f what ty want. Tuffl i avg f a nw tappy bubbl d and Pi can t wait t b abl t buy nw il pat. Pigby
More informationElliptical motion, gravity, etc
FW Physics 130 G:\130 lctur\ch 13 Elliticl motion.docx g 1 of 7 11/3/010; 6:40 PM; Lst rintd 11/3/010 6:40:00 PM Fig. 1 Elliticl motion, grvity, tc minor xis mjor xis F 1 =A F =B C - D, mjor nd minor xs
More informationCOMP108 Algorithmic Foundations
Grdy mthods Prudn Wong http://www.s.liv..uk/~pwong/thing/omp108/01617 Coin Chng Prolm Suppos w hv 3 typs of oins 10p 0p 50p Minimum numr of oins to mk 0.8, 1.0, 1.? Grdy mthod Lrning outoms Undrstnd wht
More informationC-Curves. An alternative to the use of hyperbolic decline curves S E R A F I M. Prepared by: Serafim Ltd. P. +44 (0)
An ltntiv to th us of hypolic dclin cuvs Ppd y: Sfim Ltd S E R A F I M info@sfimltd.com P. +44 (02890 4206 www.sfimltd.com Contnts Contnts... i Intoduction... Initil ssumptions... Solving fo cumultiv...
More informationbe two non-empty sets. Then S is called a semigroup if it satisfies the conditions
UZZY SOT GMM EGU SEMIGOUPS V. Chinndi* & K. lmozhi** * ssocit Pofsso Dtmnt of Mthmtics nnmli Univsity nnmling Tmilnd ** Dtmnt of Mthmtics nnmli Univsity nnmling Tmilnd bstct: In this w hv discssd bot th
More informationTrade Patterns, Production networks, and Trade and employment in the Asia-US region
Trade Patterns, Production networks, and Trade and employment in the Asia-U region atoshi Inomata Institute of Developing Economies ETRO Development of cross-national production linkages, 1985-2005 1985
More informationCBSE , ˆj. cos CBSE_2015_SET-1. SECTION A 1. Given that a 2iˆ ˆj. We need to find. 3. Consider the vector equation of the plane.
CBSE CBSE SET- SECTION. Gv tht d W d to fd 7 7 Hc, 7 7 7. Lt,. W ow tht.. Thus,. Cosd th vcto quto of th pl.. z. - + z = - + z = Thus th Cts quto of th pl s - + z = Lt d th dstc tw th pot,, - to th pl.
More informationSTRIPLINES. A stripline is a planar type transmission line which is well suited for microwave integrated circuitry and photolithographic fabrication.
STIPLINES A tiplin i a plana typ tanmiion lin hih i ll uitd fo mioav intgatd iuity and photolithogaphi faiation. It i uually ontutd y thing th nt onduto of idth, on a utat of thikn and thn oving ith anoth
More informationA L A BA M A L A W R E V IE W
A L A BA M A L A W R E V IE W Volume 52 Fall 2000 Number 1 B E F O R E D I S A B I L I T Y C I V I L R I G HT S : C I V I L W A R P E N S I O N S A N D TH E P O L I T I C S O F D I S A B I L I T Y I N
More informationWho is this Great Team? Nickname. Strangest Gift/Friend. Hometown. Best Teacher. Hobby. Travel Destination. 8 G People, Places & Possibilities
Who i thi Gt Tm? Exi Sh th foowing i of infomtion bot of with o tb o tm mt. Yo o not hv to wit n of it own. Yo wi b givn on 5 mint to omih thi tk. Stngt Gift/Fin Niknm Homtown Bt Th Hobb Tv Dtintion Robt
More informationPH427/PH527: Periodic systems Spring Overview of the PH427 website (syllabus, assignments etc.) 2. Coupled oscillations.
Dy : Mondy 5 inuts. Ovrviw of th PH47 wsit (syllus, ssignnts tc.). Coupld oscilltions W gin with sss coupld y Hook's Lw springs nd find th possil longitudinl) otion of such syst. W ll xtnd this to finit
More informationELEC 351 Notes Set #18
Assignmnt #8 Poblm 9. Poblm 9.7 Poblm 9. Poblm 9.3 Poblm 9.4 LC 35 Nots St #8 Antnns gin nd fficincy Antnns dipol ntnn Hlf wv dipol Fiis tnsmission qution Fiis tnsmission qution Do this ssignmnt by Novmb
More informationClassical Theory of Fourier Series : Demystified and Generalised VIVEK V. RANE. The Institute of Science, 15, Madam Cama Road, Mumbai
Clssil Thoy o Foi Sis : Dmystii Glis VIVEK V RANE Th Istitt o Si 5 Mm Cm Ro Mmbi-4 3 -mil ss : v_v_@yhoooi Abstt : Fo Rim itgbl tio o itvl o poit thi w i Foi Sis t th poit o th itvl big ot how wh th tio
More informationFSA. CmSc 365 Theory of Computation. Finite State Automata and Regular Expressions (Chapter 2, Section 2.3) ALPHABET operations: U, concatenation, *
CmSc 365 Thory of Computtion Finit Stt Automt nd Rgulr Exprssions (Chptr 2, Sction 2.3) ALPHABET oprtions: U, conctntion, * otin otin Strings Form Rgulr xprssions dscri Closd undr U, conctntion nd * (if
More information68X LOUIE B NUNN PKWYLOUIE B NUNN PKWY NC
B v Lk Wf gmt A Ix p 86 12'W 86 1'W 85 56'W 85 54'W 85 52'W 85 5'W 37 'N 68X Ggw LOI B NNN KWYLOI B NNN KWY N 36 58'N WAN p 1 36 56'N utt' v vt A S p 4 B v Lk Bg Stt Ntu v BAN 36 52'N 36 5'N p 2 Spg B
More information1 Finite Automata and Regular Expressions
1 Fini Auom nd Rgulr Exprion Moivion: Givn prn (rgulr xprion) for ring rching, w migh wn o convr i ino drminiic fini uomon or nondrminiic fini uomon o mk ring rching mor fficin; drminiic uomon only h o
More informationT h e C S E T I P r o j e c t
T h e P r o j e c t T H E P R O J E C T T A B L E O F C O N T E N T S A r t i c l e P a g e C o m p r e h e n s i v e A s s es s m e n t o f t h e U F O / E T I P h e n o m e n o n M a y 1 9 9 1 1 E T
More informationBeechwood Music Department Staff
Beechwood Music Department Staff MRS SARAH KERSHAW - HEAD OF MUSIC S a ra h K e rs h a w t r a i n e d a t t h e R oy a l We ls h C o l le g e of M u s i c a n d D ra m a w h e re s h e ob t a i n e d
More informationWinter 2016 COMP-250: Introduction to Computer Science. Lecture 23, April 5, 2016
Wintr 2016 COMP-250: Introduction to Computr Scinc Lctur 23, April 5, 2016 Commnt out input siz 2) Writ ny lgorithm tht runs in tim Θ(n 2 log 2 n) in wors cs. Explin why this is its running tim. I don
More informationP a g e 3 6 of R e p o r t P B 4 / 0 9
P a g e 3 6 of R e p o r t P B 4 / 0 9 p r o t e c t h um a n h e a l t h a n d p r o p e r t y fr om t h e d a n g e rs i n h e r e n t i n m i n i n g o p e r a t i o n s s u c h a s a q u a r r y. J
More informationa b c cat CAT A B C Aa Bb Cc cat cat Lesson 1 (Part 1) Verbal lesson: Capital Letters Make The Same Sound Lesson 1 (Part 1) continued...
Progrssiv Printing T.M. CPITLS g 4½+ Th sy, fun (n FR!) wy to tch cpitl lttrs. ook : C o - For Kinrgrtn or First Gr (not for pr-school). - Tchs tht cpitl lttrs mk th sm souns s th littl lttrs. - Tchs th
More informationPLAYGROUND SALE Take up to 40% off. Plus FREE equipment * with select purchase DETAILS INSIDE
PLYROUND SL Tk up t 40% ff Plu FR quipnt * with lct puch DTILS INSID T BONUS QUIPMNT FR! T BONUS QUIPMNT FR * Mk qulifing $10K, $0K $30K puch f thi ORDR $10K ORDR $0K ORDR $30K T ON FR* T TO FR* T THR
More informationSelf-Adjusting Top Trees
Th Polm Sl-jsting Top Ts ynmi ts: ol: mintin n n-tx ost tht hngs o tim. link(,w): ts n g twn tis n w. t(,w): lts g (,w). pplition-spii t ssoit with gs n/o tis. ont xmpls: in minimm-wight g in th pth twn
More information20.2. The Transform and its Inverse. Introduction. Prerequisites. Learning Outcomes
The Trnform nd it Invere 2.2 Introduction In thi Section we formlly introduce the Lplce trnform. The trnform i only pplied to cul function which were introduced in Section 2.1. We find the Lplce trnform
More informationSolutions Problem Set 2. Problem (a) Let M denote the DFA constructed by swapping the accept and non-accepting state in M.
Solution Prolem Set 2 Prolem.4 () Let M denote the DFA contructed y wpping the ccept nd non-ccepting tte in M. For ny tring w B, w will e ccepted y M, tht i, fter conuming the tring w, M will e in n ccepting
More informationWeek 8. Topic 2 Properties of Logarithms
Week 8 Topic 2 Popeties of Logithms 1 Week 8 Topic 2 Popeties of Logithms Intoduction Since the esult of ithm is n eponent, we hve mny popeties of ithms tht e elted to the popeties of eponents. They e
More informationNew Advanced Higher Mathematics: Formulae
Advcd High Mthmtics Nw Advcd High Mthmtics: Fomul G (G): Fomul you must mmois i od to pss Advcd High mths s thy ot o th fomul sht. Am (A): Ths fomul giv o th fomul sht. ut it will still usful fo you to
More informationPart II, Measures Other Than Conversion I. Apr/ Spring 1
Pt II, Msus Oth hn onvsion I p/7 11 Sping 1 Pt II, Msus Oth hn onvsion II p/7 11 Sping . pplictions/exmpls of th RE lgoithm I Gs Phs Elmnty Rction dditionl Infomtion Only fd P = 8. tm = 5 K =. mol/dm 3
More informationCBSE SAMPLE PAPER SOLUTIONS CLASS-XII MATHS SET-2 CBSE , ˆj. cos. SECTION A 1. Given that a 2iˆ ˆj. We need to find
BSE SMLE ER SOLUTONS LSS-X MTHS SET- BSE SETON Gv tht d W d to fd 7 7 Hc, 7 7 7 Lt, W ow tht Thus, osd th vcto quto of th pl z - + z = - + z = Thus th ts quto of th pl s - + z = Lt d th dstc tw th pot,,
More informationInstruction Execution
MIPS Piplining Cpt280 D Cuti Nlon Intuction Excution C intuction: x = a + b; Ambly intuction: a a,b,x Stp 1: Stp 2: Stp 3: Stp : Stp 5: Stp 6: Ftch th intuction Dtmin it i an a intuction Ftch th ata a
More informationChapter 7. Kleene s Theorem. 7.1 Kleene s Theorem. The following theorem is the most important and fundamental result in the theory of FA s:
Chpte 7 Kleene s Theoem 7.1 Kleene s Theoem The following theoem is the most impotnt nd fundmentl esult in the theoy of FA s: Theoem 6 Any lnguge tht cn e defined y eithe egul expession, o finite utomt,
More informationExecutive Committee and Officers ( )
Gifted and Talented International V o l u m e 2 4, N u m b e r 2, D e c e m b e r, 2 0 0 9. G i f t e d a n d T a l e n t e d I n t e r n a t i o n a2 l 4 ( 2), D e c e m b e r, 2 0 0 9. 1 T h e W o r
More informationCONIC SECTIONS. MODULE-IV Co-ordinate Geometry OBJECTIVES. Conic Sections
Conic Sctions 16 MODULE-IV Co-ordint CONIC SECTIONS Whil cutting crrot ou might hv noticd diffrnt shps shown th dgs of th cut. Anlticll ou m cut it in thr diffrnt ws, nml (i) (ii) (iii) Cut is prlll to
More informationLecture 35. Diffraction and Aperture Antennas
ctu 35 Dictin nd ptu ntnns In this lctu u will ln: Dictin f lctmgntic ditin Gin nd ditin pttn f ptu ntnns C 303 Fll 005 Fhn Rn Cnll Univsit Dictin nd ptu ntnns ptu ntnn usull fs t (mtllic) sht with hl
More informationARC 202L. Not e s : I n s t r u c t o r s : D e J a r n e t t, L i n, O r t e n b e r g, P a n g, P r i t c h a r d - S c h m i t z b e r g e r
ARC 202L C A L I F O R N I A S T A T E P O L Y T E C H N I C U N I V E R S I T Y D E P A R T M E N T O F A R C H I T E C T U R E A R C 2 0 2 L - A R C H I T E C T U R A L S T U D I O W I N T E R Q U A
More informationProtect yourself from flu
Englnd Ey Rd Nwltt Ptct ylf fm fl Wint 2018 / 2019 1 Englnd Hll W NHS Englnd. Wlcm t wint nwltt. It i f ppl with lning dibility nd titic ppl. In thi nwltt w jt y ppl. Thi nwltt lk t m i i. W think it i
More informationSTAFF SELECTION COMMISSION COMPLETE EXAM DETAILS
STAFF SELECTION COMMISSION COMPLETE EXAM DETAILS SSC MTS Pp-1 Exm Pttn Pp-1 i n onlin pp hving multipl choic qution in ction: Roning, Englih Lngug, Numicl Aptitud nd Gnl Awn Th nti pp i of totl 1 m nd
More informationWinnie flies again. Winnie s Song. hat. A big tall hat Ten long toes A black magic wand A long red nose. nose. She s Winnie Winnie the Witch.
Wnn f gn ht Wnn Song A g t ht Tn ong to A k g wnd A ong d no. no Sh Wnn Wnn th Wth. y t d to A ong k t Bg gn y H go wth Wnn Whn h f. wnd ootk H Wu Wu th t. Ptu Dtony oo hopt oon okt hng gd ho y ktod nh
More informationEngineering Differential Equations Practice Final Exam Solutions Fall 2011
9.6 Enginring Diffrntial Equation Practic Final Exam Solution Fall 0 Problm. (0 pt.) Solv th following initial valu problm: x y = xy, y() = 4. Thi i a linar d.. bcau y and y appar only to th firt powr.
More informationTheory of Spatial Problems
Chpt 7 ho of Sptil Polms 7. Diffntil tions of iliim (-D) Z Y X Inol si nknon stss componnts:. 7- 7. Stt of Stss t Point t n sfc ith otd noml N th sfc componnts ltd to (dtmind ) th 6 stss componnts X N
More informationCompact Guide Cylinder with One-way Lock Series MLGP ø40, ø50, ø63. Prevents dropping when air supply pressure falls or residual pressure is exhausted
Compct uid Cylindr with On-wy ock ris MP ø, ø, ø Prvnts dropping whn ir supply prssur flls or rsidul prssur is xhustd Cn lockd t ny position h locking position cn chngd to ccommodt n xtrnl stoppr position
More informationMath 2142 Homework 2 Solutions. Problem 1. Prove the following formulas for Laplace transforms for s > 0. a s 2 + a 2 L{cos at} = e st.
Mth 2142 Homework 2 Solution Problem 1. Prove the following formul for Lplce trnform for >. L{1} = 1 L{t} = 1 2 L{in t} = 2 + 2 L{co t} = 2 + 2 Solution. For the firt Lplce trnform, we need to clculte:
More information1 2 : 4 5. Why Digital Systems? Lesson 1: Introduction to Digital Logic Design. Numbering systems. Sample Problems 1 5 min. Lesson 1-b: Logic Gates
Leon : Introduction to Digitl Logic Deign Computer ided Digitl Deign EE 39 meet Chvn Fll 29 Why Digitl Sytem? ccurte depending on numer of digit ued CD Muic i digitl Vinyl Record were nlog DVD Video nd
More information( ) Geometric Operations and Morphing. Geometric Transformation. Forward v.s. Inverse Mapping. I (x,y ) Image Processing - Lesson 4 IDC-CG 1
Img Procssing - Lsson 4 Gomtric Oprtions nd Morphing Gomtric Trnsformtion Oprtions dpnd on Pil s Coordints. Contt fr. Indpndnt of pil vlus. f f (, ) (, ) ( f (, ), f ( ) ) I(, ) I', (,) (, ) I(,) I (,
More informationStanford University Medical Center
tanford University Medical enter VTO TTIO 00 Pasteur rive, tanford, 940 G I I G O T POF T U IO 6 exp /09 I T U I F O 6 IGIGWOO O MTO, IFOI 9864 GI I Y @ MY T TI OT OUTWIGHT IMT IM TW GUII H XITIG VTO XPIO
More informationCOHORT MBA. Exponential function. MATH review (part2) by Lucian Mitroiu. The LOG and EXP functions. Properties: e e. lim.
MTH rviw part b Lucian Mitroiu Th LOG and EXP functions Th ponntial function p : R, dfind as Proprtis: lim > lim p Eponntial function Y 8 6 - -8-6 - - X Th natural logarithm function ln in US- log: function
More informationNinth Marine Air Wing To Be Decommissioned. ment of the Transport Air Broup.
N M W T B D $ R V /RNE M N 2 C O R R & F O T T O O N T TTON-CHERRY ONT NC B D OM O z C M H N M W O z M 944 T W ; N W j j C T q T N W T W z ; q q z - M 30 946 F T G O R [MR 252952 C q -C - T G VMR 252 V
More informationGrain Reserves, Volatility and the WTO
Grain Reserves, Volatility and the WTO Sophia Murphy Institute for Agriculture and Trade Policy www.iatp.org Is v o la tility a b a d th in g? De pe n d s o n w h e re yo u s it (pro d uc e r, tra d e
More information176 5 t h Fl oo r. 337 P o ly me r Ma te ri al s
A g la di ou s F. L. 462 E l ec tr on ic D ev el op me nt A i ng er A.W.S. 371 C. A. M. A l ex an de r 236 A d mi ni st ra ti on R. H. (M rs ) A n dr ew s P. V. 326 O p ti ca l Tr an sm is si on A p ps
More informationCOMPSCI 230 Discrete Math Trees March 21, / 22
COMPSCI 230 Dict Math Mach 21, 2017 COMPSCI 230 Dict Math Mach 21, 2017 1 / 22 Ovviw 1 A Simpl Splling Chck Nomnclatu 2 aval Od Dpth-it aval Od Badth-it aval Od COMPSCI 230 Dict Math Mach 21, 2017 2 /
More informationNeutrosophic Hyperideals of Semihyperrings
Nuooph m Vol. 06 05 Uv o Nw Mo Nuooph Hpl o mhpg D Ml Dpm o Mhm j P Moh Collg Up Hooghl-758 mljumh@gml.om A. h pp w hv ou uooph hpl o mhpg o om opo o hm o u oo pop. Kwo: C Pou Compoo l o Nuooph mhpmg.
More informationORBITAL TO GEOCENTRIC EQUATORIAL COORDINATE SYSTEM TRANSFORMATION. x y z. x y z GEOCENTRIC EQUTORIAL TO ROTATING COORDINATE SYSTEM TRANSFORMATION
ORITL TO GEOCENTRIC EQUTORIL COORDINTE SYSTEM TRNSFORMTION z i i i = (coωcoω in Ωcoiinω) (in Ωcoω + coωcoiinω) iniinω ( coωinω in Ωcoi coω) ( in Ωinω + coωcoicoω) in icoω in Ωini coωini coi z o o o GEOCENTRIC
More informationHandout 7. Properties of Bloch States and Electron Statistics in Energy Bands
Hdout 7 Popts of Bloch Stts d Elcto Sttstcs Eg Bds I ths lctu ou wll l: Popts of Bloch fuctos Podc boud codtos fo Bloch fuctos Dst of stts -spc Elcto occupto sttstcs g bds ECE 407 Spg 009 Fh R Coll Uvst
More informationP a g e 5 1 of R e p o r t P B 4 / 0 9
P a g e 5 1 of R e p o r t P B 4 / 0 9 J A R T a l s o c o n c l u d e d t h a t a l t h o u g h t h e i n t e n t o f N e l s o n s r e h a b i l i t a t i o n p l a n i s t o e n h a n c e c o n n e
More information(( ) ( ) ( ) ( ) ( 1 2 ( ) ( ) ( ) ( ) Two Stage Cluster Sampling and Random Effects Ed Stanek
Two ag ampling and andom ffct 8- Two Stag Clu Sampling and Random Effct Ed Stank FTE POPULATO Fam Labl Expctd Rpon Rpon otation and tminology Expctd Rpon: y = and fo ach ; t = Rpon: k = y + Wk k = indx
More informationReading assignment: In this chapter we will cover Sections Definition and the Laplace transform of simple functions
Chapter 4 Laplace Tranform 4 Introduction Reading aignment: In thi chapter we will cover Section 4 45 4 Definition and the Laplace tranform of imple function Given f, a function of time, with value f(t
More informationWeighted graphs -- reminder. Data Structures LECTURE 15. Shortest paths algorithms. Example: weighted graph. Two basic properties of shortest paths
Dt Strutur LECTURE Shortt pth lgorithm Proprti of hortt pth Bllmn-For lgorithm Dijktr lgorithm Chptr in th txtook (pp ). Wight grph -- rminr A wight grph i grph in whih g hv wight (ot) w(v i, v j ) >.
More information2. The Laplace Transform
. The Lplce Trnform. Review of Lplce Trnform Theory Pierre Simon Mrqui de Lplce (749-87 French tronomer, mthemticin nd politicin, Miniter of Interior for 6 wee under Npoleon, Preident of Acdemie Frncie
More informationLanguage Processors F29LP2, Lecture 5
Lnguge Pocessos F29LP2, Lectue 5 Jmie Gy Feuy 2, 2014 1 / 1 Nondeteministic Finite Automt (NFA) NFA genelise deteministic finite utomt (DFA). They llow sevel (0, 1, o moe thn 1) outgoing tnsitions with
More informationCATAVASII LA NAȘTEREA DOMNULUI DUMNEZEU ȘI MÂNTUITORULUI NOSTRU, IISUS HRISTOS. CÂNTAREA I-A. Ήχος Πα. to os se e e na aș te e e slă ă ă vi i i i i
CATAVASII LA NAȘTEREA DOMNULUI DUMNEZEU ȘI MÂNTUITORULUI NOSTRU, IISUS HRISTOS. CÂNTAREA I-A Ήχος α H ris to os s n ș t slă ă ă vi i i i i ți'l Hris to o os di in c ru u uri, în tâm pi i n ți i'l Hris
More informationINFLUENCE OF ANTICLIMBING DEVICE ON THE VARIATION OF LOADS ON WHEELS IN DIESEL ELECTRIC 4000 HP
U..B. Si. Bull., Si D, Vol.,., SS 454-5 UEE O AMBG DEVE O HE VARAO O OADS O WHEES DESE EER 4 H onl ătălin OESU Dipozitiul nt intodu ini uplimnt p oţil oiilo loomotilo. n lu pzint iti to ini, unţi d dtl
More informationRF circuits design Grzegorz Beziuk. Introduction. Basic definitions and parameters. References
RF cicuit dign Gzgoz Bziuk ntoduction. Bic dinition nd pmt Rnc [] Titz., Schnk C., Ectonic cicuit : hndook o dign nd ppiction, Sping 8 [] Goio M., RF nd micowv piv nd ctiv tchnoogi in: RF nd Micowv hndook,
More informationClass Summary. be functions and f( D) , we define the composition of f with g, denoted g f by
Clss Summy.5 Eponentil Functions.6 Invese Functions nd Logithms A function f is ule tht ssigns to ech element D ectly one element, clled f( ), in. Fo emple : function not function Given functions f, g:
More informationMatrix Algebra. Matrix Addition, Scalar Multiplication and Transposition. Linear Algebra I 24
Mtrix lger Mtrix ddition, Sclr Multipliction nd rnsposition Mtrix lger Section.. Mtrix ddition, Sclr Multipliction nd rnsposition rectngulr rry of numers is clled mtrix ( the plurl is mtrices ) nd the
More informationASSEMBLY INSTRUCTIONS
SSMLY INSTRUCTIONS asy Pieces Three rawer nd Table / Nightstand #77245 - spresso inish CONTIN 1-10 PO NOTIC: T ITTN IN T CTION CONTIN IN CO I T 2 PLS NOT:, Safety and Care dvice Check you have all the
More informationDate: Use the code to write each homophone. The first one has been for you. Handwriting and Vocabulary L1
Wco to E pnisns g! x Hping you chid buid ssnti skis is sy! Ths tch-ppovd ctivitis hv bn spciy dvopd to k ning both ccssib nd njoyb. On ch pg, you find: hoophons Focus ski Th focus of ch ctivity pg is cy
More informationHow to Use. The Bears Beat the Sharks!
Hw t U Th uc vd 24 -wd dng ctn bd n wht kd ncunt vy dy, uch mv tng, y, n Intnt ch cn. Ech ctn ccmnd by tw w-u ctc g ng tudnt cmhnn th ctn. Th dng ctn cn b ud wth ndvdu, m gu, th wh c. Th B cnd bmn, Dn
More informationOutline. 1 Introduction. 2 Min-Cost Spanning Trees. 4 Example
Outlin Computr Sin 33 Computtion o Minimum-Cost Spnnin Trs Prim's Alorithm Introution Mik Joson Dprtmnt o Computr Sin Univrsity o Clry Ltur #33 3 Alorithm Gnrl Constrution Mik Joson (Univrsity o Clry)
More informationWalk Like a Mathematician Learning Task:
Gori Dprtmnt of Euction Wlk Lik Mthmticin Lrnin Tsk: Mtrics llow us to prform mny usful mthmticl tsks which orinrily rquir lr numbr of computtions. Som typs of problms which cn b on fficintly with mtrics
More informationCSE303 - Introduction to the Theory of Computing Sample Solutions for Exercises on Finite Automata
CSE303 - Introduction to th Thory of Computing Smpl Solutions for Exrciss on Finit Automt Exrcis 2.1.1 A dtrministic finit utomton M ccpts th mpty string (i.., L(M)) if nd only if its initil stt is finl
More informationCDS 101: Lecture 7.1 Loop Analysis of Feedback Systems
CDS : Lct 7. Loop Analsis of Fback Sstms Richa M. Ma Goals: Show how to compt clos loop stabilit fom opn loop poptis Dscib th Nqist stabilit cition fo stabilit of fback sstms Dfin gain an phas magin an
More informationDifferential Kinematics
Lctu Diffntia Kinmatic Acknowgmnt : Pof. Ouama Khatib, Robotic Laboato, tanfo Univit, UA Pof. Ha Aaa, AI Laboato, MIT, UA Guiing Qution In obotic appication, not on th poition an ointation, but th vocit
More informationTP16 THREE TP18 TP VAC R76 THREE. +185VDC R82 100k 70VAC TP18. 1 R63 100k. 220k C22 R80 1/2W. C39 220k THREE C20 C36 TP20 R61 R73 400V .
V I S I O N S V. SIPTION T PPOV P0 0-JN- H K 0-M- H K 0-JUL- H K -SP- H K P -JUN- H K +0V TH pf % +V 0mV 0mV k V- 00V k.k +.V TP 0pF 00V 0pF 00V J J0 O 0pF 00V J TH GIN.00 TH_MUT 0 0 0M.0 Q J TH Z N V%
More informationINTERIM MANAGEMENT REPORT FIRST HALF OF 2018
INTERIM MANAGEMENT REPORT FIRST HALF OF 2018 F r e e t r a n s l a t ion f r o m t h e o r ig ina l in S p a n is h. I n t h e e v e n t o f d i s c r e p a n c y, t h e Sp a n i s h - la n g u a g e v
More information" = Y(#,$) % R(r) = 1 4& % " = Y(#,$) % R(r) = Recitation Problems: Week 4. a. 5 B, b. 6. , Ne Mg + 15 P 2+ c. 23 V,
Recitation Problems: Week 4 1. Which of the following combinations of quantum numbers are allowed for an electron in a one-electron atom: n l m l m s 2 2 1! 3 1 0 -! 5 1 2! 4-1 0! 3 2 1 0 2 0 0 -! 7 2-2!
More information1 Introduction to Modulo 7 Arithmetic
1 Introution to Moulo 7 Arithmti Bor w try our hn t solvin som hr Moulr KnKns, lt s tk los look t on moulr rithmti, mo 7 rithmti. You ll s in this sminr tht rithmti moulo prim is quit irnt rom th ons w
More informationSteady-state tracking & sys. types
Sty-tt trcking & y. ty Unity fck control: um CL tl lnt r C y - r - o.l. y y r ol ol o.l. m m n n n N N N N N, N,, ut N N, m, ol.. clo-loo: y r ol.. trcking rror: r y r ty-tt trcking: t r ol.. ol.. For
More informationReading assignment: In this chapter we will cover Sections Definition and the Laplace transform of simple functions
Chapter 4 Laplace Tranform 4 Introduction Reading aignment: In thi chapter we will cover Section 4 45 4 Definition and the Laplace tranform of imple function Given f, a function of time, with value f(t
More informationPartial Fraction Expansion
Paial Facion Expanion Whn ying o find h inv Laplac anfom o inv z anfom i i hlpfl o b abl o bak a complicad aio of wo polynomial ino fom ha a on h Laplac Tanfom o z anfom abl. W will illa h ing Laplac anfom.
More informationc. What is the average rate of change of f on the interval [, ]? Answer: d. What is a local minimum value of f? Answer: 5 e. On what interval(s) is f
Essential Skills Chapter f ( x + h) f ( x ). Simplifying the difference quotient Section. h f ( x + h) f ( x ) Example: For f ( x) = 4x 4 x, find and simplify completely. h Answer: 4 8x 4 h. Finding the
More informationResults as of 30 September 2018
rt Results as of 30 September 2018 F r e e t r a n s l a t ion f r o m t h e o r ig ina l in S p a n is h. I n t h e e v e n t o f d i s c r e p a n c y, t h e Sp a n i s h - la n g u a g e v e r s ion
More informationMath 61 : Discrete Structures Final Exam Instructor: Ciprian Manolescu. You have 180 minutes.
Nm: UCA ID Numr: Stion lttr: th 61 : Disrt Struturs Finl Exm Instrutor: Ciprin nolsu You hv 180 minuts. No ooks, nots or lultors r llow. Do not us your own srth ppr. 1. (2 points h) Tru/Fls: Cirl th right
More informationEE 119 Homework 6 Solution
EE 9 Hmwrk 6 Slutin Prr: J Bkr TA: Xi Lu Slutin: (a) Th angular magniicatin a tlcp i m / th cal lngth th bjctiv ln i m 4 45 80cm (b) Th clar aprtur th xit pupil i 35 mm Th ditanc btwn th bjctiv ln and
More informationHousing Market Monitor
M O O D Y È S A N A L Y T I C S H o u s i n g M a r k e t M o n i t o r I N C O R P O R A T I N G D A T A A S O F N O V E M B E R İ Ī Ĭ Ĭ E x e c u t i v e S u m m a r y E x e c u t i v e S u m m a r y
More information1 Nondeterministic Finite Automata
1 Nondeterministic Finite Automt Suppose in life, whenever you hd choice, you could try oth possiilities nd live your life. At the end, you would go ck nd choose the one tht worked out the est. Then you
More informationConstruction 11: Book I, Proposition 42
Th Visul Construtions of Euli Constrution #11 73 Constrution 11: Book I, Proposition 42 To onstrut, in givn rtilinl ngl, prlllogrm qul to givn tringl. Not: Equl hr mns qul in r. 74 Constrution # 11 Th
More informationTHE WYOMING COUNTY resource guide to locally-grown foods and products available directly from the farm!
TH ING UNT i l- f vi il f f! HT INID Ll k lii ifi -6-22 k li ikl vii li i i j j l 0 Nkii fn 6 il lii f Ll k i l v Ll k Ifi i l k H k l l l l ki i ff i l fl l l f 0 i l v 200 l l i k i i f l i fl i I f i il
More informationOverview. 1 Recall: continuous-time Markov chains. 2 Transient distribution. 3 Uniformization. 4 Strong and weak bisimulation
Rcall: continuous-tim Makov chains Modling and Vification of Pobabilistic Systms Joost-Pit Katon Lhstuhl fü Infomatik 2 Softwa Modling and Vification Goup http://movs.wth-aachn.d/taching/ws-89/movp8/ Dcmb
More informationMon. Tues. 6.2 Field of a Magnetized Object 6.3, 6.4 Auxiliary Field & Linear Media HW9
Fi. on. Tus. 6. Fild of a agntid Ojct 6.3, 6.4 uxiliay Fild & Lina dia HW9 Dipol t fo a loop Osvation location x y agntic Dipol ont Ia... ) ( 4 o I I... ) ( 4 I o... sin 4 I o Sa diction as cunt B 3 3
More informationData Structures. Element Uniqueness Problem. Hash Tables. Example. Hash Tables. Dana Shapira. 19 x 1. ) h(x 4. ) h(x 2. ) h(x 3. h(x 1. x 4. x 2.
Element Uniqueness Poblem Dt Stuctues Let x,..., xn < m Detemine whethe thee exist i j such tht x i =x j Sot Algoithm Bucket Sot Dn Shpi Hsh Tbles fo (i=;i
More information8 factors of x. For our second example, let s raise a power to a power:
CH 5 THE FIVE LAWS OF EXPONENTS EXPONENTS WITH VARIABLES It s no time for chnge in tctics, in order to give us deeper understnding of eponents. For ech of the folloing five emples, e ill stretch nd squish,
More informationIn Review: A Single Cycle Datapath We have everything! Now we just need to know how to BUILD CONTROL
S6 L2 PU ign: ontol II n Piplining I () int.c.bly.u/~c6c S6 : Mchin Stuctu Lctu 2 PU ign: ontol II & Piplining I Noh Johnon 2-7-26 In Rviw: Singl ycl tpth W hv vything! Now w jut n to now how to UIL NRL
More informationBinomials and Pascal s Triangle
Binomils n Psl s Tringl Binomils n Psl s Tringl Curriulum R AC: 0, 0, 08 ACS: 00 www.mthltis.om Binomils n Psl s Tringl Bsis 0. Intif th prts of th polnomil: 8. (i) Th gr. Th gr is. (Sin is th highst
More information