System Validation (IN4387) November 2, 2012, 14:0017:00


 Augustine Wood
 1 years ago
 Views:
Transcription
1 System Vlidtion (IN4387) Novemer 2, 2012, 14:0017:00 Importnt Notes. The exmintion omprises 5 question in 4 pges. Give omplete explntion nd do not onfine yourself to giving the finl nswer. Good luk! Exerise 1 (20 points) In eh of the following item determine whether the speified notion of equivlene holds etween the two given leled trnsition systems. For eh nd every item provide omplete line of resoning why ertin equivlene does or does not hold: 1. Strong isimilrity: 2. Brnhing isimilrity: 3. Strong isimilrity: 4. Brnhing isimilrity: d d e f f e 1
2 2 Answer 1 1. No. They re not isimilr. Assume tht they were imisimilr, then there would exist isimultion reltion whih reltes the initil sttes. Then, the first trnsition on the lefthndside LTS n only e mimiked y the only initil trnsition on the righhnd side. Hene, the trget of the two trnsition hve to e relted in the sme reltion. However, this nnot e the se sine the stte in the lefthndside n do trnsition, while the righthndside one nnot mimi it. Note tht strong isimilrity does not ignore trnsitions. 2. Yes, they re. A rnhing isimultion reltion relting the initil sttes is given elow: 3. No, they re not isimilr. Assume tht they were isimilr, then there would exist isimultion reltion whih reltes the initil sttes. The loop in the initil stte of the righthndside (rhs) LTS should e mimiked y n trnsition in the lefthndside (lhs) one. Assume tht the ltter trnsition is the strt of tre of size n (for some ritrry n); then it follows tht the initil stte of the rhs LTS should e isimilr to the seond stte of this tre. The initil stte of the rhs LTS n do n loop, nd this n only e mimiked y the seond stte in the tre of size n y performing n trnsition into the third stte in the tre. Hene, the initil stte of the rhs LTS should e relted to the third stte in the tre. Repeting this exerise on the seond to the nth stte in the tre, will led to the onlusion tht the lst stte in the tre of size n, should e isimilr to the initil stte of the rhs LTS, whih is lerly not true, euse the lst stte of the tre dedloks, while the initil stte of the rhs LTS n still perform trnsitions. 4. No, they re not isimilr. Assume tht they were isimilr, then there would exist isimultion reltion whih reltes the initil sttes. The initil stte of the lhs LTS n mke n trnsition to the left. This n e mimiked y the initil stte of the rhs LTS: Either the initil stte of the rhs LTS mkes the trnsition to the left, then the sttes to the left of the initil sttes in the lhs nd rhs LTSs should e relted. Consider for exmple the ltter stte in the lhs LTS; it n perform trnsition; this n e mimiked in the orresponding stte in the rhs LTS y performing the only enled trnsition. Hene, the trgets of the two trnsitions should e relted y the sme isimultion reltion. However, the ltter sttes nnot e isimilr euse the lhs stte n perform n e trnsition, whih nnot e mimiked y the rhs stte nd likewise, the rhs n perform n f trnsition, whih nnot e mimiked y the lhs stte. Or the initil stte of the rhs LTS mkes the trnsition to the right, then the stte to the left of the initil stte of the lhs LTS should e relted to the stte to the right of the initil stte of the rhs LTS. This nnot e true however, sine the former stte n perform trnsition, whih nnot e mimiked y the ltter stte (nd likewise, the ltter stte performs d trnsition, whih nnot e performed y the former stte).
3 3 Exerise 2 (20 points) Consider the following two modl formule: nd [request] true response true [request](µx. true true [response]x) 1. Explin in words wht eh of the two formule mens. (10 points) 2. Give leled trnsition system in whih one of the two formule holds nd the other one doe not hold. (It does not mtter whih one you hoose to hold.) (10 points) Answer 2 1. The first formul sttes tht fter eh request, there is t lest one pth leding to response. (There my e other pths not leding to response.) The seond formul sttes tht fter eh request, eh pth will eventully reh response tion. (No pth n void doing response.) 2. The following LTS stisfies the first formul ut not the seond, sine it n void the response y tking the trnsition infinitely mny times. It lso does not stisfy the seond formul, euse it hs pth (strting with ) whih n void the response ltogether. request response
4 4 Exerise 3 (20 points) Define sort (dt type) ToDoList, where eh element of this sort is either the empty list, or nonempty list of prioritized tsks. A prioritized tsk is pir (i, t) where i is positive nturl numer determining the priority nd t is n element of sort T sk, whih ontins onstnt (onstrutor) not sk nd is not speified ny further. Give the forml definition of T odolist nd its onstrutors. (5 points) Define funtion (mp) todonow, whih tks T odolist s its prmeter, nd returns the tsk with the highest priority in the list, if it is nonempty, or not sk, otherwise. If needed, you my define nd use other uxiliry funtions used in the definition of todonow. (15 points) Answer 3 sort Tsk ; sort todolist = List(Nt#Tsk); ons notsk: Tsk; mp minpr: todolist Nt; todonow: todolist todolist; vr i, j: Nt; t : Tsk; l : todolist; eqn minpr([])= 0; (1) minpr((i,t) l ) = min(i, minpr(l)); todonow((i,t) l ) = if (minpr(l) >= i, t, todonow(l)) ; todonow( [] ) = notsk ;
5 5 Exerise 4 (20 points) Prove the following equtions using the xioms provided in the ppendix. Mention the nme of the xiom used for eh nd every step. 1. ((1) (2)) \ ((2) (3)) = (1) (2) (5 points), 2. ( + ) δ = δ + δ (5 points), nd 3. ( d) (Hint x y if nd only if x + y = y) (10 points). Answer ((1) (2)) \ ((2) (3)) = (MD3) (((1) (2)) \ (2)) \ (3) = (MD5) ((1) ((2) \ (2))) \ (3) = (MA3) ((1) (((2) ) \ (2))) \ (3) = (MA3) ((1) ((2) ( \ (2)))) \ (3) = (MD1) ((1) ((2) )) \ (3) = (MA3) ((1) (2)) \ (3) = (MD5) (1) ((2) \ (3)) = (MA3) (1) (((2) ) \ (3)) = (MD5) (1) ((2)) ( \ (3))) = (MD1) (1) ((2)) ) = (MA3) (1) (2) ( + ) δ = (M) (( + ) T δ) + (δ T ( + ) ) + (( + ) δ) = (A4) (( + ) T δ) + (δ T ( + ) ) + (( + ) δ) = (LM4) ( T δ) + ( T δ) + (δ T ( + ) ) + (( + ) δ) = (LM2) 2 ( δ) + ( δ) + (δ T ( + ) ) + (( + ) δ) = (LM2) ( δ) + ( δ) + δ + (( + ) δ) = (LM2) ( δ) + ( δ) + (( + ) δ) = (LM2) 2 ( δ) + ( δ) + (( + ) δ) = (LM2) 2 ( δ) + ( δ) + ( ) δ + ( ) δ = (LM2) 2 ( δ) + ( δ) + ( δ) + ( δ) = (LM2) 2 ( δ) + ( δ) + δ + δ = (LM2) 2 ( δ) + ( δ) + δ + δ = (LM2) 2 ( δ) + ( δ) = (M) 2 ( T δ + δ T + δ) + ( T δ + δ T + δ) = (M) 2 ( δ + δ T + δ) + ( δ + δ T + δ) = (LM1) 2 ( δ + δ T + δ) + ( δ + δ T + δ) = (LM2) 2 ( δ + δ + δ) + ( δ + δ + δ) = (A6) 2 ( δ + δ) + ( δ + δ) = (S4) 2 ( δ + δ) + ( δ + δ) = (A6) 2 ( δ) + ( δ) = (A6) 2 3. ( d), whih mens tht we hve to prove = + ( d). We do this y indution (se nlysis) on the oolen vrile d:
6 6 Either d = true, then we hve: Either d = flse, then we hve: + ( d) = d = true + ( true) = logi + = (A3) + = (A3) + ( flse) = d = flse + ( flse) = logi + f lse = (ond2) + δ = (A3)
7 7 Exerise 5 (20 points) Speify the following system of two prllel proesses: The first proess represents temperture sensor, whih n issue two types of tions: snd temp(n) nd snd d efet. The sensor n send ny nturl numer etween 0 nd 200 s the prmeter of snd temp nd my nondeterministilly hoose to send the snd def et signl, fter whih it dedloks. The seond proess represents thermostt, whih reeives temperture from the sensor nd if the reeived vlue is in the rnge 0 nd 50 it issues tion on to the outside world; if the vlue is etween 50 nd 100 it sends tion off to the outside world; if the reeived vlue is outside these rnges it ignores the vlue, ut keeps on listening to the sensor t ny se. Upon synhronizing with snd defet, the thermostt will issue n lrm tion nd terminte. The tion nmes tht re not speified in the ovegiven desription n e hosen freely. Answer 5 t snd temp, rv temp, syn temp : Nt; snd defet, rv defet, syn defet,, on, off ; pro Sensor = snd defet delt + sum n : Nt. (n 200) snd temp(n) Sensor ; Thermostt = rv defet lrm + sum n : Nt. rv temp(n). (n 50) on. Thermostt ( (n 100) off. Thermostt Thermostt ) ; init llow ( { syn temp, syn defet, on, off, lrm }, ( omm { snd temp rv temp syn temp, snd defet rv defet syn defet }, Sensor Thermostt )) ;
8 8 MA1 MA2 MA3 α β = β α (α β) γ = α (β γ) α = α MD1 \ α = MD2 α \ = α MD3 α \ (β γ) = (α \ β) \ γ MD4 ((d) α) \ (d) = α MD5 ((d) α) \ (e) = (d) (α \ (e)) if or d e MS1 α = true MS2 = flse MS3 (d) α (d) β = α β MS4 (d) α (e) β = (d) (α \ (e)) β if or d e MAN1 MAN2 MAN3 = (d) = α β = α β Tle 1: Axioms for multitions Note tht (d) nd (e) rnge over (prmeterized) tions, α nd β rnge over (multi)tions nd x, y nd z rnge over proesses.
9 9 A1 A2 A3 A4 A5 A6 A7 Cond1 Cond2 SUM1 SUM3 SUM4 SUM5 x + y = y + x x + (y + z) = (x + y) + z x + x = x (x + y) z = x z + y z (x y) z = x (y z) x + δ = x δ x = δ true x y = x flse x y = y d:d x = x d:d X(d) = X(e) + d:d X(d) d:d (X(d) + Y (d)) = d:d X(d) + d:d Y (d) ( d:d X(d)) y = d:d X(d) y Tle 2: Axioms for the si opertors M x y = x T y + y T x + x y LM1 α T x = α x LM2 δ T x = δ LM3 α x T y = α (x y) LM4 (x + y) T z = x T z + y T z LM5 ( d:d X(d)) T y = d:d X(d) T y S1 x y = y x S2 (x y) z = x (y z) S3 x = x S4 α δ = δ S5 (α x) β = α β x S6 (α x) (β y) = α β (x y) S7 (x + y) z = x z + y z S8 ( d:d X(d)) y = d:d X(d) y TC1 (x T y) T z = x T (y z) TC2 x T δ = x δ TC3 (x y) T z = x (y T z) Tle 3: Axioms for the prllel omposition opertors
Bisimulation, Games & Hennessy Milner logic
Bisimultion, Gmes & Hennessy Milner logi Leture 1 of Modelli Mtemtii dei Proessi Conorrenti Pweł Soboiński Univeristy of Southmpton, UK Bisimultion, Gmes & Hennessy Milner logi p.1/32 Clssil lnguge theory
More information1 PYTHAGORAS THEOREM 1. Given a right angled triangle, the square of the hypotenuse is equal to the sum of the squares of the other two sides.
1 PYTHAGORAS THEOREM 1 1 Pythgors Theorem In this setion we will present geometri proof of the fmous theorem of Pythgors. Given right ngled tringle, the squre of the hypotenuse is equl to the sum of the
More informationCS 573 Automata Theory and Formal Languages
Nondeterminism Automt Theory nd Forml Lnguges Professor Leslie Lnder Leture # 3 Septemer 6, 2 To hieve our gol, we need the onept of Nondeterministi Finite Automton with moves (NFA) An NFA is tuple
More informationProject 6: Minigoals Towards Simplifying and Rewriting Expressions
MAT 51 Wldis Projet 6: Minigols Towrds Simplifying nd Rewriting Expressions The distriutive property nd like terms You hve proly lerned in previous lsses out dding like terms ut one prolem with the wy
More informationThe University of Nottingham SCHOOL OF COMPUTER SCIENCE A LEVEL 2 MODULE, SPRING SEMESTER MACHINES AND THEIR LANGUAGES ANSWERS
The University of ottinghm SCHOOL OF COMPUTR SCIC A LVL 2 MODUL, SPRIG SMSTR 2015 2016 MACHIS AD THIR LAGUAGS ASWRS Time llowed TWO hours Cndidtes my omplete the front over of their nswer ook nd sign their
More informationSection 1.3 Triangles
Se 1.3 Tringles 21 Setion 1.3 Tringles LELING TRINGLE The line segments tht form tringle re lled the sides of the tringle. Eh pir of sides forms n ngle, lled n interior ngle, nd eh tringle hs three interior
More informationTechnische Universität München Winter term 2009/10 I7 Prof. J. Esparza / J. Křetínský / M. Luttenberger 11. Februar Solution
Tehnishe Universität Münhen Winter term 29/ I7 Prof. J. Esprz / J. Křetínský / M. Luttenerger. Ferur 2 Solution Automt nd Forml Lnguges Homework 2 Due 5..29. Exerise 2. Let A e the following finite utomton:
More informationChapter 4 StateSpace Planning
Leture slides for Automted Plnning: Theory nd Prtie Chpter 4 StteSpe Plnning Dn S. Nu CMSC 722, AI Plnning University of Mrylnd, Spring 2008 1 Motivtion Nerly ll plnning proedures re serh proedures Different
More informationNondeterministic Finite Automata
Nondeterministi Finite utomt The Power of Guessing Tuesdy, Otoer 4, 2 Reding: Sipser.2 (first prt); Stoughton 3.3 3.5 S235 Lnguges nd utomt eprtment of omputer Siene Wellesley ollege Finite utomton (F)
More informationHomework 3 Solutions
CS 341: Foundtions of Computer Science II Prof. Mrvin Nkym Homework 3 Solutions 1. Give NFAs with the specified numer of sttes recognizing ech of the following lnguges. In ll cses, the lphet is Σ = {,1}.
More informationPYTHAGORAS THEOREM WHAT S IN CHAPTER 1? IN THIS CHAPTER YOU WILL:
PYTHAGORAS THEOREM 1 WHAT S IN CHAPTER 1? 1 01 Squres, squre roots nd surds 1 02 Pythgors theorem 1 03 Finding the hypotenuse 1 04 Finding shorter side 1 05 Mixed prolems 1 06 Testing for rightngled tringles
More informationBehavior Composition in the Presence of Failure
Behvior Composition in the Presene of Filure Sestin Srdin RMIT University, Melourne, Austrli Fio Ptrizi & Giuseppe De Giomo Spienz Univ. Rom, Itly KR 08, Sept. 2008, Sydney Austrli Introdution There re
More informationCoalgebra, Lecture 15: Equations for Deterministic Automata
Colger, Lecture 15: Equtions for Deterministic Automt Julin Slmnc (nd Jurrin Rot) Decemer 19, 2016 In this lecture, we will study the concept of equtions for deterministic utomt. The notes re self contined
More information, g. Exercise 1. Generator polynomials of a convolutional code, given in binary form, are g. Solution 1.
Exerise Genertor polynomils of onvolutionl ode, given in binry form, re g, g j g. ) Sketh the enoding iruit. b) Sketh the stte digrm. ) Find the trnsfer funtion T. d) Wht is the minimum free distne of
More informationNONDETERMINISTIC FSA
Tw o types of nondeterminism: NONDETERMINISTIC FS () Multiple strtsttes; strtsttes S Q. The lnguge L(M) ={x:x tkes M from some strtstte to some finlstte nd ll of x is proessed}. The string x = is
More informationFinite Automatacont d
Automt Theory nd Forml Lnguges Professor Leslie Lnder Lecture # 6 Finite Automtcont d The Pumping Lemm WEB SITE: http://ingwe.inghmton.edu/ ~lnder/cs573.html Septemer 18, 2000 Exmple 1 Consider L = {ww
More informationTransition systems (motivation)
Trnsition systems (motivtion) Course Modelling of Conurrent Systems ( Modellierung neenläufiger Systeme ) Winter Semester 2009/0 University of DuisurgEssen Brr König Tehing ssistnt: Christoph Blume In
More informationSolutions to Assignment 1
MTHE 237 Fll 2015 Solutions to Assignment 1 Problem 1 Find the order of the differentil eqution: t d3 y dt 3 +t2 y = os(t. Is the differentil eqution liner? Is the eqution homogeneous? b Repet the bove
More informationPolynomials. Polynomials. Curriculum Ready ACMNA:
Polynomils Polynomils Curriulum Redy ACMNA: 66 www.mthletis.om Polynomils POLYNOMIALS A polynomil is mthemtil expression with one vrile whose powers re neither negtive nor frtions. The power in eh expression
More informationDiscrete Structures, Test 2 Monday, March 28, 2016 SOLUTIONS, VERSION α
Disrete Strutures, Test 2 Mondy, Mrh 28, 2016 SOLUTIONS, VERSION α α 1. (18 pts) Short nswer. Put your nswer in the ox. No prtil redit. () Consider the reltion R on {,,, d with mtrix digrph of R.. Drw
More informationQUADRATIC EQUATION. Contents
QUADRATIC EQUATION Contents Topi Pge No. Theory 004 Exerise  0509 Exerise  093 Exerise  3 45 Exerise  4 6 Answer Key 78 Syllus Qudrti equtions with rel oeffiients, reltions etween roots nd oeffiients,
More informationIntermediate Math Circles Wednesday, November 14, 2018 Finite Automata II. Nickolas Rollick a b b. a b 4
Intermedite Mth Circles Wednesdy, Novemer 14, 2018 Finite Automt II Nickols Rollick nrollick@uwterloo.c Regulr Lnguges Lst time, we were introduced to the ide of DFA (deterministic finite utomton), one
More informationConvert the NFA into DFA
Convert the NF into F For ech NF we cn find F ccepting the sme lnguge. The numer of sttes of the F could e exponentil in the numer of sttes of the NF, ut in prctice this worst cse occurs rrely. lgorithm:
More informationCMPSCI 250: Introduction to Computation. Lecture #31: What DFA s Can and Can t Do David Mix Barrington 9 April 2014
CMPSCI 250: Introduction to Computtion Lecture #31: Wht DFA s Cn nd Cn t Do Dvid Mix Brrington 9 April 2014 Wht DFA s Cn nd Cn t Do Deterministic Finite Automt Forml Definition of DFA s Exmples of DFA
More informationCS 2204 DIGITAL LOGIC & STATE MACHINE DESIGN SPRING 2014
S 224 DIGITAL LOGI & STATE MAHINE DESIGN SPRING 214 DUE : Mrh 27, 214 HOMEWORK III READ : Relte portions of hpters VII n VIII ASSIGNMENT : There re three questions. Solve ll homework n exm prolems s shown
More informationRegular languages refresher
Regulr lnguges refresher 1 Regulr lnguges refresher Forml lnguges Alphet = finite set of letters Word = sequene of letter Lnguge = set of words Regulr lnguges defined equivlently y Regulr expressions Finitestte
More informationChapter 2 Finite Automata
Chpter 2 Finite Automt 28 2.1 Introduction Finite utomt: first model of the notion of effective procedure. (They lso hve mny other pplictions). The concept of finite utomton cn e derived y exmining wht
More informationLecture 6: Coding theory
Leture 6: Coing theory Biology 429 Crl Bergstrom Ferury 4, 2008 Soures: This leture loosely follows Cover n Thoms Chpter 5 n Yeung Chpter 3. As usul, some of the text n equtions re tken iretly from those
More informationAlgebra 2 Semester 1 Practice Final
Alger 2 Semester Prtie Finl Multiple Choie Ientify the hoie tht est ompletes the sttement or nswers the question. To whih set of numers oes the numer elong?. 2 5 integers rtionl numers irrtionl numers
More informationNon Right Angled Triangles
Non Right ngled Tringles Non Right ngled Tringles urriulum Redy www.mthletis.om Non Right ngled Tringles NON RIGHT NGLED TRINGLES sin i, os i nd tn i re lso useful in nonright ngled tringles. This unit
More informationCS311 Computational Structures Regular Languages and Regular Grammars. Lecture 6
CS311 Computtionl Strutures Regulr Lnguges nd Regulr Grmmrs Leture 6 1 Wht we know so fr: RLs re losed under produt, union nd * Every RL n e written s RE, nd every RE represents RL Every RL n e reognized
More informationTutorial Worksheet. 1. Find all solutions to the linear system by following the given steps. x + 2y + 3z = 2 2x + 3y + z = 4.
Mth 5 Tutoril Week 1  Jnury 1 1 Nme Setion Tutoril Worksheet 1. Find ll solutions to the liner system by following the given steps x + y + z = x + y + z = 4. y + z = Step 1. Write down the rgumented mtrix
More informationSolutions for HW9. Bipartite: put the red vertices in V 1 and the black in V 2. Not bipartite!
Solutions for HW9 Exerise 28. () Drw C 6, W 6 K 6, n K 5,3. C 6 : W 6 : K 6 : K 5,3 : () Whih of the following re iprtite? Justify your nswer. Biprtite: put the re verties in V 1 n the lk in V 2. Biprtite:
More informationLecture 3: Equivalence Relations
Mthcmp Crsh Course Instructor: Pdric Brtlett Lecture 3: Equivlence Reltions Week 1 Mthcmp 2014 In our lst three tlks of this clss, we shift the focus of our tlks from proof techniques to proof concepts
More informationExercises with (Some) Solutions
Exercises with (Some) Solutions Techer: Luc Tesei Mster of Science in Computer Science  University of Cmerino Contents 1 Strong Bisimultion nd HML 2 2 Wek Bisimultion 31 3 Complete Lttices nd Fix Points
More informationRegular expressions, Finite Automata, transition graphs are all the same!!
CSI 3104 /Winter 2011: Introduction to Forml Lnguges Chpter 7: Kleene s Theorem Chpter 7: Kleene s Theorem Regulr expressions, Finite Automt, trnsition grphs re ll the sme!! Dr. Neji Zgui CSI3104W11 1
More informationAlgorithms & Data Structures Homework 8 HS 18 Exercise Class (Room & TA): Submitted by: Peer Feedback by: Points:
Eidgenössishe Tehnishe Hohshule Zürih Eole polytehnique fédérle de Zurih Politenio federle di Zurigo Federl Institute of Tehnology t Zurih Deprtement of Computer Siene. Novemer 0 Mrkus Püshel, Dvid Steurer
More informationMinimal DFA. minimal DFA for L starting from any other
Miniml DFA Among the mny DFAs ccepting the sme regulr lnguge L, there is exctly one (up to renming of sttes) which hs the smllest possile numer of sttes. Moreover, it is possile to otin tht miniml DFA
More informationAlgorithm Design and Analysis
Algorithm Design nd Anlysis LECTURE 5 Supplement Greedy Algorithms Cont d Minimizing lteness Ching (NOT overed in leture) Adm Smith 9/8/10 A. Smith; sed on slides y E. Demine, C. Leiserson, S. Rskhodnikov,
More informationFormal Languages and Automata
Moile Computing nd Softwre Engineering p. 1/5 Forml Lnguges nd Automt Chpter 2 Finite Automt ChunMing Liu cmliu@csie.ntut.edu.tw Deprtment of Computer Science nd Informtion Engineering Ntionl Tipei University
More informationPAIR OF LINEAR EQUATIONS IN TWO VARIABLES
PAIR OF LINEAR EQUATIONS IN TWO VARIABLES. Two liner equtions in the sme two vriles re lled pir of liner equtions in two vriles. The most generl form of pir of liner equtions is x + y + 0 x + y + 0 where,,,,,,
More informationImplication Graphs and Logic Testing
Implition Grphs n Logi Testing Vishwni D. Agrwl Jmes J. Dnher Professor Dept. of ECE, Auurn University Auurn, AL 36849 vgrwl@eng.uurn.eu www.eng.uurn.eu/~vgrwl Joint reserh with: K. K. Dve, ATI Reserh,
More informationCS 373, Spring Solutions to Mock midterm 1 (Based on first midterm in CS 273, Fall 2008.)
CS 373, Spring 29. Solutions to Mock midterm (sed on first midterm in CS 273, Fll 28.) Prolem : Short nswer (8 points) The nswers to these prolems should e short nd not complicted. () If n NF M ccepts
More informationNondeterminism and Nodeterministic Automata
Nondeterminism nd Nodeterministic Automt 61 Nondeterminism nd Nondeterministic Automt The computtionl mchine models tht we lerned in the clss re deterministic in the sense tht the next move is uniquely
More informationList all of the possible rational roots of each equation. Then find all solutions (both real and imaginary) of the equation. 1.
Mth Anlysis CP WS 4.X Section 4.4.4 Review Complete ech question without the use of grphing clcultor.. Compre the mening of the words: roots, zeros nd fctors.. Determine whether  is root of 0. Show
More informationMore on automata. Michael George. March 24 April 7, 2014
More on utomt Michel George Mrch 24 April 7, 2014 1 Automt constructions Now tht we hve forml model of mchine, it is useful to mke some generl constructions. 1.1 DFA Union / Product construction Suppose
More informationBases for Vector Spaces
Bses for Vector Spces 22625 A set is independent if, roughly speking, there is no redundncy in the set: You cn t uild ny vector in the set s liner comintion of the others A set spns if you cn uild everything
More informationConverting Regular Expressions to Discrete Finite Automata: A Tutorial
Converting Regulr Expressions to Discrete Finite Automt: A Tutoril Dvid Christinsen 20130103 This is tutoril on how to convert regulr expressions to nondeterministic finite utomt (NFA) nd how to convert
More informationProbability. b a b. a b 32.
Proility If n event n hppen in '' wys nd fil in '' wys, nd eh of these wys is eqully likely, then proility or the hne, or its hppening is, nd tht of its filing is eg, If in lottery there re prizes nd lnks,
More informationThe area under the graph of f and above the xaxis between a and b is denoted by. f(x) dx. π O
1 Section 5. The Definite Integrl Suppose tht function f is continuous nd positive over n intervl [, ]. y = f(x) x The re under the grph of f nd ove the xxis etween nd is denoted y f(x) dx nd clled the
More information1 This diagram represents the energy change that occurs when a d electron in a transition metal ion is excited by visible light.
1 This igrm represents the energy hnge tht ours when eletron in trnsition metl ion is exite y visile light. Give the eqution tht reltes the energy hnge ΔE to the Plnk onstnt, h, n the frequeny, v, of the
More informationA Study on the Properties of Rational Triangles
Interntionl Journl of Mthemtis Reserh. ISSN 09765840 Volume 6, Numer (04), pp. 89 Interntionl Reserh Pulition House http://www.irphouse.om Study on the Properties of Rtionl Tringles M. Q. lm, M.R. Hssn
More informationINTEGRATION. 1 Integrals of Complex Valued functions of a REAL variable
INTEGRATION NOTE: These notes re supposed to supplement Chpter 4 of the online textbook. 1 Integrls of Complex Vlued funtions of REAL vrible If I is n intervl in R (for exmple I = [, b] or I = (, b)) nd
More information1. For each of the following theorems, give a two or three sentence sketch of how the proof goes or why it is not true.
York University CSE 2 Unit 3. DFA Clsses Converting etween DFA, NFA, Regulr Expressions, nd Extended Regulr Expressions Instructor: Jeff Edmonds Don t chet y looking t these nswers premturely.. For ech
More informationAutomata and Regular Languages
Chpter 9 Automt n Regulr Lnguges 9. Introution This hpter looks t mthemtil moels of omputtion n lnguges tht esrie them. The moellnguge reltionship hs multiple levels. We shll explore the simplest level,
More informationCounting Paths Between Vertices. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs
Isomorphism of Grphs Definition The simple grphs G 1 = (V 1, E 1 ) n G = (V, E ) re isomorphi if there is ijetion (n onetoone n onto funtion) f from V 1 to V with the property tht n re jent in G 1 if
More informationState space systems analysis (continued) Stability. A. Definitions A system is said to be Asymptotically Stable (AS) when it satisfies
Stte spce systems nlysis (continued) Stbility A. Definitions A system is sid to be Asymptoticlly Stble (AS) when it stisfies ut () = 0, t > 0 lim xt () 0. t A system is AS if nd only if the impulse response
More information1. For each of the following theorems, give a two or three sentence sketch of how the proof goes or why it is not true.
York University CSE 2 Unit 3. DFA Clsses Converting etween DFA, NFA, Regulr Expressions, nd Extended Regulr Expressions Instructor: Jeff Edmonds Don t chet y looking t these nswers premturely.. For ech
More informationQUADRATIC EQUATION EXERCISE  01 CHECK YOUR GRASP
QUADRATIC EQUATION EXERCISE  0 CHECK YOUR GRASP. Sine sum of oeffiients 0. Hint : It's one root is nd other root is 8 nd 5 5. tn other root 9. q 4p 0 q p q p, q 4 p,,, 4 Hene 7 vlues of (p, q) 7 equtions
More informationMath 4310 Solutions to homework 1 Due 9/1/16
Mth 4310 Solutions to homework 1 Due 9/1/16 1. Use the Eucliden lgorithm to find the following gretest common divisors. () gcd(252, 180) = 36 (b) gcd(513, 187) = 1 (c) gcd(7684, 4148) = 68 252 = 180 1
More informationDiscrete Structures Lecture 11
Introdution Good morning. In this setion we study funtions. A funtion is mpping from one set to nother set or, perhps, from one set to itself. We study the properties of funtions. A mpping my not e funtion.
More informationUnit 4. Combinational Circuits
Unit 4. Comintionl Ciruits Digitl Eletroni Ciruits (Ciruitos Eletrónios Digitles) E.T.S.I. Informáti Universidd de Sevill 5/10/2012 Jorge Jun 2010, 2011, 2012 You re free to opy, distriute
More informationAlgorithm Design and Analysis
Algorithm Design nd Anlysis LECTURE 8 Mx. lteness ont d Optiml Ching Adm Smith 9/12/2008 A. Smith; sed on slides y E. Demine, C. Leiserson, S. Rskhodnikov, K. Wyne Sheduling to Minimizing Lteness Minimizing
More informationwhere the box contains a finite number of gates from the given collection. Examples of gates that are commonly used are the following: a b
CS 2942 9/11/04 Quntum Ciruit Model, SolovyKitev Theorem, BQP Fll 2004 Leture 4 1 Quntum Ciruit Model 1.1 Clssil Ciruits  Universl Gte Sets A lssil iruit implements multioutput oolen funtion f : {0,1}
More informationCHAPTER 1 Regular Languages. Contents. definitions, examples, designing, regular operations. Nondeterministic Finite Automata (NFA)
Finite Automt (FA or DFA) CHAPTER Regulr Lnguges Contents definitions, exmples, designing, regulr opertions Nondeterministic Finite Automt (NFA) definitions, equivlence of NFAs DFAs, closure under regulr
More informationTHE PYTHAGOREAN THEOREM
THE PYTHAGOREAN THEOREM The Pythgoren Theorem is one of the most wellknown nd widely used theorems in mthemtis. We will first look t n informl investigtion of the Pythgoren Theorem, nd then pply this
More informationMidTerm Examination  Spring 2014 Mathematical Programming with Applications to Economics Total Score: 45; Time: 3 hours
MiTerm Exmintion  Spring 0 Mthemtil Progrmming with Applitions to Eonomis Totl Sore: 5; Time: hours. Let G = (N, E) e irete grph. Define the inegree of vertex i N s the numer of eges tht re oming into
More informationChapter Five: Nondeterministic Finite Automata. Formal Language, chapter 5, slide 1
Chpter Five: Nondeterministic Finite Automt Forml Lnguge, chpter 5, slide 1 1 A DFA hs exctly one trnsition from every stte on every symol in the lphet. By relxing this requirement we get relted ut more
More informationCS 330 Formal Methods and Models
CS 330 Forml Methods nd Models Dn Richrds, George Mson University, Spring 2017 Quiz Solutions Quiz 1, Propositionl Logic Dte: Ferury 2 1. Prove ((( p q) q) p) is tutology () (3pts) y truth tle. p q p q
More informationAlpha Algorithm: Limitations
Proess Mining: Dt Siene in Ation Alph Algorithm: Limittions prof.dr.ir. Wil vn der Alst www.proessmining.org Let L e n event log over T. α(l) is defined s follows. 1. T L = { t T σ L t σ}, 2. T I = { t
More information= state, a = reading and q j
4 Finite Automt CHAPTER 2 Finite Automt (FA) (i) Derterministi Finite Automt (DFA) A DFA, M Q, q,, F, Where, Q = set of sttes (finite) q Q = the strt/initil stte = input lphet (finite) (use only those
More informationFinite State Automata and Determinisation
Finite Stte Automt nd Deterministion Tim Dworn Jnury, 2016 Lnguges fs nf re df Deterministion 2 Outline 1 Lnguges 2 Finite Stte Automt (fs) 3 Nondeterministi Finite Stte Automt (nf) 4 Regulr Expressions
More informationChapter 3. Vector Spaces. 3.1 Images and Image Arithmetic
Chpter 3 Vetor Spes In Chpter 2, we sw tht the set of imges possessed numer of onvenient properties. It turns out tht ny set tht possesses similr onvenient properties n e nlyzed in similr wy. In liner
More informationa) Read over steps (1) (4) below and sketch the path of the cycle on a P V plot on the graph below. Label all appropriate points.
Prole 3: Crnot Cyle of n Idel Gs In this prole, the strting pressure P nd volue of n idel gs in stte, re given he rtio R = / > of the volues of the sttes nd is given Finlly onstnt γ = 5/3 is given You
More informationpadic Egyptian Fractions
padic Egyptin Frctions Contents 1 Introduction 1 2 Trditionl Egyptin Frctions nd Greedy Algorithm 2 3 Setup 3 4 pgreedy Algorithm 5 5 pegyptin Trditionl 10 6 Conclusion 1 Introduction An Egyptin frction
More informationFunctions. mjarrar Watch this lecture and download the slides
9/6/7 Mustf Jrrr: Leture Notes in Disrete Mthemtis. Birzeit University Plestine 05 Funtions 7.. Introdution to Funtions 7. OnetoOne Onto Inverse funtions mjrrr 05 Wth this leture nd downlod the slides
More informationUNIT 31 Angles and Symmetry: Data Sheets
UNIT 31 Angles nd Symmetry Dt Sheets Dt Sheets 31.1 Line nd Rottionl Symmetry 31.2 Angle Properties 31.3 Angles in Tringles 31.4 Angles nd Prllel Lines: Results 31.5 Angles nd Prllel Lines: Exmple 31.6
More informationAP CALCULUS Test #6: Unit #6 Basic Integration and Applications
AP CALCULUS Test #6: Unit #6 Bsi Integrtion nd Applitions A GRAPHING CALCULATOR IS REQUIRED FOR SOME PROBLEMS OR PARTS OF PROBLEMS IN THIS PART OF THE EXAMINATION. () The ext numeril vlue of the orret
More informationIntermediate Math Circles Wednesday 17 October 2012 Geometry II: Side Lengths
Intermedite Mth Cirles Wednesdy 17 Otoer 01 Geometry II: Side Lengths Lst week we disussed vrious ngle properties. As we progressed through the evening, we proved mny results. This week, we will look t
More informationI1 = I2 I1 = I2 + I3 I1 + I2 = I3 + I4 I 3
2 The Prllel Circuit Electric Circuits: Figure 2 elow show ttery nd multiple resistors rrnged in prllel. Ech resistor receives portion of the current from the ttery sed on its resistnce. The split is
More informationMatrices SCHOOL OF ENGINEERING & BUILT ENVIRONMENT. Mathematics (c) 1. Definition of a Matrix
tries Definition of tri mtri is regulr rry of numers enlosed inside rkets SCHOOL OF ENGINEERING & UIL ENVIRONEN Emple he following re ll mtries: ), ) 9, themtis ), d) tries Definition of tri Size of tri
More informationExercise sheet 6: Solutions
Eerise sheet 6: Solutions Cvet emptor: These re merel etended hints, rther thn omplete solutions. 1. If grph G hs hromti numer k > 1, prove tht its verte set n e prtitioned into two nonempt sets V 1 nd
More informationExercise 3 Logic Control
Exerise 3 Logi Control OBJECTIVE The ojetive of this exerise is giving n introdution to pplition of Logi Control System (LCS). Tody, LCS is implemented through Progrmmle Logi Controller (PLC) whih is lled
More informationGrammar. Languages. Content 5/10/16. Automata and Languages. Regular Languages. Regular Languages
5//6 Grmmr Automt nd Lnguges Regulr Grmmr Contextfree Grmmr Contextsensitive Grmmr Prof. Mohmed Hmd Softwre Engineering L. The University of Aizu Jpn Regulr Lnguges Context Free Lnguges Context Sensitive
More informationCHENG Chun Chor Litwin The Hong Kong Institute of Education
PEhing Mi terntionl onferene IV: novtion of Mthemtis Tehing nd Lerning through Lesson Study onnetion etween ssessment nd Sujet Mtter HENG hun hor Litwin The Hong Kong stitute of Edution Report on using
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 informationSWEN 224 Formal Foundations of Programming WITH ANSWERS
T E W H A R E W Ā N A N G A O T E Ū P O K O O T E I K A A M Ā U I VUW V I C T O R I A UNIVERSITY OF WELLINGTON Time Allowed: 3 Hours EXAMINATIONS 2011 ENDOFYEAR SWEN 224 Forml Foundtions of Progrmming
More informationCSE : Exam 3ANSWERS, Spring 2011 Time: 50 minutes
CSE 260002: Exm 3ANSWERS, Spring 20 ime: 50 minutes Nme: his exm hs 4 pges nd 0 prolems totling 00 points. his exm is closed ook nd closed notes.. Wrshll s lgorithm for trnsitive closure computtion is
More informationLinear Algebra Introduction
Introdution Wht is Liner Alger out? Liner Alger is rnh of mthemtis whih emerged yers k nd ws one of the pioneer rnhes of mthemtis Though, initilly it strted with solving of the simple liner eqution x +
More informationCS 491G Combinatorial Optimization Lecture Notes
CS 491G Comintoril Optimiztion Leture Notes Dvi Owen July 30, August 1 1 Mthings Figure 1: two possile mthings in simple grph. Definition 1 Given grph G = V, E, mthing is olletion of eges M suh tht e i,
More informationPart I: Study the theorem statement.
Nme 1 Nme 2 Nme 3 A STUDY OF PYTHAGORAS THEOREM Instrutions: Together in groups of 2 or 3, fill out the following worksheet. You my lift nswers from the reding, or nswer on your own. Turn in one pket for
More informationChapter Gauss Quadrature Rule of Integration
Chpter 7. Guss Qudrture Rule o Integrtion Ater reding this hpter, you should e le to:. derive the Guss qudrture method or integrtion nd e le to use it to solve prolems, nd. use Guss qudrture method to
More informationMAT 403 NOTES 4. f + f =
MAT 403 NOTES 4 1. Fundmentl Theorem o Clulus We will proo more generl version o the FTC thn the textook. But just like the textook, we strt with the ollowing proposition. Let R[, ] e the set o Riemnn
More informationKENDRIYA VIDYALAYA IIT KANPUR HOME ASSIGNMENTS FOR SUMMER VACATIONS CLASS  XII MATHEMATICS (Relations and Functions & Binary Operations)
KENDRIYA VIDYALAYA IIT KANPUR HOME ASSIGNMENTS FOR SUMMER VACATIONS 67 CLASS  XII MATHEMATICS (Reltions nd Funtions & Binry Opertions) For Slow Lerners:  A Reltion is sid to e Reflexive if.. every A
More informationCompiler Design. Spring Lexical Analysis. Sample Exercises and Solutions. Prof. Pedro C. Diniz
University of Southern Cliforni Computer Siene Deprtment Compiler Design Spring 7 Lexil Anlysis Smple Exerises nd Solutions Prof. Pedro C. Diniz USC / Informtion Sienes Institute 47 Admirlty Wy, Suite
More information12.4 Similarity in Right Triangles
Nme lss Dte 12.4 Similrit in Right Tringles Essentil Question: How does the ltitude to the hpotenuse of right tringle help ou use similr right tringles to solve prolems? Eplore Identifing Similrit in Right
More informationGeometry of the Circle  Chords and Angles. Geometry of the Circle. Chord and Angles. Curriculum Ready ACMMG: 272.
Geometry of the irle  hords nd ngles Geometry of the irle hord nd ngles urriulum Redy MMG: 272 www.mthletis.om hords nd ngles HRS N NGLES The irle is si shpe nd so it n e found lmost nywhere. This setion
More informationCS241 Week 6 Tutorial Solutions
241 Week 6 Tutoril olutions Lnguges: nning & ontextfree Grmmrs Winter 2018 1 nning Exerises 1. 0x0x0xd HEXINT 0x0 I x0xd 2. 0xend HEXINT 0xe I nd ER  MINU  3. 1234120x INT 1234 INT 120 I x 4.
More informationStrong Bisimulation. Overview. References. Actions Labeled transition system Transition semantics Simulation Bisimulation
Strong Bisimultion Overview Actions Lbeled trnsition system Trnsition semntics Simultion Bisimultion References Robin Milner, Communiction nd Concurrency Robin Milner, Communicting nd Mobil Systems 32
More informationThermodynamics. Question 1. Question 2. Question 3 3/10/2010. Practice Questions PV TR PV T R
/10/010 Question 1 1 mole of idel gs is rought to finl stte F y one of three proesses tht hve different initil sttes s shown in the figure. Wht is true for the temperture hnge etween initil nd finl sttes?
More information