CS 330 Formal Methods and Models


 Coral Allen
 9 months ago
 Views:
Transcription
1 CS 330 Forml Methods nd Models Dn Richrds, section 003, George Mson University, Fll 2017 Quiz Solutions Quiz 1, Propositionl Logic Dte: Septemer 7 1. Prove (p q) (p q), () (5pts) using truth tles. p q p q q p q (p q) (p q) (p q) T T T F F T T T F F T T F T F T F F T F T F F F T T F T () (5pts) using lger. (p q) (p q) (p q) ( p q) (p q) ( p q) (p q) ( p q) (p q) (p q) conditionl lw DeMorgn s lw lw of negtion lw of negtion ((p q) (p q)) ((p q) (p q)) iconditionl lw (p q) (p q) (p q) (p q) TRUE idempotence conditionl lw excluded middle 1
2 Quiz 2, Rules of Inference Dte: Septemer (10pts) Prove (p q) (p q), using inference rules. 1 [p q] Assumption 2 p elimintion, 1 3 q elimintion, 1 4 [p q] Assumption 5 q Modus ponens 4,2 6 F ALSE Contrdiction 3,5 7 (p q) Reduction to surdity 4,6 8 (p q) (p q) introduction 1,7 9 [ (p q)] Assumption 10 [ (p q)] Assumption 11 [p] Assumption 12 [q] Assumption 13 p q introduction 11,12 14 F ALSE contrdiction 10,13 15 q Reduction to surdity 12,14 16 p q introduction 11,15 17 F ALSE Contrdiction 9,16 18 (p q) Reduction to surdity 10,17 19 (p q) elimintion (p q) (p q) introduction 9,19 21 (p q) (p q) introduction 8,20 2
3 Quiz 3, Predicte Logic Dte: Septemer (5pts) Assert tht n rry A[1,..., n] increses nd decreses once. if j is to the left of i, then the series increses going to the right of j : (j < i) (A[j] < A[j +1]) if j is to the right of i, then the series decreses coming from the left of j : (i < j) (A[j 1] > A[j]) there is point i such tht the series is incresing everywhere to the left of i, nd decresing everywhere to the right of i : i I n :( j I n : (j < i) (A[j] < A[j +1]) ( j I n : (i < j) (A[j 1] > A[j])) This ssumes tht either the first or second prt cn e sequence of one element, i.e. the whole sequence cn e just incresing or decresing. Otherwise, insert i 1 i n fter the first colon. 2. (5pts) Assert tht grph hs 2 vertices such tht every vertex is connected to one of the two. G = V nd Edge(x,y). vertex z is connected to either vertex x or vertex y : Edge(z,x) Edge(z,y) every vertex z, if it isn t x or y itself, is connected to x or y : z V : ((z x) (z y)) (Edge(z,x) Edge(z,y)) there is pir of vertices, x nd y, such tht every vertex is connected to one of the two : x V : y V : z V : ((z x) (z y)) (Edge(z,x) Edge(z,y)) 3
4 Quiz 4, Mthemticl Induction Dte: Septemer (5pts) Prove 2 2n 1 is divisile y 3, n 1 (i.e. m N : 2 2n 1 = 3m) (Hint: 4 = 3+1). When n = 1, 2 2n 1 = = 3, which is divisile y 3, thus proving the se cse. Assume tht for some k 1, 2 2k 1 is divisile y 3, so for some integer m k, 2 2k 1 = 3m k We would like to prove the k +1 cse, 2 2(k+1) 1 = 3m k+1 (for some integer m k+1 ) To do this, we egin with the left hnd side, nd work until we cn sustitute the inductive hypothesis, 2 2(k+1) 1 = 2 2k = 4 2 2k 1 = 3 2 2k +2 2k 1 (from the hint) = 3 2 2k +3m k (y the inductive hypothesis) = 3(2 2k +m k ) = 3m k+1 (if we let m k+1 = 2 2k +m k ) This proves the inductive conclusion, thus y mthemticl induction, the theorem is proved. 4
5 2. (5pts) Let S n+1 = 2S n +1, n 0, S 0 = 0, Prove S n = 2 n 1, n 0. When n = 0, we hve S n = S 0 = 0 = 2 n 1 = = 1 1 = 0 Assume tht for some k 0, S k = 2 k 1 We would like to prove the k +1 cse, S k+1 = 2 k+1 1 To do this, we egin with the left hnd side, S k+1 = 2S k +1 (from the recursive definition) = 2(2 k 1)+1 (from the inductive hypothesis) = 2 2 k 2+1 = 2 k+1 1 This proves the inductive conclusion, thus y mthemticl induction, the theorem is proved. 5
6 Quiz 5, Progrm Verifiction Dte: Octoer (5pts) Stte, prove, nd use the loop invrint for the following code, ssuming n 0. i 0 s 1 while i < n do s 5 2 s i i+1 s 6 s Solution: i 0 s 1 // (s = 15 i ) (i n) while i < n do // (s = 15 i ) (i n) (i < n) s 5 2 s // (s = i ) (i n) (i < n) i i+1 // (s = i 1 ) (i n) s 6 s // (s = i 1 = i 1 = 15 i ) (i n) // (s = 15 i ) (i n) (i < n) Note tht (i n) (i < n) implies i = n, so s = 15 n t the end. 6
7 2. (5pts) Stte, prove, nd use the loop invrint for the following code, ssuming n 0. m n y 1 z x while m < 0 do if ODD(m) then y y z z z z m FLOOR(m/2) Solution: m n y 1 z x // (yz m = x n ) (m 0) while m < 0 do // (yz m = x n ) (m 0) (m > 0) if ODD(m) then y y z // (yz 2 m 2 = x n ) (m 0) (m > 0) z z z // (yz m 2 = x n ) (m 0) (m > 0) m FLOOR(m/2) // (yz m = x n ) (m 0) // (yz m = x n ) (m 0) (m > 0) Note tht (m 0) (m > 0) implies m = 0, so y = x n t the end. 7
8 Quiz 6, Mthemticl Induction II Dte: Octoer (5pts) Prove n i=0 i = n+1 1 1, 1, n 0. When n = 0, n i=0 i = 0 i=0 i = 0 = 1, nd n = = 1 1 = 1, which proves the se cse. Assume tht for some k 0, k i=0 i = k with 1. We would like to prove the k +1 cse, k+1 i=0 i = (k+1) To do this, we egin with the left hnd side, nd work until we cn sustitute the inductive hypothesis, k+1 i = k+1 + i=0 k i=0 i = k+1 + k = k+1 ( 1)+ k = k (from the inductive hypothesis) This proves the inductive conclusion, thus y mthemticl induction, the theorem is proved. 8
9 2. (5pts) Let S n+1 = S n + ( 1 2) n, n 0, S0 = 0. Prove S n = 2 ( 1 2) n 1, n 0. When n = 0, 2 ( 1 2) n 1 = 2 ( 1 2) 0 1 = 2 2 = 0 = S0 = S n, which proves the se cse. Assume tht for some k 0, S k = 2 ( 1 2) k 1. Wewouldliketoprovethek+1cse, S k+1 = 2 ( 1 2) (k+1) 1 = 2 ( 1 2) k. To do this, we egin with the left hnd side, nd work until we cn sustitute the inductive hypothesis, ( ) 1 k S k+1 = S k + (from the recursive definition) 2 ( ) 1 k 1 ( ) 1 k = 2 + (from the inductive hypothesis) 2 2 ( ) 1 k ( ) 1 k = ( ) 1 k = 2 2 This proves the inductive conclusion, thus y mthemticl induction, the theorem is proved. 9
10 Quiz 7, Regulr Expressions Dte: Novemer 2 1. (3pts) Write ll strings of length 6 in L(r), r = ((+) ). L(r) = {,,,,,,,,,,,,,,,,,,, } 2. (3pts) Simplify (0+1) 0(0+1) +(0+1) 00(0+1). Note tht (0+1) 00(0+1) (0+1) 0(0+1), which llows us to simplify the sum to (0 + 1) 0(0 + 1). Since the string must hve first zero, this expression cn e further simplified to 1 0(0+1). 3. (4pts) Give r, L(r) = {x x contins ut not }. The set of ll strings of s nd s is given y ( + ), so the set of strings without consecutive s which does not end on n is given y ( + ). Similrly, the set of strings without consecutive s which does not egin with n is given y ( + ). Comining with the required gives the solution: r = (+) (+) 10
11 Quiz 8, Regulr Grmmrs Dte: Novemer 7 1. (6pts) Convert (+) into regulr grmmr with unit productions P 1 = {S 1 A 1,A 1 Λ} P 2 = {S 2 A 2,A 2 Λ} P 3 = {S 3 S 1,S 3 S 2,S 1 A 1,A 1 Λ,S 2 A 2,A 2 Λ} P 4 = {S 4 Λ,S 4 S 3,S 3 S 1,S 3 S 2, S 1 A 1,A 1 S 4,S 2 A 2,A 2 S 4 } Using P 4 s the finl nswer, the strt symol is S 4. 11
12 2. (4pts) Convert into regulr grmmr: {S A,S B,A A,A B,B Λ,B A}. Solution: S A S B A A A B B Λ B A S A S Λ S B B A B B 12
13 Quiz 9, Regulr Grmmr Conversion Dte: Novemer (6pts) Convert {S S, S B, A B, A S, B A, B Λ} into regulr expression. First dd S, H, nd missing loopcks. S S S B S S A B A S A A B A B H B B H Λ To remove S then A then B, egin y removing S. S S / S S / S B : S B A S / S S / S B : A B After removing S the remining productions re: S B A + B A A B A B H B B H Λ Remove A B A / A A / A + B : B (+ )B After removing A, the remining productions re: S B B H B Λ+(+ )B H Λ Remove B S B / B Λ+(+ )B / B H : Regulr expression: ((+ )) 13
14 2. (6pts) Convert {S S, S B, A B, A S, B A, B Λ} into deterministic regulr grmmr. V {S} V {S} V {S} V {B} V {S,B} V {S} V {S,B} V {A,B} V {A} V {S,B} V {A} V V {A,B} V {S,B} V {A,B} V {A} V {B} V V {B} V {A} V {B} Λ V {S,B} Λ V {A,B} Λ 14
15 Quiz 10, Finite Automt Dte: Novemer (5pts) Build DFA for Σ = {,,c}, L = {x x contins t most 2 s nd t lest two cs}. strt q 0,0 q 1,0 q 2,0 c c c q 0,1 q 1,1 q 2,1 c c c q 0,2 q 1,2 q 2,2,c,c,c 15
16 2. (5pts) Build DFA for Σ = {,}, L = {x x contins efore ny }. q 0  no s or s seen q  lst seen (ut not ), no or yet q  lst pir seen is, no or yet q  lst seen (ut not ), no or yet q  lst pir seen is, no or yet q s  seen first q t  seen first (trp stte; does not need to e shown) strt q 0 q q q s, q q q t, 16
17 Quiz 11, Finite Automt II Dte: Novemer (3pts) Give DFA for L(P), P =. strt, 2. (4pts) Give DFA for L(r), r = (+). strt 3. (3pts) Prove L = { i j i > j} is not regulr. Let S e the set S = { i i 0}. Pick ny distinct pir x = i nd y = j from S, nd without loss of generlity ssume tht i > j (since x nd y re different, then one of them hs to e the longer one, so we ll cll x the longer one). Let z = j, so z is the sme length s y nd shorter thn x. It follows tht xz = i j L ut yz = j j / L. This mens tht no mtter which distinct pir of elements re picked from S, there is some string which cn e ppended to ech of them which will llow them to e distinguished y stte mchine. Since every string in S is distinguishle y stte mchine, ny stte mchine which recognizes the lnguge must hve n infinite numer of sttes to ccommodte for ech of the strings in S. No finite utomt cn hve n infinite numer of sttes, therefore the lnguge L is not regulr. 17
18 Quiz 12, ContextFree Grmmrs Dte: Decemer 7 1. (5pts) Give CFG for { i j c k j = 2i+3k}. Since j = 2i+3k, the resulting string cn e rewritten s i 2i+3k c k = ( i 2i )( 3k c k ). Let A generte strings of the form i 2i nd C generte strings of the form 3k c k. Then the following CFG will generte the lnguge: S AC A A Λ C Cc Λ 2. (5pts) Give CFG for { i j c k i+j > k}. We note tht since i + j > k, we cn find some i nd j such tht i +j = k nd oth i i nd j j. Thus, i = i +n nd j = j +m for some nonnegtive n nd m. Furthermore, i+j = (i +n)+(j +m) = (i +j )+(n+m) = k +(n+m), so n+m must e greter thn zero. Theresultingstringcnerewritten i +n j +m c i +j = i ( n m )( j c j )c i. Let A generte strings of the form n, B generte strings of the form m, X generte nonempty strings of the form n m, nd C generte strings of the form j c j. Then the following CFG will generte the lnguge: S Sc XC A A Λ B B Λ X AB AB C Cc Λ 18
Chapter 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 informationAutomata and Languages
Automt nd Lnguges Prof. Mohmed Hmd Softwre Engineering Lb. The University of Aizu Jpn Grmmr Regulr Grmmr Contextfree Grmmr Contextsensitive Grmmr Regulr Lnguges Context Free Lnguges Context Sensitive
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 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 informationa,b a 1 a 2 a 3 a,b 1 a,b a,b 2 3 a,b a,b a 2 a,b CS Determinisitic Finite Automata 1
CS4 45 Determinisitic Finite Automt : Genertors vs. Checkers Regulr expressions re one wy to specify forml lnguge String Genertor Genertes strings in the lnguge Deterministic Finite Automt (DFA) re nother
More informationHomework 4. 0 ε 0. (00) ε 0 ε 0 (00) (11) CS 341: Foundations of Computer Science II Prof. Marvin Nakayama
CS 341: Foundtions of Computer Science II Prof. Mrvin Nkym Homework 4 1. UsetheproceduredescriedinLemm1.55toconverttheregulrexpression(((00) (11)) 01) into n NFA. Answer: 0 0 1 1 00 0 0 11 1 1 01 0 1 (00)
More informationNondeterministic Finite Automata
Nondeterministic Finite Automt From Regulr Expressions to NFA Eliminting nondeterminism Rdoud University Nijmegen Nondeterministic Finite Automt H. Geuvers nd J. Rot Institute for Computing nd Informtion
More informationChapter 4 Regular Grammar and Regular Sets. (Solutions / Hints)
C K Ngpl Forml Lnguges nd utomt Theory Chpter 4 Regulr Grmmr nd Regulr ets (olutions / Hints) ol. (),,,,,,,,,,,,,,,,,,,,,,,,,, (),, (c) c c, c c, c, c, c c, c, c, c, c, c, c, c c,c, c, c, c, c, c, c, c,
More informationHomework Solution  Set 5 Due: Friday 10/03/08
CE 96 Introduction to the Theory of Computtion ll 2008 Homework olution  et 5 Due: ridy 10/0/08 1. Textook, Pge 86, Exercise 1.21. () 1 2 Add new strt stte nd finl stte. Mke originl finl stte nonfinl.
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 informationState Minimization for DFAs
Stte Minimiztion for DFAs Red K & S 2.7 Do Homework 10. Consider: Stte Minimiztion 4 5 Is this miniml mchine? Step (1): Get rid of unrechle sttes. Stte Minimiztion 6, Stte is unrechle. Step (2): Get rid
More informationUSA Mathematical Talent Search Round 1 Solutions Year 21 Academic Year
1/1/21. Fill in the circles in the picture t right with the digits 18, one digit in ech circle with no digit repeted, so tht no two circles tht re connected by line segment contin consecutive digits.
More informationCSCI FOUNDATIONS OF COMPUTER SCIENCE
1 CSCI 2200 FOUNDATIONS OF COMPUTER SCIENCE Spring 2015 My 7, 2015 2 Announcements Homework 9 is due now. Some finl exm review problems will be posted on the web site tody. These re prcqce problems not
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 informationFarey Fractions. Rickard Fernström. U.U.D.M. Project Report 2017:24. Department of Mathematics Uppsala University
U.U.D.M. Project Report 07:4 Frey Frctions Rickrd Fernström Exmensrete i mtemtik, 5 hp Hledre: Andres Strömergsson Exmintor: Jörgen Östensson Juni 07 Deprtment of Mthemtics Uppsl University Frey Frctions
More informationRegular Expressions (RE) Regular Expressions (RE) Regular Expressions (RE) Regular Expressions (RE) Kleene*
Regulr Expressions (RE) Regulr Expressions (RE) Empty set F A RE denotes the empty set Opertion Nottion Lnguge UNIX Empty string A RE denotes the set {} Alterntion R +r L(r ) L(r ) r r Symol Alterntion
More informationAutomata Theory 101. Introduction. Outline. Introduction Finite Automata Regular Expressions ωautomata. Ralf Huuck.
Outline Automt Theory 101 Rlf Huuck Introduction Finite Automt Regulr Expressions ωautomt Session 1 2006 Rlf Huuck 1 Session 1 2006 Rlf Huuck 2 Acknowledgement Some slides re sed on Wolfgng Thoms excellent
More informationRecursively Enumerable and Recursive. Languages
Recursively Enumerble nd Recursive nguges 1 Recll Definition (clss 19.pdf) Definition 10.4, inz, 6 th, pge 279 et S be set of strings. An enumertion procedure for Turing Mchine tht genertes ll strings
More informationTypes of Finite Automata. CMSC 330: Organization of Programming Languages. Comparing DFAs and NFAs. NFA for (a b)*abb.
CMSC 330: Orgniztion of Progrmming Lnguges Finite Automt 2 Types of Finite Automt Deterministic Finite Automt () Exctly one sequence of steps for ech string All exmples so fr Nondeterministic Finite Automt
More informationChapter 1, Part 1. Regular Languages. CSC527, Chapter 1, Part 1 c 2012 Mitsunori Ogihara 1
Chpter 1, Prt 1 Regulr Lnguges CSC527, Chpter 1, Prt 1 c 2012 Mitsunori Ogihr 1 Finite Automt A finite utomton is system for processing ny finite sequence of symols, where the symols re chosen from finite
More information12.1 Nondeterminism Nondeterministic Finite Automata. a a b ε. CS125 Lecture 12 Fall 2016
CS125 Lecture 12 Fll 2016 12.1 Nondeterminism The ide of nondeterministic computtions is to llow our lgorithms to mke guesses, nd only require tht they ccept when the guesses re correct. For exmple, simple
More informationOverview HC9. Parsing: TopDown & LL(1) ContextFree Grammars (1) Introduction. CFGs (3) ContextFree Grammars (2) Vertalerbouw HC 9: Ch.
Overview H9 Vertlerouw H 9: Prsing: opdown & LL(1) do 3 mei 2001 56 heo Ruys h. 8  Prsing 8.1 ontextfree Grmmrs 8.2 opdown Prsing 8.3 LL(1) Grmmrs See lso [ho, Sethi & Ullmn 1986] for more thorough
More informationNondeterminism. Nondeterministic Finite Automata. Example: Moves on a Chessboard. Nondeterminism (2) Example: Chessboard (2) Formal NFA
Nondeterminism Nondeterministic Finite Automt Nondeterminism Subset Construction A nondeterministic finite utomton hs the bility to be in severl sttes t once. Trnsitions from stte on n input symbol cn
More informationOn Determinisation of HistoryDeterministic Automata.
On Deterministion of HistoryDeterministic Automt. Denis Kupererg Mich l Skrzypczk University of Wrsw YRICALP 2014 Copenhgen Introduction Deterministic utomt re centrl tool in utomt theory: Polynomil
More informationBoolean Algebra. Boolean Algebra
Boolen Alger Boolen Alger A Boolen lger is set B of vlues together with:  two inry opertions, commonly denoted y + nd,  unry opertion, usully denoted y ˉ or ~ or,  two elements usully clled zero nd
More informationPrefixFree RegularExpression Matching
PrefixFree RegulrExpression Mthing YoSu Hn, Yjun Wng nd Derik Wood Deprtment of Computer Siene HKUST PrefixFree RegulrExpression Mthing p.1/15 Pttern Mthing Given pttern P nd text T, find ll sustrings
More information3 Regular expressions
3 Regulr expressions Given n lphet Σ lnguge is set of words L Σ. So fr we were le to descrie lnguges either y using set theory (i.e. enumertion or comprehension) or y n utomton. In this section we shll
More informationQUADRATIC EQUATIONS OBJECTIVE PROBLEMS
QUADRATIC EQUATIONS OBJECTIVE PROBLEMS +. The solution of the eqution will e (), () 0,, 5, 5. The roots of the given eqution ( p q) ( q r) ( r p) 0 + + re p q r p (), r p p q, q r p q (), (d), q r p q.
More informationImproper Integrals. Introduction. Type 1: Improper Integrals on Infinite Intervals. When we defined the definite integral.
Improper Integrls Introduction When we defined the definite integrl f d we ssumed tht f ws continuous on [, ] where [, ] ws finite, closed intervl There re t lest two wys this definition cn fil to e stisfied:
More informationSection: Other Models of Turing Machines. Definition: Two automata are equivalent if they accept the same language.
Section: Other Models of Turing Mchines Definition: Two utomt re equivlent if they ccept the sme lnguge. Turing Mchines with Sty Option Modify δ, Theorem Clss of stndrd TM s is equivlent to clss of TM
More informationMATH 573 FINAL EXAM. May 30, 2007
MATH 573 FINAL EXAM My 30, 007 NAME: Solutions 1. This exm is due Wednesdy, June 6 efore the 1:30 pm. After 1:30 pm I will NOT ccept the exm.. This exm hs 1 pges including this cover. There re 10 prolems.
More informationLecture 9: LTL and Büchi Automata
Lecture 9: LTL nd Büchi Automt 1 LTL Property Ptterns Quite often the requirements of system follow some simple ptterns. Sometimes we wnt to specify tht property should only hold in certin context, clled
More informationConvex Sets and Functions
B Convex Sets nd Functions Definition B1 Let L, +, ) be rel liner spce nd let C be subset of L The set C is convex if, for ll x,y C nd ll [, 1], we hve 1 )x+y C In other words, every point on the line
More informationCS12N: The Coming Revolution in Computer Architecture Laboratory 2 Preparation
CS2N: The Coming Revolution in Computer Architecture Lortory 2 Preprtion Ojectives:. Understnd the principle of sttic CMOS gte circuits 2. Build simple logic gtes from MOS trnsistors 3. Evlute these gtes
More informationinput tape head moves current state
CPS 140  Mthemticl Foundtions of CS Dr. Susn Rodger Section: Finite Automt (Ch. 2) (lecture notes) Things to do in clss tody (Jn. 13, 2004): ffl questions on homework 1 ffl finish chpter 1 ffl Red Chpter
More informationUniversitaireWiskundeCompetitie. Problem 2005/4A We have k=1. Show that for every q Q satisfying 0 < q < 1, there exists a finite subset K N so that
Problemen/UWC NAW 5/7 nr juni 006 47 Problemen/UWC UniversitireWiskundeCompetitie Edition 005/4 For Session 005/4 we received submissions from Peter Vndendriessche, Vldislv Frnk, Arne Smeets, Jn vn de
More informationQuadratic reciprocity
Qudrtic recirocity Frncisc Bozgn Los Angeles Mth Circle Octoer 8, 01 1 Qudrtic Recirocity nd Legendre Symol In the eginning of this lecture, we recll some sic knowledge out modulr rithmetic: Definition
More informationSCHOOL OF ENGINEERING & BUILT ENVIRONMENT. Mathematics
SCHOOL OF ENGINEERING & BUIL ENVIRONMEN Mthemtics An Introduction to Mtrices Definition of Mtri Size of Mtri Rows nd Columns of Mtri Mtri Addition Sclr Multipliction of Mtri Mtri Multipliction 7 rnspose
More informationa n+2 a n+1 M n a 2 a 1. (2)
Rel Anlysis Fll 004 Tke Home Finl Key 1. Suppose tht f is uniformly continuous on set S R nd {x n } is Cuchy sequence in S. Prove tht {f(x n )} is Cuchy sequence. (f is not ssumed to be continuous outside
More informationFormal Languages and Automata Theory. D. Goswami and K. V. Krishna
Forml Lnguges nd Automt Theory D. Goswmi nd K. V. Krishn Novemer 5, 2010 Contents 1 Mthemticl Preliminries 3 2 Forml Lnguges 4 2.1 Strings............................... 5 2.2 Lnguges.............................
More informationSpeech Recognition Lecture 2: Finite Automata and FiniteState Transducers
Speech Recognition Lecture 2: Finite Automt nd FiniteStte Trnsducers Eugene Weinstein Google, NYU Cournt Institute eugenew@cs.nyu.edu Slide Credit: Mehryr Mohri Preliminries Finite lphet, empty string.
More informationNondeterministic Biautomata and Their Descriptional Complexity
Nondeterministic Biutomt nd Their Descriptionl Complexity Mrkus Holzer nd Sestin Jkoi Institut für Informtik JustusLieigUniversität Arndtstr. 2, 35392 Gießen, Germny 23. Theorietg Automten und Formle
More informationMATH 101A: ALGEBRA I PART B: RINGS AND MODULES 35
MATH 101A: ALGEBRA I PART B: RINGS AND MODULES 35 9. Modules over PID This week we re proving the fundmentl theorem for finitely generted modules over PID, nmely tht they re ll direct sums of cyclic modules.
More informationMTH 505: Number Theory Spring 2017
MTH 505: Numer Theory Spring 207 Homework 2 Drew Armstrong The Froenius Coin Prolem. Consider the eqution x ` y c where,, c, x, y re nturl numers. We cn think of $ nd $ s two denomintions of coins nd $c
More informationThe University of Nottingham
The University of Nottinghm SCHOOL OF COMPUTR SCINC AND INFORMATION TCHNOLOGY A LVL 1 MODUL, SPRING SMSTR 20042005 MACHINS AND THIR LANGUAGS Time llowed TWO hours Cndidtes must NOT strt writing their
More informationImproper Integrals. The First Fundamental Theorem of Calculus, as we ve discussed in class, goes as follows:
Improper Integrls The First Fundmentl Theorem of Clculus, s we ve discussed in clss, goes s follows: If f is continuous on the intervl [, ] nd F is function for which F t = ft, then ftdt = F F. An integrl
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 informationThe mth Ratio Convergence Test and Other Unconventional Convergence Tests
The mth Rtio Convergence Test nd Other Unconventionl Convergence Tests Kyle Blckburn My 14, 2012 Contents 1 Introduction 2 2 Definitions, Lemms, nd Theorems 2 2.1 Defintions.............................
More informationIntroduction to Electrical & Electronic Engineering ENGG1203
Introduction to Electricl & Electronic Engineering ENGG23 2 nd Semester, 278 Dr. Hden KwokH So Deprtment of Electricl nd Electronic Engineering Astrction DIGITAL LOGIC 2 Digitl Astrction n Astrct ll
More informationPolynomial Approximations for the Natural Logarithm and Arctangent Functions. Math 230
Polynomil Approimtions for the Nturl Logrithm nd Arctngent Functions Mth 23 You recll from first semester clculus how one cn use the derivtive to find n eqution for the tngent line to function t given
More informationSection 6.1 Definite Integral
Section 6.1 Definite Integrl Suppose we wnt to find the re of region tht is not so nicely shped. For exmple, consider the function shown elow. The re elow the curve nd ove the x xis cnnot e determined
More informationPrefixFree Subsets of Regular Languages and Descriptional Complexity
PrefixFree Susets of Regulr Lnguges nd Descriptionl Complexity Jozef Jirásek Jurj Šeej DCFS 2015 PrefixFree Susets of Regulr Lnguges nd Descriptionl Complexity Jozef Jirásek, Jurj Šeej 1/22 Outline Mximl
More informationWhere did dynamic programming come from?
Where did dynmic progrmming come from? String lgorithms Dvid Kuchk cs302 Spring 2012 Richrd ellmn On the irth of Dynmic Progrmming Sturt Dreyfus http://www.eng.tu.c.il/~mi/cd/ or50/15265463200250010048.pdf
More informationGood Review book ( ) ( ) ( )
7/31/2011 34 Boolen (Switching) Algebr Review Good Review book BeBop to the Boolen Boogie: An Unconventionl Guide to Electronics, 2 nd ed. by Clive Mxwell Hightext Publictions Inc. from Amzon.com for pprox.
More information5.1 Definitions and Examples 5.2 Deterministic Pushdown Automata
CSC4510 AUTOMATA 5.1 Definitions nd Exmples 5.2 Deterministic Pushdown Automt Definitions nd Exmples A lnguge cn be generted by CFG if nd only if it cn be ccepted by pushdown utomton. A pushdown utomton
More informationThe final exam will take place on Friday May 11th from 8am 11am in Evans room 60.
Mth 104: finl informtion The finl exm will tke plce on Fridy My 11th from 8m 11m in Evns room 60. The exm will cover ll prts of the course with equl weighting. It will cover Chpters 1 5, 7 15, 17 21, 23
More informationThe Minimization Problem. The Minimization Problem. The Minimization Problem. The Minimization Problem. The Minimization Problem
Simpler & More Generl Minimiztion for Weighted FiniteStte Automt Json Eisner Johns Hopkins University My 28, 2003 HLTNAACL First hlf of tlk is setup  revies pst ork. Second hlf gives outline of the
More informationGoodforGames Automata versus Deterministic Automata.
GoodforGmes Automt versus Deterministic Automt. Denis Kuperberg 1,2 Mich l Skrzypczk 1 1 University of Wrsw 2 IRIT/ONERA (Toulouse) Séminire MoVe 12/02/2015 LIF, Luminy Introduction Deterministic utomt
More informationECON 331 Lecture Notes: Ch 4 and Ch 5
Mtrix Algebr ECON 33 Lecture Notes: Ch 4 nd Ch 5. Gives us shorthnd wy of writing lrge system of equtions.. Allows us to test for the existnce of solutions to simultneous systems. 3. Allows us to solve
More informationPHYSICS 211 MIDTERM I 21 April 2004
PHYSICS MIDERM I April 004 Exm is closed book, closed notes. Use only your formul sheet. Write ll work nd nswers in exm booklets. he bcks of pges will not be grded unless you so request on the front of
More informationThe Trapezoidal Rule
_.qd // : PM Pge 9 SECTION. Numericl Integrtion 9 f Section. The re of the region cn e pproimted using four trpezoids. Figure. = f( ) f( ) n The re of the first trpezoid is f f n. Figure. = Numericl Integrtion
More informationMath 554 Integration
Mth 554 Integrtion Hndout #9 4/12/96 Defn. A collection of n + 1 distinct points of the intervl [, b] P := {x 0 = < x 1 < < x i 1 < x i < < b =: x n } is clled prtition of the intervl. In this cse, we
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 informationLecture 1. Functional series. Pointwise and uniform convergence.
1 Introduction. Lecture 1. Functionl series. Pointwise nd uniform convergence. In this course we study mongst other things Fourier series. The Fourier series for periodic function f(x) with period 2π is
More informationProblem Set 9. Figure 1: Diagram. This picture is a rough sketch of the 4 parabolas that give us the area that we need to find. The equations are:
(x + y ) = y + (x + y ) = x + Problem Set 9 Discussion: Nov., Nov. 8, Nov. (on probbility nd binomil coefficients) The nme fter the problem is the designted writer of the solution of tht problem. (No one
More informationBernd Finkbeiner Date: October 25, Automata, Games, and Verification: Lecture 2
Bernd Finkeiner Dte: Octoer 25, 2012 Automt, Gmes, nd Verifiction: Lecture 2 2 Büchi Automt Definition1 AnondeterministicBüchiutomtonAoverlphetΣistuple(S,I,T,F): S : finitesetof sttes I S:susetof initilsttes
More informationMath 360: A primitive integral and elementary functions
Mth 360: A primitive integrl nd elementry functions D. DeTurck University of Pennsylvni October 16, 2017 D. DeTurck Mth 360 001 2017C: Integrl/functions 1 / 32 Setup for the integrl prtitions Definition:
More informationexpression simply by forming an OR of the ANDs of all input variables for which the output is
2.4 Logic Minimiztion nd Krnugh Mps As we found ove, given truth tle, it is lwys possile to write down correct logic expression simply y forming n OR of the ANDs of ll input vriles for which the output
More informationProblem Set 3
14.102 Problem Set 3 Due Tuesdy, October 18, in clss 1. Lecture Notes Exercise 208: Find R b log(t)dt,where0
More informationOrdinal diagrams. By Gaisi TAKEUTI. (Received April 5, 1957) $(a)\frac{s_{1}s_{2}}{(b)\frac{s_{3}s_{4}}{(c)\frac{s}{s}6\underline{6}}}$ Fig.
cn Journl the Mthemticl Society Jpn Vol 9, No 4, Octor, 1957 Ordinl digrms By Gi TAKEUTI (Received April 5, 1957) In h pper [2] on the constencypro the theory nturl numrs, G Gentzen ssigned to every profigure
More informationWe know that if f is a continuous nonnegative function on the interval [a, b], then b
1 Ares Between Curves c 22 Donld Kreider nd Dwight Lhr We know tht if f is continuous nonnegtive function on the intervl [, b], then f(x) dx is the re under the grph of f nd bove the intervl. We re going
More informationAnalytically, vectors will be represented by lowercase boldface Latin letters, e.g. a, r, q.
1.1 Vector Alger 1.1.1 Sclrs A physicl quntity which is completely descried y single rel numer is clled sclr. Physiclly, it is something which hs mgnitude, nd is completely descried y this mgnitude. Exmples
More information5: The Definite Integral
5: The Definite Integrl 5.: Estimting with Finite Sums Consider moving oject its velocity (meters per second) t ny time (seconds) is given y v t = t+. Cn we use this informtion to determine the distnce
More information4.1. Probability Density Functions
STT 1 4.14. 4.1. Proility Density Functions Ojectives. Continuous rndom vrile  vers  discrete rndom vrile. Proility density function. Uniform distriution nd its properties. Expected vlue nd vrince of
More informationResistors. Consider a uniform cylinder of material with mediocre to poor to pathetic conductivity ( )
10/25/2005 Resistors.doc 1/7 Resistors Consider uniform cylinder of mteril with mediocre to poor to r. pthetic conductivity ( ) ˆ This cylinder is centered on the xis, nd hs length. The surfce re of the
More information2 b. , a. area is S= 2π xds. Again, understand where these formulas came from (pages ).
AP Clculus BC Review Chpter 8 Prt nd Chpter 9 Things to Know nd Be Ale to Do Know everything from the first prt of Chpter 8 Given n integrnd figure out how to ntidifferentite it using ny of the following
More information63. Representation of functions as power series Consider a power series. ( 1) n x 2n for all 1 < x < 1
3 9. SEQUENCES AND SERIES 63. Representtion of functions s power series Consider power series x 2 + x 4 x 6 + x 8 + = ( ) n x 2n It is geometric series with q = x 2 nd therefore it converges for ll q =
More informationGeneral Algorithms for Testing the Ambiguity of Finite Automata
Generl Algorithms for Testing the Amiguity of Finite Automt Cyril Alluzen 1,, Mehryr Mohri 2,1, nd Ashish Rstogi 1, 1 Google Reserch, 76 Ninth Avenue, New York, NY 10011. 2 Cournt Institute of Mthemticl
More informationPreview 11/1/2017. Greedy Algorithms. Coin Change. Coin Change. Coin Change. Coin Change. Greedy algorithms. Greedy Algorithms
Preview Greed Algorithms Greed Algorithms Coin Chnge Huffmn Code Greed lgorithms end to e simple nd strightforwrd. Are often used to solve optimiztion prolems. Alws mke the choice tht looks est t the moment,
More information8 Automata and formal languages. 8.1 Formal languages
8 Automt nd forml lnguges This exposition ws developed y Clemens Gröpl nd Knut Reinert. It is sed on the following references, ll of which re recommended reding: 1. Uwe Schöning: Theoretische Informtik
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 informationREVIEW Chapter 1 The Real Number System
Mth 7 REVIEW Chpter The Rel Number System In clss work: Solve ll exercises. (Sections. &. Definition A set is collection of objects (elements. The Set of Nturl Numbers N N = {,,,, 5, } The Set of Whole
More informationMPE Review Section I: Algebra
MPE Review Section I: lger t Colordo Stte Universit, the College lger sequence etensivel uses the grphing fetures of the Tes Instruments TI8 or TI8 grphing clcultor. Whenever possile, the questions on
More informationLinear Systems with Constant Coefficients
Liner Systems with Constnt Coefficients 4305 Here is system of n differentil equtions in n unknowns: x x + + n x n, x x + + n x n, x n n x + + nn x n This is constnt coefficient liner homogeneous system
More information42nd International Mathematical Olympiad
nd Interntionl Mthemticl Olympid Wshington, DC, United Sttes of Americ July 8 9, 001 Problems Ech problem is worth seven points. Problem 1 Let ABC be n cutengled tringle with circumcentre O. Let P on
More information4. GREEDY ALGORITHMS I
4. GREEDY ALGORITHMS I coin chnging intervl scheduling scheduling to minimize lteness optiml cching Lecture slides by Kevin Wyne Copyright 2005 PersonAddison Wesley http://www.cs.princeton.edu/~wyne/kleinbergtrdos
More information#A29 INTEGERS 17 (2017) EQUALITY OF DEDEKIND SUMS MODULO 24Z
#A29 INTEGERS 17 (2017) EQUALITY OF DEDEKIND SUMS MODULO 24Z Kurt Girstmir Institut für Mthemtik, Universität Innsruck, Innsruck, Austri kurt.girstmir@uik.c.t Received: 10/4/16, Accepted: 7/3/17, Pulished:
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 113 Exam 2 Practice
Mth Em Prctice Februry, 8 Em will cover sections 6.5, 7.7.5 nd 7.8. This sheet hs three sections. The first section will remind you bout techniques nd formuls tht you should know. The second gives number
More informationC Dutch System Version as agreed by the 83rd FIDE Congress in Istanbul 2012
04.3.1. Dutch System Version s greed y the 83rd FIDE Congress in Istnul 2012 A Introductory Remrks nd Definitions A.1 Initil rnking list A.2 Order See 04.2.B (Generl Hndling Rules  Initil order) For pirings
More informationDiscrete Leastsquares Approximations
Discrete Lestsqures Approximtions Given set of dt points (x, y ), (x, y ),, (x m, y m ), norml nd useful prctice in mny pplictions in sttistics, engineering nd other pplied sciences is to construct curve
More informationHomework Assignment 3 Solution Set
Homework Assignment 3 Solution Set PHYCS 44 6 Ferury, 4 Prolem 1 (Griffiths.5(c The potentil due to ny continuous chrge distriution is the sum of the contriutions from ech infinitesiml chrge in the distriution.
More informationThe Dirichlet Problem in a Two Dimensional Rectangle. Section 13.5
The Dirichlet Prolem in Two Dimensionl Rectngle Section 13.5 1 Dirichlet Prolem in Rectngle In these notes we will pply the method of seprtion of vriles to otin solutions to elliptic prolems in rectngle
More informationMapping the delta function and other Radon measures
Mpping the delt function nd other Rdon mesures Notes for Mth583A, Fll 2008 November 25, 2008 Rdon mesures Consider continuous function f on the rel line with sclr vlues. It is sid to hve bounded support
More informationCS/CE/SE 6367 Software Testing, Validation and Verification. Lecture 4 Code Coverage (II)
CS/CE/SE 6367 Softwre Testing, Vlidtion nd Verifiction Lecture 4 Code Coverge (II) 2/54 Lst Clss Code coverge Controlflow coverge Sttement coverge Brnch coverge Pth coverge Coverge Collection Tools EclEmm
More informationTries and suffixes trees
Trie: A dtstructure for set of words Tries nd suffixes trees Alon Efrt Comuter Science Dertment University of Arizon All words over the lhet Σ={,,..z}. In the slides, let sy tht the lhet is only {,,c,d}
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 informationOn the degree of regularity of generalized van der Waerden triples
On the degree of regulrity of generlized vn der Werden triples Jcob Fox Msschusetts Institute of Technology, Cmbridge, MA 02139, USA Rdoš Rdoičić Deprtment of Mthemtics, Rutgers, The Stte University of
More informationMA123, Chapter 10: Formulas for integrals: integrals, antiderivatives, and the Fundamental Theorem of Calculus (pp.
MA123, Chpter 1: Formuls for integrls: integrls, ntiderivtives, nd the Fundmentl Theorem of Clculus (pp. 27233, Gootmn) Chpter Gols: Assignments: Understnd the sttement of the Fundmentl Theorem of Clculus.
More informationINF1383 Bancos de Dados
3//0 INF383 ncos de Ddos Prof. Sérgio Lifschitz DI PUCRio Eng. Computção, Sistems de Informção e Ciênci d Computção LGER RELCIONL lguns slides sedos ou modificdos dos originis em Elmsri nd Nvthe, Fundmentls
More information