Formal Languages The Pumping Lemma for CFLs
|
|
- Domenic Harrell
- 5 years ago
- Views:
Transcription
1 Forl Lguges The Pupig Le for CFLs
2 Review: pupig le for regulr lguges
3 Tke ifiite cotext-free lguge Geertes ifiite uer of differet strigs Exple: 3
4 I derivtio of log strig, vriles re repeted derivtio: 4
5 Derivtio tree strig 5
6 Derivtio tree strig repeted 6
7 * 7
8 Repeted Prt * 8
9 other possile derivtio fro * * * 9
10 * * ( ) ( ) ( ) ( ) * 10
11 Derivtio fro * * * 11
12 * * * 0 ( ) ( ) 0 1
13 * * * 0 ( ) ( ) 0 ( ) 0 ( ) 0 L( G) 13
14 Derivtio fro * * * 14
15 * * * * 15
16 16 * * ) ( ) ( ) ( ) ( * *
17 17 * * ) ( ) ( ) ( ) ( * *
18 * * * ( ) ( ) ( ) ( ) L( G) 18
19 Derivtio fro * * * ( ) ( ) 19
20 0 3 3 * * ) ( ) ( ) ( ) ( * *
21 * ) ( ) ( ) ( ) ( * *
22 * * * 3 ( ) ( ) 3 ( ) 3 ( ) 3 L( G)
23 I Geerl: * * * ( ) i ( ) i i ( ) ( ) L( G) i i 0 3
24 Cosider ow ifiite cotext-free lguge L Let G e the grr of L {} Tke G so tht it hs o uit-productios o -productios 4
25 Let p = (Nuer of productios) x (Lrgest right side of productio) Let p 1 Exple : G p 43 1 p 113 5
26 Tke strig with legth wl(g) w We will show: i the derivtio of w vrile of is repeted G 6
27 * w v 1 v v k w v 1 7
28 v 1 v v k w vi vi 1 f xiu right hd side of y productio w k f w k f p k f 8
29 v 1 v v k w p k f k p f Nuer of productios i grr 9
30 30 Nuer of productios i grr k oe productio ust e repeted w v v v k 1 1 r r r Repeted vrile w v
31 w L(G) w Derivtio of strig w 1 34 w oe vrile is repeted 31
32 Derivtio tree of strig w u Lst repeted vrile w uvxy v repeted y u, v, x, y, : trigs of terils x 3
33 Possile derivtios: u u vy v y x x 33
34 We kow: u vy x This strig is lso geerted: u * ux uv 0 xy 0 34
35 We kow: u vy x This strig is lso geerted: * uuvyuvxy * The origil w uv 1 xy 1 35
36 We kow: u vy x This strig is lso geerted: * * uuvyuvvyy uvvxyy * uv xy 36
37 We kow: u vy x This strig is lso geerted: * u uvy * uvvyy uvvvyyyuvvvxyyy uv * 3 xy 3 * 37
38 We kow: u vy x This strig is lso geerted: * u uvy uvvvyyy * * * * * uvvvvyyyy * uvvvvxy yyy uvvyy * * uv i xy i 38
39 Therefore, y strig of the for uv i xy i i 0 is geerted y the grr G 39
40 Therefore, kowig tht uvxy L(G) i i we lso kow tht uv xy L(G) L( G) L { } uv i xy i L 40
41 u v y x Oservtio: vxy ice is the lst repeted vrile 41
42 u v y Oservtio: x vy 1 ice there re o uit or -productios 4
43 The Pupig Le: For ifiite cotext-free lguge L there exists iteger such tht for y strig we c write w L, w w uvxy with legths vxy d vy 1 d it ust e: uv i xy i L, for ll i 0 43
44 pplictios of The Pupig Le 44
45 No-cotext free lguges { c : 0} Cotext-free lguges { : 0} 45
46 Theore: The lguge L { c : 0} is ot cotext free Proof: Use the Pupig Le for cotext-free lguges 46
47 L { c : 0} ssue for cotrdictio tht is cotext-free L ice L is cotext-free d ifiite we c pply the pupig le 47
48 L { c : 0} Pupig Le gives gic uer such tht: Pick y strig w L with legth w We pick: w c 48
49 L { c : 0} w c We c write: w uvxy with legths vxy vy 1 d 49
50 L { c : 0} w c w uvxy vxy vy 1 Pupig Le sys: uv i xy i L for ll i 0 50
51 L { c : 0} w c w uvxy vxy vy 1 We exie ll the possile loctios of strig vxy i w 51
52 L { c : 0} w c w uvxy vxy vy 1 Cse 1: vxy is withi ccc... ccc u vxy 5
53 L { c : 0} w c w uvxy vxy vy 1 Cse 1: v d y oly coti ccc... ccc u vxy 53
54 L { c : 0} w c w uvxy vxy vy 1 Cse 1: Repetig v d y k 1 k ccc... ccc u xy v 54
55 L { c : 0} w c w uvxy vxy vy 1 Cse 1: Fro Pupig Le: uv xy L k 1 k ccc... ccc u xy v 55
56 L { c : 0} w c w uvxy vxy vy 1 Cse 1: Fro Pupig Le: uv xy L k 1 However: uv xy k c L Cotrdictio!!! 56
57 L { c : 0} w c w uvxy vxy vy 1 Cse : vxy is withi ccc... ccc u vxy 57
58 L { c : 0} w c w uvxy vxy vy 1 Cse : e lysis s i cse ccc... ccc u vxy 58
59 L { c : 0} w c w uvxy vxy vy 1 Cse 3: vxy is withi c ccc... ccc u vxy 59
60 L { c : 0} w c w uvxy vxy vy 1 Cse 3: e lysis s i cse ccc... ccc u vxy 60
61 L { c : 0} w c w uvxy vxy vy 1 Cse 4: vxy overlps d ccc... ccc u vxy 61
62 L { c : 0} w c w uvxy vxy vy 1 Cse 4: ucse 1: v y cotis oly cotis oly ccc... ccc u vxy 6
63 L { c : 0} w c w uvxy vxy vy 1 Cse 4: ucse 1: k 1 k k 1 1 v y k cotis oly cotis oly ccc... ccc u xy v 63
64 L { c : 0} w c w uvxy vxy vy 1 Cse 4: Fro Pupig Le: uv xy L k 1 k k 1 1 k ccc... ccc u xy v 64
65 L { c : 0} w c w uvxy vxy vy 1 Cse 4: Fro Pupig Le: uv xy L k1 k 1 However: uv xy k1 k c L Cotrdictio!!! 65
66 L { c : 0} w c w uvxy vxy vy 1 Cse 4: ucse : v cotis d y oly cotis ccc... ccc u vxy 66
67 L { c : 0} w c w uvxy vxy vy 1 Cse 4: k1 k k v y ucse : cotis d oly cotis 1 k1 k k ccc... ccc u xy v 67
68 L { c : 0} w c w uvxy vxy vy 1 Cse 4: Fro Pupig Le: uv xy L k1 k k 1 k1 k k ccc... ccc u xy v 68
69 L { c : 0} w c w uvxy vxy vy 1 Cse 4: Fro Pupig Le: uv xy L However: k1 k k 1 uv xy k 1 k k c L Cotrdictio!!! 69
70 L { c : 0} w c w uvxy vxy vy 1 Cse 4: ucse 3: v y oly cotis cotis d ccc... ccc u vxy 70
71 L { c : 0} w c w uvxy vxy vy 1 Cse 4: ucse 3: v y oly cotis cotis d e lysis s for sucse 71
72 L { c : 0} w c w uvxy vxy vy 1 Cse 5: vxy overlps d c ccc... ccc u vxy 7
73 L { c : 0} w c w uvxy vxy vy 1 Cse 5: e lysis s i cse ccc... ccc u vxy 73
74 There re o other cses to cosider vxy (sice, strig cot vxy overlp, d c t the se tie) 74
75 I ll cses we otied cotrdictio Therefore: The origil ssuptio tht L { c : 0} is cotext-free ust e wrog Coclusio: L is ot cotext-free 75
Applications of Regular Closure
Applictios of Regulr Closure 1 The itersectio of cotext-free lguge d regulr lguge is cotext-free lguge L1 L2 cotext free regulr Regulr Closure L1 L 2 cotext-free 2 Liz 6 th, sectio 8.2, exple 8.7, pge
More informationCD5080 AUBER RECAPITULATION. Context-Free Languages. Models of Computation, Languages and Automata. S asb. S bsb
CD5080 AUBR RCAPIULAION Models of Coputtio, Lguges d Autot Leture 1 Cotext-ree Lguges, CL Pushdow Autot, PDA Pupig Le for CL eleted CL Proles Cotext-ree Lguges Mälrdle Uiversity 00 1 3 Cotext-ree Lguges
More informationReview of CFGs and Parsing I Context-free Languages and Grammars. Winter 2014 Costas Busch - RPI 1
Review of CFGs d Prsig I Cotext-free Lguges d Grmmrs Witer 2014 Costs Busch - RPI 1 Cotext-Free Lguges { b : { ww } 0} R Regulr Lguges *b* ( b) * Witer 2014 Costs Busch - RPI 2 Cotext-Free Lguges Cotext-Free
More informationContent. Languages, Alphabets and Strings. Operations on Strings. a ab abba baba. aaabbbaaba b 5. Languages. A language is a set of strings
CD5560 FABER Forml guges, Automt d Models of Computtio ecture Mälrdle Uiversity 006 Cotet guges, Alphets d Strigs Strigs & Strig Opertios guges & guge Opertios Regulr Expressios Fiite Automt, FA Determiistic
More informationNamely, for regular languages L1. Concatenation. Regular Languages. Star operation L 1. Complement. For regular language L the complement L is regular
CD5560 FABER For guges, Autot d Modes of Coputtio eture 5 Märde Uiversit 2003 Cotet More Properties of Regur guges (R) Stdrd Represettios of R Eeetr Questios out R No-Regur guges The Pigeohoe Priipe The
More informationMATH 118 HW 7 KELLY DOUGAN, ANDREW KOMAR, MARIA SIMBIRSKY, BRANDEN LASKE
MATH 118 HW 7 KELLY DOUGAN, ANDREW KOMAR, MARIA SIMBIRSKY, BRANDEN LASKE Prt 1. Let be odd rime d let Z such tht gcd(, 1. Show tht if is qudrtic residue mod, the is qudrtic residue mod for y ositive iteger.
More informationCourse Material. CS Lecture 1 Deterministic Finite Automata. Grading and Policies. Workload. Website:http://www.cs.colostate.
Course Mteril CS 301 - Lecture 1 Determiistic Fiite Automt Fll 2008 Wesite:http://www.cs.colostte.edu/~cs301 Syllus, Outlie, Grdig Policies Homework d Slides Istructor: D Mssey Office hours: 2-3pm Tues
More informationDiscrete Mathematics I Tutorial 12
Discrete Mthemtics I Tutoril Refer to Chpter 4., 4., 4.4. For ech of these sequeces fid recurrece reltio stisfied by this sequece. (The swers re ot uique becuse there re ifiitely my differet recurrece
More informationSequence and Series of Functions
6 Sequece d Series of Fuctios 6. Sequece of Fuctios 6.. Poitwise Covergece d Uiform Covergece Let J be itervl i R. Defiitio 6. For ech N, suppose fuctio f : J R is give. The we sy tht sequece (f ) of fuctios
More informationThe limit comparison test
Roerto s Notes o Ifiite Series Chpter : Covergece tests Sectio 4 The limit compriso test Wht you eed to kow lredy: Bsics of series d direct compriso test. Wht you c ler here: Aother compriso test tht does
More informationf(bx) dx = f dx = dx l dx f(0) log b x a + l log b a 2ɛ log b a.
Eercise 5 For y < A < B, we hve B A f fb B d = = A B A f d f d For y ɛ >, there re N > δ >, such tht d The for y < A < δ d B > N, we hve ba f d f A bb f d l By ba A A B A bb ba fb d f d = ba < m{, b}δ
More informationIn an algebraic expression of the form (1), like terms are terms with the same power of the variables (in this case
Chpter : Algebr: A. Bckgroud lgebr: A. Like ters: I lgebric expressio of the for: () x b y c z x y o z d x... p x.. we cosider x, y, z to be vribles d, b, c, d,,, o,.. to be costts. I lgebric expressio
More informationM098 Carson Elementary and Intermediate Algebra 3e Section 10.2
M09 Crso Eleetry d Iteredite Alger e Sectio 0. Ojectives. Evlute rtiol epoets.. Write rdicls s epressios rised to rtiol epoets.. Siplify epressios with rtiol uer epoets usig the rules of epoets.. Use rtiol
More informationThe Reimann Integral is a formal limit definition of a definite integral
MATH 136 The Reim Itegrl The Reim Itegrl is forml limit defiitio of defiite itegrl cotiuous fuctio f. The costructio is s follows: f ( x) dx for Reim Itegrl: Prtitio [, ] ito suitervls ech hvig the equl
More informationMATH 104 FINAL SOLUTIONS. 1. (2 points each) Mark each of the following as True or False. No justification is required. y n = x 1 + x x n n
MATH 04 FINAL SOLUTIONS. ( poits ech) Mrk ech of the followig s True or Flse. No justifictio is required. ) A ubouded sequece c hve o Cuchy subsequece. Flse b) A ifiite uio of Dedekid cuts is Dedekid cut.
More information10.5 Power Series. In this section, we are going to start talking about power series. A power series is a series of the form
0.5 Power Series I the lst three sectios, we ve spet most of tht time tlkig bout how to determie if series is coverget or ot. Now it is time to strt lookig t some specific kids of series d we will evetully
More informationApproximate Integration
Study Sheet (7.7) Approimte Itegrtio I this sectio, we will ler: How to fid pproimte vlues of defiite itegrls. There re two situtios i which it is impossile to fid the ect vlue of defiite itegrl. Situtio:
More informationSection IV.6: The Master Method and Applications
Sectio IV.6: The Mster Method d Applictios Defiitio IV.6.1: A fuctio f is symptoticlly positive if d oly if there exists rel umer such tht f(x) > for ll x >. A cosequece of this defiitio is tht fuctio
More informationSUTCLIFFE S NOTES: CALCULUS 2 SWOKOWSKI S CHAPTER 11
UTCLIFFE NOTE: CALCULU WOKOWKI CHAPTER Ifiite eries Coverget or Diverget eries Cosider the sequece If we form the ifiite sum 0, 00, 000, 0 00 000, we hve wht is clled ifiite series We wt to fid the sum
More information n. A Very Interesting Example + + = d. + x3. + 5x4. math 131 power series, part ii 7. One of the first power series we examined was. 2!
mth power series, prt ii 7 A Very Iterestig Emple Oe of the first power series we emied ws! + +! + + +!! + I Emple 58 we used the rtio test to show tht the itervl of covergece ws (, ) Sice the series coverges
More informationProject 3: Using Identities to Rewrite Expressions
MAT 5 Projet 3: Usig Idetities to Rewrite Expressios Wldis I lger, equtios tht desrie properties or ptters re ofte lled idetities. Idetities desrie expressio e repled with equl or equivlet expressio tht
More informationTopic 4 Fourier Series. Today
Topic 4 Fourier Series Toy Wves with repetig uctios Sigl geertor Clssicl guitr Pio Ech istrumet is plyig sigle ote mile C 6Hz) st hrmoic hrmoic 3 r hrmoic 4 th hrmoic 6Hz 5Hz 783Hz 44Hz A sigle ote will
More informationFig. 1. I a. V ag I c. I n. V cg. Z n Z Y. I b. V bg
ymmetricl Compoets equece impedces Although the followig focuses o lods, the results pply eqully well to lies, or lies d lods. Red these otes together with sectios.6 d.9 of text. Cosider the -coected lced
More informationSummer MA Lesson 4 Section P.3. such that =, denoted by =, is the principal square root
Suer MA 00 Lesso Sectio P. I Squre Roots If b, the b is squre root of. If is oegtive rel uber, the oegtive uber b b b such tht, deoted by, is the pricipl squre root of. rdicl sig rdicl expressio rdicd
More informationdegree non-homogeneous Diophantine equation in six unknowns represented by x y 2z
Scholrs Jourl of Egieerig d Techology (SJET Sch. J. Eg. Tech., ; (A:97- Scholrs Acdeic d Scietific Pulisher (A Itertiol Pulisher for Acdeic d Scietific Resources www.sspulisher.co ISSN -X (Olie ISSN 7-9
More informationUSA Mathematical Talent Search PROBLEMS / SOLUTIONS / COMMENTS Round 4 - Year 13 - Academic Year solutions edited by Erin Schram
USA Mthemticl Tlet Serch PROBLEMS / SOLUTIONS / COMMENTS Roud - Yer 13 - Acdemic Yer 2001-2002 solutios edited y Eri Schrm 1//13. I strge lguge there re oly two letters, d, d it is postulted tht the letter
More informationNumbers (Part I) -- Solutions
Ley College -- For AMATYC SML Mth Competitio Cochig Sessios v.., [/7/00] sme s /6/009 versio, with presettio improvemets Numbers Prt I) -- Solutios. The equtio b c 008 hs solutio i which, b, c re distict
More informationPOWER SERIES R. E. SHOWALTER
POWER SERIES R. E. SHOWALTER. sequeces We deote by lim = tht the limit of the sequece { } is the umber. By this we me tht for y ε > 0 there is iteger N such tht < ε for ll itegers N. This mkes precise
More information( a n ) converges or diverges.
Chpter Ifiite Series Pge of Sectio E Rtio Test Chpter : Ifiite Series By the ed of this sectio you will be ble to uderstd the proof of the rtio test test series for covergece by pplyig the rtio test pprecite
More informationSUTCLIFFE S NOTES: CALCULUS 2 SWOKOWSKI S CHAPTER 11
SUTCLIFFE S NOTES: CALCULUS SWOKOWSKI S CHAPTER Ifiite Series.5 Altertig Series d Absolute Covergece Next, let us cosider series with both positive d egtive terms. The simplest d most useful is ltertig
More informationWeek 13 Notes: 1) Riemann Sum. Aim: Compute Area Under a Graph. Suppose we want to find out the area of a graph, like the one on the right:
Week 1 Notes: 1) Riem Sum Aim: Compute Are Uder Grph Suppose we wt to fid out the re of grph, like the oe o the right: We wt to kow the re of the red re. Here re some wys to pproximte the re: We cut the
More informationLecture 38 (Trapped Particles) Physics Spring 2018 Douglas Fields
Lecture 38 (Trpped Prticles) Physics 6-01 Sprig 018 Dougls Fields Free Prticle Solutio Schrödiger s Wve Equtio i 1D If motio is restricted to oe-dimesio, the del opertor just becomes the prtil derivtive
More informationINFINITE SERIES. ,... having infinite number of terms is called infinite sequence and its indicated sum, i.e., a 1
Appedix A.. Itroductio As discussed i the Chpter 9 o Sequeces d Series, sequece,,...,,... hvig ifiite umber of terms is clled ifiite sequece d its idicted sum, i.e., + + +... + +... is clled ifite series
More informationALGEBRA II CHAPTER 7 NOTES. Name
ALGEBRA II CHAPTER 7 NOTES Ne Algebr II 7. th Roots d Rtiol Expoets Tody I evlutig th roots of rel ubers usig both rdicl d rtiol expoet ottio. I successful tody whe I c evlute th roots. It is iportt for
More information, we would have a series, designated as + j 1
Clculus sectio 9. Ifiite Series otes by Ti Pilchowski A sequece { } cosists of ordered set of ubers. If we were to begi ddig the ubers of sequece together s we would hve series desigted s. Ech iteredite
More informationGRAPHING LINEAR EQUATIONS. Linear Equations. x l ( 3,1 ) _x-axis. Origin ( 0, 0 ) Slope = change in y change in x. Equation for l 1.
GRAPHING LINEAR EQUATIONS Qudrt II Qudrt I ORDERED PAIR: The first umer i the ordered pir is the -coordite d the secod umer i the ordered pir is the y-coordite. (, ) Origi ( 0, 0 ) _-is Lier Equtios Qudrt
More informationThe Elementary Arithmetic Operators of Continued Fraction
Americ-Eursi Jourl of Scietific Reserch 0 (5: 5-63, 05 ISSN 88-6785 IDOSI Pulictios, 05 DOI: 0.589/idosi.ejsr.05.0.5.697 The Elemetry Arithmetic Opertors of Cotiued Frctio S. Mugssi d F. Mistiri Deprtmet
More informationRepeated Root and Common Root
Repeted Root d Commo Root 1 (Method 1) Let α, β, γ e the roots of p(x) x + x + 0 (1) The α + β + γ 0, αβ + βγ + γα, αβγ - () (α - β) (α + β) - αβ (α + β) [ (βγ + γα)] + [(α + β) + γ (α + β)] +γ (α + β)
More informationThe total number of permutations of S is n!. We denote the set of all permutations of S by
DETERMINNTS. DEFINITIONS Def: Let S {,,, } e the set of itegers from to, rrged i scedig order. rerrgemet jjj j of the elemets of S is clled permuttio of S. S. The totl umer of permuttios of S is!. We deote
More informationELEG 3143 Probability & Stochastic Process Ch. 5 Elements of Statistics
Deprtet of Electricl Egieerig Uiversity of Arkss ELEG 3143 Probbility & Stochstic Process Ch. 5 Eleets of Sttistics Dr. Jigxi Wu wuj@urk.edu OUTLINE Itroductio: wht is sttistics? Sple e d sple vrice Cofidece
More informationLinford 1. Kyle Linford. Math 211. Honors Project. Theorems to Analyze: Theorem 2.4 The Limit of a Function Involving a Radical (A4)
Liford 1 Kyle Liford Mth 211 Hoors Project Theorems to Alyze: Theorem 2.4 The Limit of Fuctio Ivolvig Rdicl (A4) Theorem 2.8 The Squeeze Theorem (A5) Theorem 2.9 The Limit of Si(x)/x = 1 (p. 85) Theorem
More information1. (25 points) Use the limit definition of the definite integral and the sum formulas to compute. [1 x + x2
Mth 3, Clculus II Fil Exm Solutios. (5 poits) Use the limit defiitio of the defiite itegrl d the sum formuls to compute 3 x + x. Check your swer by usig the Fudmetl Theorem of Clculus. Solutio: The limit
More informationContext-free grammars and. Basics of string generation methods
Cotext-free grammars ad laguages Basics of strig geeratio methods What s so great about regular expressios? A regular expressio is a strig represetatio of a regular laguage This allows the storig a whole
More informationTaylor Polynomials. The Tangent Line. (a, f (a)) and has the same slope as the curve y = f (x) at that point. It is the best
Tylor Polyomils Let f () = e d let p() = 1 + + 1 + 1 6 3 Without usig clcultor, evlute f (1) d p(1) Ok, I m still witig With little effort it is possible to evlute p(1) = 1 + 1 + 1 (144) + 6 1 (178) =
More informationApplied Databases. Sebastian Maneth. Lecture 16 Suffix Array, Burrows-Wheeler Transform. University of Edinburgh - March 10th, 2016
Applied Dtbses Lecture 16 Suffix Arry, Burrows-Wheeler Trsform Sebsti Meth Uiversity of Ediburgh - Mrch 10th, 2016 2 Outlie 1. Suffix Arry 2. Burrows-Wheeler Trsform 3 Olie Strig-Mtchig how c we do Horspool
More informationSimilar idea to multiplication in N, C. Divide and conquer approach provides unexpected improvements. Naïve matrix multiplication
Next. Covered bsics of simple desig techique (Divided-coquer) Ch. of the text.. Next, Strsse s lgorithm. Lter: more desig d coquer lgorithms: MergeSort. Solvig recurreces d the Mster Theorem. Similr ide
More informationConvergence rates of approximate sums of Riemann integrals
Covergece rtes of pproximte sums of Riem itegrls Hiroyuki Tski Grdute School of Pure d Applied Sciece, Uiversity of Tsuku Tsuku Irki 5-857 Jp tski@mth.tsuku.c.jp Keywords : covergece rte; Riem sum; Riem
More informationAPPLICATION OF DIFFERENCE EQUATIONS TO CERTAIN TRIDIAGONAL MATRICES
Scietific Reserch of the Istitute of Mthetics d Coputer Sciece 3() 0, 5-0 APPLICATION OF DIFFERENCE EQUATIONS TO CERTAIN TRIDIAGONAL MATRICES Jolt Borows, Le Łcińs, Jowit Rychlews Istitute of Mthetics,
More informationInfinite Series Sequences: terms nth term Listing Terms of a Sequence 2 n recursively defined n+1 Pattern Recognition for Sequences Ex:
Ifiite Series Sequeces: A sequece i defied s fuctio whose domi is the set of positive itegers. Usully it s esier to deote sequece i subscript form rther th fuctio ottio.,, 3, re the terms of the sequece
More informationChapter 7 Infinite Series
MA Ifiite Series Asst.Prof.Dr.Supree Liswdi Chpter 7 Ifiite Series Sectio 7. Sequece A sequece c be thought of s list of umbers writte i defiite order:,,...,,... 2 The umber is clled the first term, 2
More informationUnit 1. Extending the Number System. 2 Jordan School District
Uit Etedig the Number System Jord School District Uit Cluster (N.RN. & N.RN.): Etedig Properties of Epoets Cluster : Etedig properties of epoets.. Defie rtiol epoets d eted the properties of iteger epoets
More informationGeneral properties of definite integrals
Roerto s Notes o Itegrl Clculus Chpter 4: Defiite itegrls d the FTC Sectio Geerl properties of defiite itegrls Wht you eed to kow lredy: Wht defiite Riem itegrl is. Wht you c ler here: Some key properties
More informationMTH 146 Class 16 Notes
MTH 46 Clss 6 Notes 0.4- Cotiued Motivtio: We ow cosider the rc legth of polr curve. Suppose we wish to fid the legth of polr curve curve i terms of prmetric equtios s: r f where b. We c view the cos si
More informationMATH 104: INTRODUCTORY ANALYSIS SPRING 2009/10 PROBLEM SET 8 SOLUTIONS. and x i = a + i. i + n(n + 1)(2n + 1) + 2a. (b a)3 6n 2
MATH 104: INTRODUCTORY ANALYSIS SPRING 2009/10 PROBLEM SET 8 SOLUTIONS 6.9: Let f(x) { x 2 if x Q [, b], 0 if x (R \ Q) [, b], where > 0. Prove tht b. Solutio. Let P { x 0 < x 1 < < x b} be regulr prtitio
More informationECE Spring Prof. David R. Jackson ECE Dept. Notes 20
ECE 6341 Sprig 016 Prof. David R. Jackso ECE Dept. Notes 0 1 Spherical Wave Fuctios Cosider solvig ψ + k ψ = 0 i spherical coordiates z φ θ r y x Spherical Wave Fuctios (cot.) I spherical coordiates we
More informationis infinite. The converse is proved similarly, and the last statement of the theorem is clear too.
12. No-stdrd lysis October 2, 2011 I this sectio we give brief itroductio to o-stdrd lysis. This is firly well-developed field of mthemtics bsed o model theory. It dels ot just with the rels, fuctios o
More informationFourier Series. Topic 4 Fourier Series. sin. sin. Fourier Series. Fourier Series. Fourier Series. sin. b n. a n. sin
Topic Fourier Series si Fourier Series Music is more th just pitch mplitue it s lso out timre. The richess o sou or ote prouce y musicl istrumet is escrie i terms o sum o umer o istict requecies clle hrmoics.
More information1.3 Continuous Functions and Riemann Sums
mth riem sums, prt 0 Cotiuous Fuctios d Riem Sums I Exmple we sw tht lim Lower() = lim Upper() for the fuctio!! f (x) = + x o [0, ] This is o ccidet It is exmple of the followig theorem THEOREM Let f be
More informationn 2 + 3n + 1 4n = n2 + 3n + 1 n n 2 = n + 1
Ifiite Series Some Tests for Divergece d Covergece Divergece Test: If lim u or if the limit does ot exist, the series diverget. + 3 + 4 + 3 EXAMPLE: Show tht the series diverges. = u = + 3 + 4 + 3 + 3
More informationFourier Series and Applications
9/7/9 Fourier Series d Applictios Fuctios epsio is doe to uderstd the better i powers o etc. My iportt probles ivolvig prtil dieretil equtios c be solved provided give uctio c be epressed s iiite su o
More informationLinear Programming. Preliminaries
Lier Progrmmig Prelimiries Optimiztio ethods: 3L Objectives To itroduce lier progrmmig problems (LPP To discuss the stdrd d coicl form of LPP To discuss elemetry opertio for lier set of equtios Optimiztio
More informationEigenfunction Expansion. For a given function on the internal a x b the eigenfunction expansion of f(x):
Eigefuctio Epsio: For give fuctio o the iterl the eigefuctio epsio of f(): f ( ) cmm( ) m 1 Eigefuctio Epsio (Geerlized Fourier Series) To determie c s we multiply oth sides y Φ ()r() d itegrte: f ( )
More informationA general theory of minimal increments for Hirsch-type indices and applications to the mathematical characterization of Kosmulski-indices
Mlysi Jourl of Librry & Iformtio Sciece, Vol. 9, o. 3, 04: 4-49 A geerl theory of miiml icremets for Hirsch-type idices d pplictios to the mthemticl chrcteriztio of Kosmulski-idices L. Egghe Uiversiteit
More informationLEVEL I. ,... if it is known that a 1
LEVEL I Fid the sum of first terms of the AP, if it is kow tht + 5 + 0 + 5 + 0 + = 5 The iterior gles of polygo re i rithmetic progressio The smllest gle is 0 d the commo differece is 5 Fid the umber of
More informationCS 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 informationConvergence rates of approximate sums of Riemann integrals
Jourl of Approximtio Theory 6 (9 477 49 www.elsevier.com/locte/jt Covergece rtes of pproximte sums of Riem itegrls Hiroyuki Tski Grdute School of Pure d Applied Sciece, Uiversity of Tsukub, Tsukub Ibrki
More informationMathematical Induction (selected questions)
Mtheticl Iductio (selected questios). () Let P() e the propositio : For P(), L.H.S. R.H.S., P() is true. Assue P() is true for soe turl uer, tht is, () For P( ),, y () By the Priciple of Mtheticl Iductio,
More informationPROGRESSIONS AND SERIES
PROGRESSIONS AND SERIES A sequece is lso clled progressio. We ow study three importt types of sequeces: () The Arithmetic Progressio, () The Geometric Progressio, () The Hrmoic Progressio. Arithmetic Progressio.
More informationSM2H. Unit 2 Polynomials, Exponents, Radicals & Complex Numbers Notes. 3.1 Number Theory
SMH Uit Polyomils, Epoets, Rdicls & Comple Numbers Notes.1 Number Theory .1 Addig, Subtrctig, d Multiplyig Polyomils Notes Moomil: A epressio tht is umber, vrible, or umbers d vribles multiplied together.
More informationLinear Systems with Constant Coefficients
Liner Systems with Constnt Coefficients 4-3-05 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 information[ 20 ] 1. Inequality exists only between two real numbers (not complex numbers). 2. If a be any real number then one and only one of there hold.
[ 0 ]. Iequlity eists oly betwee two rel umbers (ot comple umbers).. If be y rel umber the oe d oly oe of there hold.. If, b 0 the b 0, b 0.. (i) b if b 0 (ii) (iii) (iv) b if b b if either b or b b if
More informationNotes 17 Sturm-Liouville Theory
ECE 638 Fll 017 Dvid R. Jckso Notes 17 Sturm-Liouville Theory Notes re from D. R. Wilto, Dept. of ECE 1 Secod-Order Lier Differetil Equtios (SOLDE) A SOLDE hs the form d y dy 0 1 p ( x) + p ( x) + p (
More informationThe Basic Properties of the Integral
The Bsic Properties of the Itegrl Whe we compute the derivtive of complicted fuctio, like x + six, we usully use differetitio rules, like d [f(x)+g(x)] d f(x)+ d g(x), to reduce the computtio dx dx dx
More informationFOURIER SERIES PART I: DEFINITIONS AND EXAMPLES. To a 2π-periodic function f(x) we will associate a trigonometric series. a n cos(nx) + b n sin(nx),
FOURIER SERIES PART I: DEFINITIONS AND EXAMPLES To -periodic fuctio f() we will ssocite trigoometric series + cos() + b si(), or i terms of the epoetil e i, series of the form c e i. Z For most of the
More informationApplied Databases. Sebastian Maneth. Lecture 16 Suffix Array, Burrows-Wheeler Transform. University of Edinburgh - March 16th, 2017
Applied Dtbses Lecture 16 Suffix Arry, Burrows-Wheeler Trsform Sebsti Meth Uiversity of Ediburgh - Mrch 16th, 2017 Outlie 2 1. Suffix Arry 2. Burrows-Wheeler Trsform Outlie 3 1. Suffix Arry 2. Burrows-Wheeler
More informationApproximations of Definite Integrals
Approximtios of Defiite Itegrls So fr we hve relied o tiderivtives to evlute res uder curves, work doe by vrible force, volumes of revolutio, etc. More precisely, wheever we hve hd to evlute defiite itegrl
More informationlecture 16: Introduction to Least Squares Approximation
97 lecture 16: Itroductio to Lest Squres Approximtio.4 Lest squres pproximtio The miimx criterio is ituitive objective for pproximtig fuctio. However, i my cses it is more ppelig (for both computtio d
More informationError-free compression
Error-free compressio Useful i pplictio where o loss of iformtio is tolerble. This mybe due to ccurcy requiremets, legl requiremets, or less th perfect qulity of origil imge. Compressio c be chieved by
More informationRULES FOR MANIPULATING SURDS b. This is the addition law of surds with the same radicals. (ii)
SURDS Defiitio : Ay umer which c e expressed s quotiet m of two itegers ( 0 ), is clled rtiol umer. Ay rel umer which is ot rtiol is clled irrtiol. Irrtiol umers which re i the form of roots re clled surds.
More informationInner Product Spaces (Chapter 5)
Ier Product Spces Chpter 5 I this chpter e ler out :.Orthogol ectors orthogol suspces orthogol mtrices orthogol ses. Proectios o ectors d o suspces Orthogol Suspces We ko he ectors re orthogol ut ht out
More informationPresentation for use with the textbook, Algorithm Design and Applications, by M. T. Goodrich and R. Tamassia, Wiley, Divide-and-Conquer
Presettio for use with the textook, Algorithm Desig d Applictios, y M. T. Goodrich d R. Tmssi, Wiley, 25 Divide-d-Coquer Divide-d-Coquer Divide-d coquer is geerl lgorithm desig prdigm: Divide: divide the
More informationIntermediate Arithmetic
Git Lerig Guides Iteredite Arithetic Nuer Syste, Surds d Idices Author: Rghu M.D. NUMBER SYSTEM Nuer syste: Nuer systes re clssified s Nturl, Whole, Itegers, Rtiol d Irrtiol uers. The syste hs ee digrticlly
More informationUNIT 4 EXTENDING THE NUMBER SYSTEM Lesson 1: Working with the Number System Instruction
Lesso : Workig with the Nuber Syste Istructio Prerequisite Skills This lesso requires the use of the followig skills: evlutig expressios usig the order of opertios evlutig expoetil expressios ivolvig iteger
More informationForce and Motion. Force
Force d Motio Cocept of Force Newto s hree Lws ypes of Forces Free body lysis Equilibrium Noequilibrium Frictio Problem Solvig Force A Force is push or pull tht is exerted o object by some other object.
More information,... are the terms of the sequence. If the domain consists of the first n positive integers only, the sequence is a finite sequence.
Chpter 9 & 0 FITZGERALD MAT 50/5 SECTION 9. Sequece Defiitio A ifiite sequece is fuctio whose domi is the set of positive itegers. The fuctio vlues,,, 4,...,,... re the terms of the sequece. If the domi
More informationMath F215: Induction April 7, 2013
Math F25: Iductio April 7, 203 Iductio is used to prove that a collectio of statemets P(k) depedig o k N are all true. A statemet is simply a mathematical phrase that must be either true or false. Here
More informationChapter 2 Infinite Series Page 1 of 9
Chpter Ifiite eries Pge of 9 Chpter : Ifiite eries ectio A Itroductio to Ifiite eries By the ed of this sectio you will be ble to uderstd wht is met by covergece d divergece of ifiite series recogise geometric
More informationUNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION
School Of Distce Eductio Questio Bk UNIVERSITY OF ALIUT SHOOL OF DISTANE EDUATION B.Sc MATHEMATIS (ORE OURSE SIXTH SEMESTER ( Admissio OMPLEX ANALYSIS Module- I ( A lytic fuctio with costt modulus is :
More informationStatistics for Financial Engineering Session 1: Linear Algebra Review March 18 th, 2006
Sttistics for Ficil Egieerig Sessio : Lier Algebr Review rch 8 th, 6 Topics Itroductio to trices trix opertios Determits d Crmer s rule Eigevlues d Eigevectors Quiz The cotet of Sessio my be fmilir to
More informationIf a is any non zero real or imaginary number and m is the positive integer, then a...
Idices d Surds.. Defiitio of Idices. If is o ero re or igir uer d is the positive iteger the...... ties. Here is ced the se d the ide power or epoet... Lws of Idices. 0 0 0. where d re rtio uers where
More informationForce and Motion. Force. Classifying Forces. Physics 11- Summer /21/01. Chapter 4 material 1. Forces are vector quantities!
Force d Motio Cocept of Force Newto s hree Lws ypes of Forces Free body lysis Equilibrium Noequilibrium Frictio Problem Solvig Force A Force is push or pull tht is exerted o object by some other object.
More informationReview of the Riemann Integral
Chpter 1 Review of the Riem Itegrl This chpter provides quick review of the bsic properties of the Riem itegrl. 1.0 Itegrls d Riem Sums Defiitio 1.0.1. Let [, b] be fiite, closed itervl. A prtitio P of
More informationDiscrete Mathematics and Probability Theory Spring 2016 Rao and Walrand Lecture 17
CS 70 Discrete Mthemtics d Proility Theory Sprig 206 Ro d Wlrd Lecture 7 Vrice We hve see i the previous ote tht if we toss coi times with is p, the the expected umer of heds is p. Wht this mes is tht
More informationEXERCISE a a a 5. + a 15 NEETIIT.COM
- Dowlod our droid App. Sigle choice Type Questios EXERCISE -. The first term of A.P. of cosecutive iteger is p +. The sum of (p + ) terms of this series c be expressed s () (p + ) () (p + ) (p + ) ()
More informationUNIVERSITY OF BRISTOL. Examination for the Degrees of B.Sc. and M.Sci. (Level C/4) ANALYSIS 1B, SOLUTIONS MATH (Paper Code MATH-10006)
UNIVERSITY OF BRISTOL Exmitio for the Degrees of B.Sc. d M.Sci. (Level C/4) ANALYSIS B, SOLUTIONS MATH 6 (Pper Code MATH-6) My/Jue 25, hours 3 miutes This pper cotis two sectios, A d B. Plese use seprte
More informationSupplemental Handout #1. Orthogonal Functions & Expansions
UIUC Physics 435 EM Fields & Sources I Fll Semester, 27 Supp HO # 1 Prof. Steve Errede Supplemetl Hdout #1 Orthogol Fuctios & Epsios Cosider fuctio f ( ) which is defied o the itervl. The fuctio f ( )
More information0 otherwise. sin( nx)sin( kx) 0 otherwise. cos( nx) sin( kx) dx 0 for all integers n, k.
. Computtio of Fourier Series I this sectio, we compute the Fourier coefficiets, f ( x) cos( x) b si( x) d b, i the Fourier series To do this, we eed the followig result o the orthogolity of the trigoometric
More informationmoment = m! x, where x is the length of the moment arm.
th 1206 Clculus Sec. 6.7: omets d Ceters of ss I. Fiite sses A. Oe Dimesiol Cses 1. Itroductio Recll the differece etwee ss d Weight.. ss is the mout of "stuff" (mtter) tht mkes up oject.. Weight is mesure
More informationRiemann Integral and Bounded function. Ng Tze Beng
Riem Itegrl d Bouded fuctio. Ng Tze Beg I geerlistio of re uder grph of fuctio, it is ormlly ssumed tht the fuctio uder cosidertio e ouded. For ouded fuctio, the rge of the fuctio is ouded d hece y suset
More informationGraphing Review Part 3: Polynomials
Grphig Review Prt : Polomils Prbols Recll, tht the grph of f ( ) is prbol. It is eve fuctio, hece it is smmetric bout the bout the -is. This mes tht f ( ) f ( ). Its grph is show below. The poit ( 0,0)
More information