f is a function that maps a structure (x, y) to a feature vector w is a parameter vector (also a member of R d )

Size: px
Start display at page:

Download "f is a function that maps a structure (x, y) to a feature vector w is a parameter vector (also a member of R d )"

Transcription

1 Three Components of Globl Ler Models f is function tht mps structure (x, y) to feture vector f(x, y) R d (Fll 2007) Globl Ler Models: Prt III GEN is function tht mps n put x to set of cndidtes GEN(x) w is prmeter vector (lso member of R d ) Trg dt is used to set the vlue of w 1 3 Overview Recp: globl ler models Dependency prsg GLMs for dependency prsg Eisner s prsg lgorithm Results from McDonld (2005) Puttg it ll Together X is set of sentences, Y is set of possible outputs (e.g. trees) Need to lern function F : X Y GEN, f, w defe F (x) = rg mx f(x, y) w y GEN(x) Choose the highest scorg cndidte s the most plusible structure Given exmples (x i, y i ), how to set w? 2 4

2 he nnounced to promote sfety trucks nd vns he nnounced to promote sfety trucks nd vns he nnounced he to promote nnounced sfety trucks nd vns to he nnounced promote to promote sfety sfety trucks nd vns trucks nd he nnounced vns to promote sfety trucks nd vns he nnounced to promote sfety trucks nd vns he nnounced to promote sfety trucks nd vns GEN A tgged sentence with n words hs n history/tg pirs Hispniol/N quickly/rb becme/vb n/dt importnt/jj bse/nn f f f f f f 1, 1, 3, 5 2, 0, 0, 5 1, 0, 1, 5 0, 0, 3, 0 0, 1, 0, 5 0, 0, 1, 5 f w f w f w f w f w f w rg mx History Tg t 2 t 1 w [1:n] i t * * Hispniol, quickly,..., 1 N * N Hispniol, quickly,..., 2 RB N RB Hispniol, quickly,..., 3 VB RB VB Hispniol, quickly,..., 4 DT DT Hispniol, quickly,..., 5 JJ DT JJ Hispniol, quickly,..., 6 NN Defe globl fetures through locl fetures: n f(t [1:n], w [1:n] ) = g(h i, t i ) i=1 where t i is the i th tg, h i is the i th history 5 7 A Vrt of the Perceptron Algorithm Globl nd Locl Fetures Inputs: Initiliztion: w = 0 Trg set (x i, y i ) for i = 1... n Typiclly, locl fetures re dictor functions, e.g., Defe: Algorithm: Output: F (x) = rgmx y GEN(x) f(x, y) w For t = 1... T, i = 1... n z i = F (x i ) If (z i y i ) w = w + f(x i, y i ) f(x i, z i ) Prmeters w g 101 (h, t) = { 1 if current word wi ends g nd t = VBG 0 otherwise nd globl fetures re then counts, f 101 (w [1:n], t [1:n] ) = Number of times word endg g is tgged s VBG (w [1:n], t [1:n] ) 6 8

3 Puttg it ll Together GEN(w [1:n] ) is the set of ll tgged sequences of length n GEN, f, w defe ome notes: F (w [1:n] ) = rg mx t [1:n] GEN(w [1:n] ) w f(w [1:n], t [1:n] ) = rg mx w n g(h i, t i ) t [1:n] GEN(w [1:n] ) = rg mx t [1:n] GEN(w [1:n] ) i=1 i=1 n w g(h i, t i ) core for tgged sequence is sum of locl scores Dynmic mg cn be used to fd the rgmx! (becuse history only considers the previous two tgs) Trg Tgger Usg the Perceptron Algorithm Inputs: Trg set (w[1:n i i ], ti [1:n i ]) for i = 1... n. Initiliztion: w = 0 Algorithm: For t = 1... T, i = 1... n z [1:ni ] = rg mx u [1:ni ] T n i w f(w i [1:n i ], u [1:ni ]) z [1:ni ] cn be computed with the dynmic mg (Viterbi) lgorithm If z [1:ni ] t i [1:n i ] then w = w + f(w i [1:n i ], t i [1:n i ]) f(w i [1:n i ], z [1:ni ]) Output: Prmeter vector w A Vrt of the Perceptron Algorithm Overview Inputs: Trg set (x i, y i ) for i = 1... n Recp: globl ler models Initiliztion: w = 0 Dependency prsg Defe: Algorithm: Output: F (x) = rgmx y GEN(x) f(x, y) w For t = 1... T, i = 1... n z i = F (x i ) If (z i y i ) w = w + f(x i, y i ) f(x i, z i ) Prmeters w GLMs for dependency prsg Eisner s prsg lgorithm Results from McDonld (2005) 10 12

4 Unlbeled Dependency Prses A More Complex Exmple root John sw movie tht he liked tody root John sw movie root is specil root symbol Ech dependency is pir (h, m) where h is the dex of hed word, m is the dex of modifier word. In the figures, we represent dependency (h, m) by directed edge from h to m. Dependencies the bove exmple re (0, 2), (2, 1), (2, 4), nd (4, 3). (We tke 0 to be the root symbol.) All Dependency Prses for John sw Mry Conditions on Dependency tructures root John sw Mry root John sw Mry root John sw Mry root John sw Mry root John sw Mry root John sw movie tht he liked tody The dependency rcs form directed tree, with the root symbol t the root of the tree. (Defition: A directed tree rooted t root is tree, where for every word w other thn the root, there is directed pth from root to w.) There re no crossg dependencies. Dependency structures with no crossg dependencies re sometimes referred to s projective structures

5 Lbeled Dependency Prses (told,v) (Hillry,N) (told,vbd) N Hillry V(told,VBD) (Clton,N) BAR(tht,COMP) imilr to unlbeled structures, but ech dependency is triple (h, m, l) where h is the dex of hed word, m is the dex of modifier word, nd l is lbel. In the figures, we represent dependency (h, m, l) by directed edge from h to m with lbel l. For most of this lecture we ll stick to unlbeled dependency structures. VBD told N Clton COMP tht (she,prp) PRP she Vt ws (ws,vt) (president,nn) NN president ( told VBD TOP PECIAL) (told VBD Hillry N LEFT) (told VBD Clton N VBD RIGHT) (told VBD tht COMP VBD BAR RIGHT) (tht COMP ws Vt BAR COMP RIGHT) (ws Vt she PRP LEFT) (ws Vt president Vt RIGHT) Extrctg Dependency Prses from Treebnks (told,v) There s recently been lot of terest dependency prsg. For exmple, the CoNLL 2006 conference hd shred tsk where 12 lnguges were volved (Arbic, Chese, Czech, Dnish, Dutch, Germn, Jpnese, Portuguese, lovene, pnish, wedish, Turkish). 19 different groups developed dependency prsg systems. CoNLL 2007 hd similr shred tsk. Google for conll 2006 shred tsk for more detils. For recent PhD thesis on the topic, see Ryn McDonld, Discrimtive Trg nd pnng Tree Algorithms for Dependency Prsg, University of Pennsylvni. (Hillry,N) N Hillry V(told,VBD) VBD told (told,vbd) (Clton,N) N Clton BAR(tht,COMP) COMP tht (she,prp) PRP she (ws,vt) Vt (president,nn) ws NN For some lnguges, e.g., Czech, there re dependency bnks vilble which cont trg dt the form of sentences pired with dependency structures For other lnguges, we hve treebnks from which we cn extrct dependency structures, usg lexiclized grmmrs described erlier the course (see Prsg nd yntx 2) Unlbeled Dependencies: (0,2) (for root told) (2,1) (for told Hillry) (2,3) (for told Clton) (2,4) (for told tht) (4,6) (for tht ws) (6,5) (for ws she) (6,7) (for ws president) president 18 20

6 Efficiency of Dependency Prsg PCFG prsg is O(n 3 G 3 ) where n is the length of the sentence, G is the number of non-termls the grmmr Lexiclized PCFG prsg is O(n 5 G 3 ) where n is the length of the sentence, G is the number of non-termls the grmmr. (With the lgorithms we ve seen it is possible to do little better thn this.) x is sentence GLMs for Dependency prsg GEN(x) is set of ll dependency structures for x f(x, y) is feture vector for sentence x pired with dependency prse y Unlbeled dependency prsg is O(n 3 ). (ee prt 4 of these slides for the lgorithm.) Overview Recp: globl ler models Dependency prsg Globl Ler Models (GLMs) for dependency prsg Eisner s prsg lgorithm Results from McDonld (2005) GLMs for Dependency prsg To run the perceptron lgorithm, we must be ble to efficiently clculte rg mx w f(x, y) y GEN(x) Locl feture vectors: defe f(x, y) = (h,m) y g(x, h, m) where g(x, h, m) mps sentence x nd dependency (h, m) to locl feture vector Cn then efficiently clculte rg mx y GEN(x) w f(x, y) = rg mx y GEN(x) (h,m) y w g(x, h, m) 22 24

7 Defition of Locl Feture Vectors g(x, h, m) mps sentence x nd dependency (h, m) to locl feture vector Fetures from McDonld et l. (2005): Note: defe w i to be the i th word the sentence, t i to be the prtof-speech (PO) tg for the i th word. Unigrm fetures: Identity of w h. Identity of w m. Identity of t h. Identity of t m. Bigrm fetures: Identity of the 4-tuple w h, w m, t h, t m. Identity of sub-sets of this 4-tuple, e.g., identity of the pir w h, w m. Contextul fetures: Identity of the 4-tuple t h, t h+1, t m 1, t m. imilr fetures which consider t h 1 nd t m+1, givg 4 possible feture types. In-between fetures: Identity of triples t h, t, t m for ny tg t seen between words h nd m. Eisner s Algorithm for Dependency Prsg Runs O(n 3 ) time for sentence of length n Algorithm is similr to the dynmic mg lgorithm for PCFGs, but represents constituents novel wy The problem: fd rg mx y GEN(x) (h,m) y (h, m) where x is sentence, GEN(x) is the set of ll dependency trees for x, nd (h, m) is the score of dependency (h, m). In our cse, (h, m) = w g(x, h, m) Overview Recp: globl ler models Dependency prsg Globl Ler Models (GLMs) for dependency prsg Eisner s prsg lgorithm Results from McDonld (2005) Complete Constituents A complete consituent with direction for words w s... w t is set of dependencies D such tht: Every word w s+1... w t is modifier to some word The dependencies D form well formed dependency sub-prse: i.e., there re no crossg dependencies, or cycles. No dependencies D volve words other thn w s is the hed of t lest one dependency. Note: this mens tht the dependencies D form directed tree tht spns ll words w s... w t, with w s t the root of the tree

8 Complete Constituents A complete consituent with direction for words w s... w t is set of dependencies D such tht: Every word w s... w t 1 is modifier to some word The dependencies D form well formed dependency sub-prse: i.e., there re no crossg dependencies, or cycles. No dependencies D volve words other thn w t is the hed of t lest one dependency. Note: this mens tht the dependencies D form directed tree tht spns ll words w s... w t, with w t t the root of the tree. 29 Incomplete Constituents An complete consituent with direction for words w s... w t is set of dependencies D such tht: Every word w s... w t 1 is modifier to some word The dependencies D form well formed dependency sub-prse: i.e., there re no crossg dependencies, or cycles. No dependencies D volve words other thn w t is the hed of t lest one dependency. A new condition: there is dependency (t, s) D. Note: ny complete constituent is lso complete constituent 31 Incomplete Constituents An complete consituent with direction for words w s... w t is set of dependencies D such tht: Every word w s+1... w t is modifier to some word The dependencies D form well formed dependency sub-prse: i.e., there re no crossg dependencies, or cycles. No dependencies D volve words other thn w s is the hed of t lest one dependency. A new condition: there is dependency (s, t) D. Note: ny complete constituent is lso complete constituent 30 The Dynmic Progrmmg Tble C[s][t][d][c] is the highest score for ny constituent tht: pns words w s... w t Hs direction d (either or ) Hs type c (c = 0 for complete constituents, c = 1 for complete constituents) Bse cse for the dynmic mg lgorithm: for s = 1... n, C[s][s][ ][1] = C[s][s][ ][1] =

9 Intuition: Cretg Incomplete Constituents We cn form n complete constituent spnng words w s... w t by combg two complete constituents. Intuition: Cretg Complete Constituents We cn form complete constituent spnng words w s... w t by combg n complete nd complete constituent Cretg Incomplete Constituents Cretg Complete Constituents First cse: for ny s, t such tht 1 s < t n, C[s][t][ ][0] = mx (C[s][r][ ][1] + C[r + 1][t][ ][1] + (t, s)) s r<t Intuition: combe two complete constituents to form n complete constituent econd cse: for ny s, t such tht 1 s < t n, C[s][t][ ][0] = mx (C[s][r][ ][1] + C[r + 1][t][ ][1] + (s, t)) s r<t First cse: for ny s, t such tht 1 s < t n, C[s][t][ ][1] = mx (C[s][r][ ][1] + C[r][t][ ][0]) s r<t Intuition: combe one complete constituent, one complete constituent, to form complete constituent econd cse: for ny s, t such tht 1 s < t n, C[s][t][ ][1] = mx (C[s][r][ ][0] + C[r][t][ ][1]) s<r t 34 36

10 Initiliztion: The Full Algorithm Results from McDonld (2005) for k = 1... n + 1 for s = 0... n t = s + k if t > n then brek for s = 0... n, C[s][s][ ][1] = C[s][s][ ][1] = 0.0 % First: crete complete items C[s][t][ ][0] = mx s r<t (C[s][r][ ][1] + C[r + 1][t][ ][1] + (t, s)) C[s][t][ ][0] = mx s r<t (C[s][r][ ][1] + C[r + 1][t][ ][1] + (s, t)) % econd: crete complete items C[s][t][ ][1] = mx s r<t (C[s][r][ ][1] + C[r][t][ ][0]) C[s][t][ ][1] = mx s<r t (C[s][r][ ][0] + C[r][t][ ][1]) Return C[0][n][ ][1] s the highest score for ny prse Method Accurcy Colls (1997) 91.4% 1st order dependency 90.7% 2nd order dependency 91.5% Accurcy is percentge of correct unlbeled dependencies Colls (1997) is result from lexiclized context-free prser, with dependencies extrcted from the prser s output 1st order dependency is the method just described. 2nd order dependency is model tht uses richer representtions. Advntges of the dependency prsg pproches: simplicity, efficiency (O(n 3 ) prsg time) Overview Extensions Recp: globl ler models Dependency prsg Globl Ler Models (GLMs) for dependency prsg 2nd-order dependency prsg Non-projective dependency structures Eisner s prsg lgorithm Results from McDonld (2005) * John sw movie tody tht he liked 38 40

f is a function that maps a structure (x, y) to a feature vector w is a parameter vector (also a member of R d )

f is a function that maps a structure (x, y) to a feature vector w is a parameter vector (also a member of R d ) Three Components of Globl Ler Models f is function tht mps structure (x, y) to feture vector f(x, y) R d 6.864 (Fll 2007) Globl Ler Models: Prt II GEN is function tht mps n put x to set of cndidtes GEN(x)

More information

Probabilistic Context Free Grammars. Many slides from Michael Collins

Probabilistic Context Free Grammars. Many slides from Michael Collins Probabilistic Context Free Grammars Many slides from Michael Collins Overview I Probabilistic Context-Free Grammars (PCFGs) I The CKY Algorithm for parsing with PCFGs A Probabilistic Context-Free Grammar

More information

Finite Automata Theory and Formal Languages TMV027/DIT321 LP4 2018

Finite Automata Theory and Formal Languages TMV027/DIT321 LP4 2018 Finite Automt Theory nd Forml Lnguges TMV027/DIT321 LP4 2018 Lecture 10 An Bove April 23rd 2018 Recp: Regulr Lnguges We cn convert between FA nd RE; Hence both FA nd RE ccept/generte regulr lnguges; More

More information

Harvard University Computer Science 121 Midterm October 23, 2012

Harvard University Computer Science 121 Midterm October 23, 2012 Hrvrd University Computer Science 121 Midterm Octoer 23, 2012 This is closed-ook exmintion. You my use ny result from lecture, Sipser, prolem sets, or section, s long s you quote it clerly. The lphet is

More information

n f(x i ) x. i=1 In section 4.2, we defined the definite integral of f from x = a to x = b as n f(x i ) x; f(x) dx = lim i=1

n f(x i ) x. i=1 In section 4.2, we defined the definite integral of f from x = a to x = b as n f(x i ) x; f(x) dx = lim i=1 The Fundmentl Theorem of Clculus As we continue to study the re problem, let s think bck to wht we know bout computing res of regions enclosed by curves. If we wnt to find the re of the region below the

More information

FABER Formal Languages, Automata and Models of Computation

FABER Formal Languages, Automata and Models of Computation DVA337 FABER Forml Lnguges, Automt nd Models of Computtion Lecture 5 chool of Innovtion, Design nd Engineering Mälrdlen University 2015 1 Recp of lecture 4 y definition suset construction DFA NFA stte

More information

Properties of Integrals, Indefinite Integrals. Goals: Definition of the Definite Integral Integral Calculations using Antiderivatives

Properties of Integrals, Indefinite Integrals. Goals: Definition of the Definite Integral Integral Calculations using Antiderivatives Block #6: Properties of Integrls, Indefinite Integrls Gols: Definition of the Definite Integrl Integrl Clcultions using Antiderivtives Properties of Integrls The Indefinite Integrl 1 Riemnn Sums - 1 Riemnn

More information

Unit #9 : Definite Integral Properties; Fundamental Theorem of Calculus

Unit #9 : Definite Integral Properties; Fundamental Theorem of Calculus Unit #9 : Definite Integrl Properties; Fundmentl Theorem of Clculus Gols: Identify properties of definite integrls Define odd nd even functions, nd reltionship to integrl vlues Introduce the Fundmentl

More information

Recitation 3: More Applications of the Derivative

Recitation 3: More Applications of the Derivative Mth 1c TA: Pdric Brtlett Recittion 3: More Applictions of the Derivtive Week 3 Cltech 2012 1 Rndom Question Question 1 A grph consists of the following: A set V of vertices. A set E of edges where ech

More information

The graphs of Rational Functions

The graphs of Rational Functions Lecture 4 5A: The its of Rtionl Functions s x nd s x + The grphs of Rtionl Functions The grphs of rtionl functions hve severl differences compred to power functions. One of the differences is the behvior

More information

Math 61CM - Solutions to homework 9

Math 61CM - Solutions to homework 9 Mth 61CM - Solutions to homework 9 Cédric De Groote November 30 th, 2018 Problem 1: Recll tht the left limit of function f t point c is defined s follows: lim f(x) = l x c if for ny > 0 there exists δ

More information

We will see what is meant by standard form very shortly

We will see what is meant by standard form very shortly THEOREM: For fesible liner progrm in its stndrd form, the optimum vlue of the objective over its nonempty fesible region is () either unbounded or (b) is chievble t lest t one extreme point of the fesible

More information

Normal Distribution. Lecture 6: More Binomial Distribution. Properties of the Unit Normal Distribution. Unit Normal Distribution

Normal Distribution. Lecture 6: More Binomial Distribution. Properties of the Unit Normal Distribution. Unit Normal Distribution Norml Distribution Lecture 6: More Binomil Distribution If X is rndom vrible with norml distribution with men µ nd vrince σ 2, X N (µ, σ 2, then P(X = x = f (x = 1 e 1 (x µ 2 2 σ 2 σ Sttistics 104 Colin

More information

Review of Calculus, cont d

Review of Calculus, cont d Jim Lmbers MAT 460 Fll Semester 2009-10 Lecture 3 Notes These notes correspond to Section 1.1 in the text. Review of Clculus, cont d Riemnn Sums nd the Definite Integrl There re mny cses in which some

More information

Improper Integrals. Type I Improper Integrals How do we evaluate an integral such as

Improper Integrals. Type I Improper Integrals How do we evaluate an integral such as Improper Integrls Two different types of integrls cn qulify s improper. The first type of improper integrl (which we will refer to s Type I) involves evluting n integrl over n infinite region. In the grph

More information

5.2 Exponent Properties Involving Quotients

5.2 Exponent Properties Involving Quotients 5. Eponent Properties Involving Quotients Lerning Objectives Use the quotient of powers property. Use the power of quotient property. Simplify epressions involving quotient properties of eponents. Use

More information

Lecture 3 ( ) (translated and slightly adapted from lecture notes by Martin Klazar)

Lecture 3 ( ) (translated and slightly adapted from lecture notes by Martin Klazar) Lecture 3 (5.3.2018) (trnslted nd slightly dpted from lecture notes by Mrtin Klzr) Riemnn integrl Now we define precisely the concept of the re, in prticulr, the re of figure U(, b, f) under the grph of

More information

Overview of Calculus I

Overview of Calculus I Overview of Clculus I Prof. Jim Swift Northern Arizon University There re three key concepts in clculus: The limit, the derivtive, nd the integrl. You need to understnd the definitions of these three things,

More information

1.4 Nonregular Languages

1.4 Nonregular Languages 74 1.4 Nonregulr Lnguges The number of forml lnguges over ny lphbet (= decision/recognition problems) is uncountble On the other hnd, the number of regulr expressions (= strings) is countble Hence, ll

More information

f(x) dx, If one of these two conditions is not met, we call the integral improper. Our usual definition for the value for the definite integral

f(x) dx, If one of these two conditions is not met, we call the integral improper. Our usual definition for the value for the definite integral Improper Integrls Every time tht we hve evluted definite integrl such s f(x) dx, we hve mde two implicit ssumptions bout the integrl:. The intervl [, b] is finite, nd. f(x) is continuous on [, b]. If one

More information

CMDA 4604: Intermediate Topics in Mathematical Modeling Lecture 19: Interpolation and Quadrature

CMDA 4604: Intermediate Topics in Mathematical Modeling Lecture 19: Interpolation and Quadrature CMDA 4604: Intermedite Topics in Mthemticl Modeling Lecture 19: Interpoltion nd Qudrture In this lecture we mke brief diversion into the res of interpoltion nd qudrture. Given function f C[, b], we sy

More information

Intro to Nuclear and Particle Physics (5110)

Intro to Nuclear and Particle Physics (5110) Intro to Nucler nd Prticle Physics (5110) Feb, 009 The Nucler Mss Spectrum The Liquid Drop Model //009 1 E(MeV) n n(n-1)/ E/[ n(n-1)/] (MeV/pir) 1 C 16 O 0 Ne 4 Mg 7.7 14.44 19.17 8.48 4 5 6 6 10 15.4.41

More information

Is there an easy way to find examples of such triples? Why yes! Just look at an ordinary multiplication table to find them!

Is there an easy way to find examples of such triples? Why yes! Just look at an ordinary multiplication table to find them! PUSHING PYTHAGORAS 009 Jmes Tnton A triple of integers ( bc,, ) is clled Pythgoren triple if exmple, some clssic triples re ( 3,4,5 ), ( 5,1,13 ), ( ) fond of ( 0,1,9 ) nd ( 119,10,169 ). + b = c. For

More information

Alignment of Long Sequences. BMI/CS Spring 2016 Anthony Gitter

Alignment of Long Sequences. BMI/CS Spring 2016 Anthony Gitter Alignment of Long Sequences BMI/CS 776 www.biostt.wisc.edu/bmi776/ Spring 2016 Anthony Gitter gitter@biostt.wisc.edu Gols for Lecture Key concepts how lrge-scle lignment differs from the simple cse the

More information

First Midterm Examination

First Midterm Examination 24-25 Fll Semester First Midterm Exmintion ) Give the stte digrm of DFA tht recognizes the lnguge A over lphet Σ = {, } where A = {w w contins or } 2) The following DFA recognizes the lnguge B over lphet

More information

Math 1B, lecture 4: Error bounds for numerical methods

Math 1B, lecture 4: Error bounds for numerical methods Mth B, lecture 4: Error bounds for numericl methods Nthn Pflueger 4 September 0 Introduction The five numericl methods descried in the previous lecture ll operte by the sme principle: they pproximte the

More information

a n = 1 58 a n+1 1 = 57a n + 1 a n = 56(a n 1) 57 so 0 a n+1 1, and the required result is true, by induction.

a n = 1 58 a n+1 1 = 57a n + 1 a n = 56(a n 1) 57 so 0 a n+1 1, and the required result is true, by induction. MAS221(216-17) Exm Solutions 1. (i) A is () bounded bove if there exists K R so tht K for ll A ; (b) it is bounded below if there exists L R so tht L for ll A. e.g. the set { n; n N} is bounded bove (by

More information

An Efficient Algorithm for Easy-First Non-Directional Dependency Parsing

An Efficient Algorithm for Easy-First Non-Directional Dependency Parsing An Efficient Algorithm for Esy-First Non-Directionl Dependency Prsing Yov Goldberg nd Michel Elhdd Ben Gurion University of the Negev Deprtment of Computer Science POB 653 Be er Shev, 84105, Isrel {yovg

More information

4 7x =250; 5 3x =500; Read section 3.3, 3.4 Announcements: Bell Ringer: Use your calculator to solve

4 7x =250; 5 3x =500; Read section 3.3, 3.4 Announcements: Bell Ringer: Use your calculator to solve Dte: 3/14/13 Objective: SWBAT pply properties of exponentil functions nd will pply properties of rithms. Bell Ringer: Use your clcultor to solve 4 7x =250; 5 3x =500; HW Requests: Properties of Log Equtions

More information

Non-Deterministic Finite Automata. Fall 2018 Costas Busch - RPI 1

Non-Deterministic Finite Automata. Fall 2018 Costas Busch - RPI 1 Non-Deterministic Finite Automt Fll 2018 Costs Busch - RPI 1 Nondeterministic Finite Automton (NFA) Alphbet ={} q q2 1 q 0 q 3 Fll 2018 Costs Busch - RPI 2 Nondeterministic Finite Automton (NFA) Alphbet

More information

ODE: Existence and Uniqueness of a Solution

ODE: Existence and Uniqueness of a Solution Mth 22 Fll 213 Jerry Kzdn ODE: Existence nd Uniqueness of Solution The Fundmentl Theorem of Clculus tells us how to solve the ordinry differentil eqution (ODE) du = f(t) dt with initil condition u() =

More information

Abstract inner product spaces

Abstract inner product spaces WEEK 4 Abstrct inner product spces Definition An inner product spce is vector spce V over the rel field R equipped with rule for multiplying vectors, such tht the product of two vectors is sclr, nd the

More information

( dg. ) 2 dt. + dt. dt j + dh. + dt. r(t) dt. Comparing this equation with the one listed above for the length of see that

( dg. ) 2 dt. + dt. dt j + dh. + dt. r(t) dt. Comparing this equation with the one listed above for the length of see that Arc Length of Curves in Three Dimensionl Spce If the vector function r(t) f(t) i + g(t) j + h(t) k trces out the curve C s t vries, we cn mesure distnces long C using formul nerly identicl to one tht we

More information

Section 14.3 Arc Length and Curvature

Section 14.3 Arc Length and Curvature Section 4.3 Arc Length nd Curvture Clculus on Curves in Spce In this section, we ly the foundtions for describing the movement of n object in spce.. Vector Function Bsics In Clc, formul for rc length in

More information

Formal Languages Simplifications of CFGs

Formal Languages Simplifications of CFGs Forml Lnguges implifictions of CFGs ubstitution Rule Equivlent grmmr b bc ubstitute b bc bbc b 2 ubstitution Rule b bc bbc ubstitute b bc bbc bc Equivlent grmmr 3 In generl: xz y 1 ubstitute y 1 xz xy1z

More information

AQA Further Pure 1. Complex Numbers. Section 1: Introduction to Complex Numbers. The number system

AQA Further Pure 1. Complex Numbers. Section 1: Introduction to Complex Numbers. The number system Complex Numbers Section 1: Introduction to Complex Numbers Notes nd Exmples These notes contin subsections on The number system Adding nd subtrcting complex numbers Multiplying complex numbers Complex

More information

Week 10: Line Integrals

Week 10: Line Integrals Week 10: Line Integrls Introduction In this finl week we return to prmetrised curves nd consider integrtion long such curves. We lredy sw this in Week 2 when we integrted long curve to find its length.

More information

Anatomy of a Deterministic Finite Automaton. Deterministic Finite Automata. A machine so simple that you can understand it in less than one minute

Anatomy of a Deterministic Finite Automaton. Deterministic Finite Automata. A machine so simple that you can understand it in less than one minute Victor Admchik Dnny Sletor Gret Theoreticl Ides In Computer Science CS 5-25 Spring 2 Lecture 2 Mr 3, 2 Crnegie Mellon University Deterministic Finite Automt Finite Automt A mchine so simple tht you cn

More information

Jonathan Mugan. July 15, 2013

Jonathan Mugan. July 15, 2013 Jonthn Mugn July 15, 2013 Imgine rt in Skinner box. The rt cn see screen of imges, nd dot in the lower-right corner determines if there will be shock. Bottom-up methods my not find this dot, but top-down

More information

A recursive construction of efficiently decodable list-disjunct matrices

A recursive construction of efficiently decodable list-disjunct matrices CSE 709: Compressed Sensing nd Group Testing. Prt I Lecturers: Hung Q. Ngo nd Atri Rudr SUNY t Bufflo, Fll 2011 Lst updte: October 13, 2011 A recursive construction of efficiently decodble list-disjunct

More information

SOLUTIONS FOR ADMISSIONS TEST IN MATHEMATICS, COMPUTER SCIENCE AND JOINT SCHOOLS WEDNESDAY 5 NOVEMBER 2014

SOLUTIONS FOR ADMISSIONS TEST IN MATHEMATICS, COMPUTER SCIENCE AND JOINT SCHOOLS WEDNESDAY 5 NOVEMBER 2014 SOLUTIONS FOR ADMISSIONS TEST IN MATHEMATICS, COMPUTER SCIENCE AND JOINT SCHOOLS WEDNESDAY 5 NOVEMBER 014 Mrk Scheme: Ech prt of Question 1 is worth four mrks which re wrded solely for the correct nswer.

More information

LECTURE NOTE #12 PROF. ALAN YUILLE

LECTURE NOTE #12 PROF. ALAN YUILLE LECTURE NOTE #12 PROF. ALAN YUILLE 1. Clustering, K-mens, nd EM Tsk: set of unlbeled dt D = {x 1,..., x n } Decompose into clsses w 1,..., w M where M is unknown. Lern clss models p(x w)) Discovery of

More information

We partition C into n small arcs by forming a partition of [a, b] by picking s i as follows: a = s 0 < s 1 < < s n = b.

We partition C into n small arcs by forming a partition of [a, b] by picking s i as follows: a = s 0 < s 1 < < s n = b. Mth 255 - Vector lculus II Notes 4.2 Pth nd Line Integrls We begin with discussion of pth integrls (the book clls them sclr line integrls). We will do this for function of two vribles, but these ides cn

More information

Bellman Optimality Equation for V*

Bellman Optimality Equation for V* Bellmn Optimlity Eqution for V* The vlue of stte under n optiml policy must equl the expected return for the best ction from tht stte: V (s) mx Q (s,) A(s) mx A(s) mx A(s) Er t 1 V (s t 1 ) s t s, t s

More information

Riemann Sums and Riemann Integrals

Riemann Sums and Riemann Integrals Riemnn Sums nd Riemnn Integrls Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University August 26, 203 Outline Riemnn Sums Riemnn Integrls Properties Abstrct

More information

Kleene s Theorem. Kleene s Theorem. Kleene s Theorem. Kleene s Theorem. Kleene s Theorem. Kleene s Theorem 2/16/15

Kleene s Theorem. Kleene s Theorem. Kleene s Theorem. Kleene s Theorem. Kleene s Theorem. Kleene s Theorem 2/16/15 Models of Comput:on Lecture #8 Chpter 7 con:nued Any lnguge tht e defined y regulr expression, finite utomton, or trnsi:on grph cn e defined y ll three methods We prove this y showing tht ny lnguge defined

More information

Definition of Continuity: The function f(x) is continuous at x = a if f(a) exists and lim

Definition of Continuity: The function f(x) is continuous at x = a if f(a) exists and lim Mth 9 Course Summry/Study Guide Fll, 2005 [1] Limits Definition of Limit: We sy tht L is the limit of f(x) s x pproches if f(x) gets closer nd closer to L s x gets closer nd closer to. We write lim f(x)

More information

Example Sheet 6. Infinite and Improper Integrals

Example Sheet 6. Infinite and Improper Integrals Sivkumr Exmple Sheet 6 Infinite nd Improper Integrls MATH 5H Mteril presented here is extrcted from Stewrt s text s well s from R. G. Brtle s The elements of rel nlysis. Infinite Integrls: These integrls

More information

Natural Language Processing

Natural Language Processing Natural Language Processing Global linear models Based on slides from Michael Collins Globally-normalized models Why do we decompose to a sequence of decisions? Can we directly estimate the probability

More information

For convenience, we rewrite m2 s m2 = m m m ; where m is repeted m times. Since xyz = m m m nd jxyj»m, we hve tht the string y is substring of the fir

For convenience, we rewrite m2 s m2 = m m m ; where m is repeted m times. Since xyz = m m m nd jxyj»m, we hve tht the string y is substring of the fir CSCI 2400 Models of Computtion, Section 3 Solutions to Homework 4 Problem 1. ll the solutions below refer to the Pumping Lemm of Theorem 4.8, pge 119. () L = f n b l k : k n + lg Let's ssume for contrdiction

More information

Math 231E, Lecture 33. Parametric Calculus

Math 231E, Lecture 33. Parametric Calculus Mth 31E, Lecture 33. Prmetric Clculus 1 Derivtives 1.1 First derivtive Now, let us sy tht we wnt the slope t point on prmetric curve. Recll the chin rule: which exists s long s /. = / / Exmple 1.1. Reconsider

More information

Lecture 20: Numerical Integration III

Lecture 20: Numerical Integration III cs4: introduction to numericl nlysis /8/0 Lecture 0: Numericl Integrtion III Instructor: Professor Amos Ron Scribes: Mrk Cowlishw, Yunpeng Li, Nthnel Fillmore For the lst few lectures we hve discussed

More information

5.1 Definitions and Examples 5.2 Deterministic Pushdown Automata

5.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 information

Lecture 3. Limits of Functions and Continuity

Lecture 3. Limits of Functions and Continuity Lecture 3 Limits of Functions nd Continuity Audrey Terrs April 26, 21 1 Limits of Functions Notes I m skipping the lst section of Chpter 6 of Lng; the section bout open nd closed sets We cn probbly live

More information

NFAs and Regular Expressions. NFA-ε, continued. Recall. Last class: Today: Fun:

NFAs and Regular Expressions. NFA-ε, continued. Recall. Last class: Today: Fun: CMPU 240 Lnguge Theory nd Computtion Spring 2019 NFAs nd Regulr Expressions Lst clss: Introduced nondeterministic finite utomt with -trnsitions Tody: Prove n NFA- is no more powerful thn n NFA Introduce

More information

13.4. Integration by Parts. Introduction. Prerequisites. Learning Outcomes

13.4. Integration by Parts. Introduction. Prerequisites. Learning Outcomes Integrtion by Prts 13.4 Introduction Integrtion by Prts is technique for integrting products of functions. In this Section you will lern to recognise when it is pproprite to use the technique nd hve the

More information

Solution for Assignment 1 : Intro to Probability and Statistics, PAC learning

Solution for Assignment 1 : Intro to Probability and Statistics, PAC learning Solution for Assignment 1 : Intro to Probbility nd Sttistics, PAC lerning 10-701/15-781: Mchine Lerning (Fll 004) Due: Sept. 30th 004, Thursdy, Strt of clss Question 1. Bsic Probbility ( 18 pts) 1.1 (

More information

ROB EBY Blinn College Mathematics Department

ROB EBY Blinn College Mathematics Department ROB EBY Blinn College Mthemtics Deprtment Mthemtics Deprtment 5.1, 5.2 Are, Definite Integrls MATH 2413 Rob Eby-Fll 26 Weknowthtwhengiventhedistncefunction, wecnfindthevelocitytnypointbyfindingthederivtiveorinstntneous

More information

Nondeterminism and Nodeterministic Automata

Nondeterminism 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 information

Chapter 11. Sequence and Series

Chapter 11. Sequence and Series Chpter 11 Sequence nd Series Lesson 11-1 Mthemticl Ptterns Sequence A sequence is n ordered list of numbers clled terms. Exmple Pge 591, #2 Describe ech pttern formed. Find the next three terms 4,8,16,32,64,...

More information

KNOWLEDGE-BASED AGENTS INFERENCE

KNOWLEDGE-BASED AGENTS INFERENCE AGENTS THAT REASON LOGICALLY KNOWLEDGE-BASED AGENTS Two components: knowledge bse, nd n inference engine. Declrtive pproch to building n gent. We tell it wht it needs to know, nd It cn sk itself wht to

More information

Hidden Markov Models

Hidden Markov Models Hidden Mrkov Models Huptseminr Mchine Lerning 18.11.2003 Referent: Nikols Dörfler 1 Overview Mrkov Models Hidden Mrkov Models Types of Hidden Mrkov Models Applictions using HMMs Three centrl problems:

More information

Chapters 4 & 5 Integrals & Applications

Chapters 4 & 5 Integrals & Applications Contents Chpters 4 & 5 Integrls & Applictions Motivtion to Chpters 4 & 5 2 Chpter 4 3 Ares nd Distnces 3. VIDEO - Ares Under Functions............................................ 3.2 VIDEO - Applictions

More information

Where did dynamic programming come from?

Where 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/1526-5463-2002-50-01-0048.pdf

More information

State space systems analysis (continued) Stability. A. Definitions A system is said to be Asymptotically Stable (AS) when it satisfies

State 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 information

Physics 116C Solution of inhomogeneous ordinary differential equations using Green s functions

Physics 116C Solution of inhomogeneous ordinary differential equations using Green s functions Physics 6C Solution of inhomogeneous ordinry differentil equtions using Green s functions Peter Young November 5, 29 Homogeneous Equtions We hve studied, especilly in long HW problem, second order liner

More information

Chapter 14. Matrix Representations of Linear Transformations

Chapter 14. Matrix Representations of Linear Transformations Chpter 4 Mtrix Representtions of Liner Trnsformtions When considering the Het Stte Evolution, we found tht we could describe this process using multipliction by mtrix. This ws nice becuse computers cn

More information

Reinforcement learning II

Reinforcement learning II CS 1675 Introduction to Mchine Lerning Lecture 26 Reinforcement lerning II Milos Huskrecht milos@cs.pitt.edu 5329 Sennott Squre Reinforcement lerning Bsics: Input x Lerner Output Reinforcement r Critic

More information

q 2 in δ 2. [4: 1 mark q 1 in δ 1 and q 2 and (q 1, q 2 ) (q 1, q 2) whenever q 1 for each component] (b) The resulting DFA:

q 2 in δ 2. [4: 1 mark q 1 in δ 1 and q 2 and (q 1, q 2 ) (q 1, q 2) whenever q 1 for each component] (b) The resulting DFA: Module Title: Informtics 2A Exm Diet (Dec/April/Aug): Aug 2015 Brief notes on nswers: 1. () Lexing: The input is progrm text [1].The output is strem of lexemes pired with their lexicl clsses [1]. For exmple

More information

CMSC 330: Organization of Programming Languages. DFAs, and NFAs, and Regexps (Oh my!)

CMSC 330: Organization of Programming Languages. DFAs, and NFAs, and Regexps (Oh my!) CMSC 330: Orgniztion of Progrmming Lnguges DFAs, nd NFAs, nd Regexps (Oh my!) CMSC330 Spring 2018 Types of Finite Automt Deterministic Finite Automt (DFA) Exctly one sequence of steps for ech string All

More information

Chapter 9: Inferences based on Two samples: Confidence intervals and tests of hypotheses

Chapter 9: Inferences based on Two samples: Confidence intervals and tests of hypotheses Chpter 9: Inferences bsed on Two smples: Confidence intervls nd tests of hypotheses 9.1 The trget prmeter : difference between two popultion mens : difference between two popultion proportions : rtio of

More information

Advanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004

Advanced Calculus: MATH 410 Notes on Integrals and Integrability Professor David Levermore 17 October 2004 Advnced Clculus: MATH 410 Notes on Integrls nd Integrbility Professor Dvid Levermore 17 October 2004 1. Definite Integrls In this section we revisit the definite integrl tht you were introduced to when

More information

Intermediate Math Circles Wednesday, November 14, 2018 Finite Automata II. Nickolas Rollick a b b. a b 4

Intermediate 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 information

CS5371 Theory of Computation. Lecture 20: Complexity V (Polynomial-Time Reducibility)

CS5371 Theory of Computation. Lecture 20: Complexity V (Polynomial-Time Reducibility) CS5371 Theory of Computtion Lecture 20: Complexity V (Polynomil-Time Reducibility) Objectives Polynomil Time Reducibility Prove Cook-Levin Theorem Polynomil Time Reducibility Previously, we lernt tht if

More information

1 Linear Least Squares

1 Linear Least Squares Lest Squres Pge 1 1 Liner Lest Squres I will try to be consistent in nottion, with n being the number of dt points, nd m < n being the number of prmeters in model function. We re interested in solving

More information

New data structures to reduce data size and search time

New data structures to reduce data size and search time New dt structures to reduce dt size nd serch time Tsuneo Kuwbr Deprtment of Informtion Sciences, Fculty of Science, Kngw University, Hirtsuk-shi, Jpn FIT2018 1D-1, No2, pp1-4 Copyright (c)2018 by The Institute

More information

The Fundamental Theorem of Calculus. The Total Change Theorem and the Area Under a Curve.

The Fundamental Theorem of Calculus. The Total Change Theorem and the Area Under a Curve. Clculus Li Vs The Fundmentl Theorem of Clculus. The Totl Chnge Theorem nd the Are Under Curve. Recll the following fct from Clculus course. If continuous function f(x) represents the rte of chnge of F

More information

CS 188: Artificial Intelligence Spring 2007

CS 188: Artificial Intelligence Spring 2007 CS 188: Artificil Intelligence Spring 2007 Lecture 3: Queue-Bsed Serch 1/23/2007 Srini Nrynn UC Berkeley Mny slides over the course dpted from Dn Klein, Sturt Russell or Andrew Moore Announcements Assignment

More information

Read section 3.3, 3.4 Announcements:

Read section 3.3, 3.4 Announcements: Dte: 3/1/13 Objective: SWBAT pply properties of exponentil functions nd will pply properties of rithms. Bell Ringer: 1. f x = 3x 6, find the inverse, f 1 x., Using your grphing clcultor, Grph 1. f x,f

More information

Riemann Sums and Riemann Integrals

Riemann Sums and Riemann Integrals Riemnn Sums nd Riemnn Integrls Jmes K. Peterson Deprtment of Biologicl Sciences nd Deprtment of Mthemticl Sciences Clemson University August 26, 2013 Outline 1 Riemnn Sums 2 Riemnn Integrls 3 Properties

More information

Generalized Fano and non-fano networks

Generalized Fano and non-fano networks Generlized Fno nd non-fno networks Nildri Ds nd Brijesh Kumr Ri Deprtment of Electronics nd Electricl Engineering Indin Institute of Technology Guwhti, Guwhti, Assm, Indi Emil: {d.nildri, bkri}@iitg.ernet.in

More information

CS:4330 Theory of Computation Spring Regular Languages. Equivalences between Finite automata and REs. Haniel Barbosa

CS:4330 Theory of Computation Spring Regular Languages. Equivalences between Finite automata and REs. Haniel Barbosa CS:4330 Theory of Computtion Spring 208 Regulr Lnguges Equivlences between Finite utomt nd REs Hniel Brbos Redings for this lecture Chpter of [Sipser 996], 3rd edition. Section.3. Finite utomt nd regulr

More information

The final exam will take place on Friday May 11th from 8am 11am in Evans room 60.

The 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 information

CS 188 Introduction to Artificial Intelligence Fall 2018 Note 7

CS 188 Introduction to Artificial Intelligence Fall 2018 Note 7 CS 188 Introduction to Artificil Intelligence Fll 2018 Note 7 These lecture notes re hevily bsed on notes originlly written by Nikhil Shrm. Decision Networks In the third note, we lerned bout gme trees

More information

Graph Theory. Dr. Saad El-Zanati, Faculty Mentor Ryan Bunge Graduate Assistant Illinois State University REU. Graph Theory

Graph Theory. Dr. Saad El-Zanati, Faculty Mentor Ryan Bunge Graduate Assistant Illinois State University REU. Graph Theory Grph Theory Gibson, Ngel, Stnley, Zle Specil Types of Bckground Motivtion Grph Theory Dniel Gibson, Concordi University Jckelyn Ngel, Dominicn University Benjmin Stnley, New Mexico Stte University Allison

More information

CS 275 Automata and Formal Language Theory

CS 275 Automata and Formal Language Theory CS 275 utomt nd Forml Lnguge Theory Course Notes Prt II: The Recognition Prolem (II) Chpter II.5.: Properties of Context Free Grmmrs (14) nton Setzer (Bsed on ook drft y J. V. Tucker nd K. Stephenson)

More information

NFAs continued, Closure Properties of Regular Languages

NFAs continued, Closure Properties of Regular Languages Algorithms & Models of Computtion CS/ECE 374, Fll 2017 NFAs continued, Closure Properties of Regulr Lnguges Lecture 5 Tuesdy, Septemer 12, 2017 Sriel Hr-Peled (UIUC) CS374 1 Fll 2017 1 / 31 Regulr Lnguges,

More information

Closure Properties of Regular Languages

Closure Properties of Regular Languages Closure Properties of Regulr Lnguges Regulr lnguges re closed under mny set opertions. Let L 1 nd L 2 e regulr lnguges. (1) L 1 L 2 (the union) is regulr. (2) L 1 L 2 (the conctention) is regulr. (3) L

More information

MORE FUNCTION GRAPHING; OPTIMIZATION. (Last edited October 28, 2013 at 11:09pm.)

MORE FUNCTION GRAPHING; OPTIMIZATION. (Last edited October 28, 2013 at 11:09pm.) MORE FUNCTION GRAPHING; OPTIMIZATION FRI, OCT 25, 203 (Lst edited October 28, 203 t :09pm.) Exercise. Let n be n rbitrry positive integer. Give n exmple of function with exctly n verticl symptotes. Give

More information

UNIFORM CONVERGENCE. Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3

UNIFORM CONVERGENCE. Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3 UNIFORM CONVERGENCE Contents 1. Uniform Convergence 1 2. Properties of uniform convergence 3 Suppose f n : Ω R or f n : Ω C is sequence of rel or complex functions, nd f n f s n in some sense. Furthermore,

More information

Bases for Vector Spaces

Bases for Vector Spaces Bses for Vector Spces 2-26-25 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 information

CS415 Compilers. Lexical Analysis and. These slides are based on slides copyrighted by Keith Cooper, Ken Kennedy & Linda Torczon at Rice University

CS415 Compilers. Lexical Analysis and. These slides are based on slides copyrighted by Keith Cooper, Ken Kennedy & Linda Torczon at Rice University CS415 Compilers Lexicl Anlysis nd These slides re sed on slides copyrighted y Keith Cooper, Ken Kennedy & Lind Torczon t Rice University First Progrmming Project Instruction Scheduling Project hs een posted

More information

1.3 Regular Expressions

1.3 Regular Expressions 56 1.3 Regulr xpressions These hve n importnt role in describing ptterns in serching for strings in mny pplictions (e.g. wk, grep, Perl,...) All regulr expressions of lphbet re 1.Ønd re regulr expressions,

More information

ACCESS TO SCIENCE, ENGINEERING AND AGRICULTURE: MATHEMATICS 1 MATH00030 SEMESTER /2019

ACCESS TO SCIENCE, ENGINEERING AND AGRICULTURE: MATHEMATICS 1 MATH00030 SEMESTER /2019 ACCESS TO SCIENCE, ENGINEERING AND AGRICULTURE: MATHEMATICS MATH00030 SEMESTER 208/209 DR. ANTHONY BROWN 7.. Introduction to Integrtion. 7. Integrl Clculus As ws the cse with the chpter on differentil

More information

7.2 The Definite Integral

7.2 The Definite Integral 7.2 The Definite Integrl the definite integrl In the previous section, it ws found tht if function f is continuous nd nonnegtive, then the re under the grph of f on [, b] is given by F (b) F (), where

More information

Nondeterminism. Nondeterministic Finite Automata. Example: Moves on a Chessboard. Nondeterminism (2) Example: Chessboard (2) Formal NFA

Nondeterminism. 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 information

Here we study square linear systems and properties of their coefficient matrices as they relate to the solution set of the linear system.

Here we study square linear systems and properties of their coefficient matrices as they relate to the solution set of the linear system. Section 24 Nonsingulr Liner Systems Here we study squre liner systems nd properties of their coefficient mtrices s they relte to the solution set of the liner system Let A be n n Then we know from previous

More information

CSE : Exam 3-ANSWERS, Spring 2011 Time: 50 minutes

CSE : Exam 3-ANSWERS, Spring 2011 Time: 50 minutes CSE 260-002: Exm 3-ANSWERS, 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 information

Introduction to Group Theory

Introduction to Group Theory Introduction to Group Theory Let G be n rbitrry set of elements, typiclly denoted s, b, c,, tht is, let G = {, b, c, }. A binry opertion in G is rule tht ssocites with ech ordered pir (,b) of elements

More information

Orthogonal Polynomials

Orthogonal Polynomials Mth 4401 Gussin Qudrture Pge 1 Orthogonl Polynomils Orthogonl polynomils rise from series solutions to differentil equtions, lthough they cn be rrived t in vriety of different mnners. Orthogonl polynomils

More information