The Binomial Theorem.
|
|
- Shanon Sherman
- 5 years ago
- Views:
Transcription
1 The Binomial Theorem
2 The Problem Evaluate (A+B) N as a polynomial in powers of A and B Where N is a positive integer A and B are numbers Example: (A+B) 5 = A 5 +5A 4 B+10A 3 B 2 +10A 2 B 3 +5AB 4 +B 5
3 The Solution Let us approach this as a problem of building words out of an alphabet Let our alphabet consist of only 2 letters: A, B Thus, BABA, AAB, AB, ABBAB are all words using our alphabet List all the 2 letters word can be constructed using this alphabet: AA, AB, BA, BB And all 3 letter words? AAA, ABA, BAA, BBA, AAB, ABB, BAB, BBB
4 If we have all the possible words with 2 letters We can derive all 3 letter words by the following process: Append each 2 letter word with an A Append each 2 letter word with a B The combined output of the 2 steps above is the list of all 3 letter words Lets work this out: The set of all possible words with 2 letters: AA, AB, BA, BB Append with A to get: AAA, ABA, BAA, BBA Append with B to get: AAB, ABB, BAB, BBB Combine the outputs to get: AAA, ABA, BAA, BBA, AAB, ABB, BAB, BBB
5 Let us express this 3 step process, [2 steps to Append and 1 step to Combine] as an operation represented as a between 2 SETS: [P, Q, R,, S] [X, Y]=[PX, QX, RX,, SX, PY, QY, RY,, SY] Here, P, Q, R,, S, X, Y are words of our alphabet [A, B] PX means Appending the word P with the word X So, if P represents ABB and X represents BA, PX represents ABBBA Thus: [AA, ABB, BAAB, AB] [AA,B]=[AAAA, ABBAA, BAABAA, ABAA, AAB, ABBB, BAABB, ABB]
6 The operation is Associative: ([P] [Q]) [R]=[PQ] [R]=[PQR]=P [QR]=P ([Q] [R]) Where P, Q, R are words in our definition The operation is not Commutative : That is P Q is not same as Q P. For example, if P=AAB and Q=BA: [AAB] [BA]=[AABBA] is not [BA] [AAB]=[BAAAB]
7 Using this notation we can derive the set of all 3 letter words, given the set of all 2 letter words as: [List of all 2 letter words] [A, B] [AA, AB, BA, BB] [A,B]=[AAA, ABA, BAA, BBA, AAB, ABB, BAB, BBB] As also, the list of all 4-letter-words is: [List of all 3 letter words] [A, B] [AAA, ABA, BAA, BBA, AAB, ABB, BAB, BBB] [A,B]=[AAAA, ABAA, BAAA, BBAA, AABA, ABBA, BABA, BBBA, AAAB, ABAB, BAAB, BBAB, AABB, ABBB, BABB, BBBB]
8 Clearly, this is true not only for 2, 3 and 4 letter words, but it true for K and (K+1) letter words, K>1 Thus list of all words with (K+1) letters will be: [List of ALL K letter words] [A, B] For example: Thus list of all words with 101 letters will be: [List of ALL 100 letter words] [A, B]
9 Finally, list of all words with N letters will be: [List of ALL (N-1) letter words] [A, B] Thus we can build a list of all N letter words as [All 2 letter words] [A, B]=[All 3 letter words] [All 3 letter words] [A, B]=[All 4 letter words] [All 4 letter words] [A, B]=[All 5 letter words] [All (N-1) letter words] [A, B]=[All N letter words] NOTE: List of all 2 letter words = [A, B] [A, B]
10 Substituting [A, B] [A, B] for the list of all 2 letter words we obtain: [[A, B] [A, B]] [A, B]=[All 3 letter words] [[[A, B] [A, B]] [A, B]] [A, B]=[All 4 letter words] [[[[A, B] [A, B]] [A, B]] [A, B]] [A, B]=[All 5 letter words] =[All N letter words] Note that there are 2 N N letter words using our alphabet since each letter in the N-long word can independently be A or B
11 Using the Associative Property of : [A, B] [A, B] [A, B]=[All 3 letter words] [A, B] [A, B] [A, B] [A, B]=[All 4 letter words] [A, B] [A, B] [A, B] [A, B] [A, B]=[All 5 letter words] [A, B] [A, B] [A, B] {N times}=[all N letter words]
12 Clearly, the operation is indeed analogous to the basic arithmetic operation of multiply & add : In fact, if in the definition of as: [P, Q, R,, S] [X, Y]=[PX, QX, RX,, SX, PY, QY, RY,, SY] We replace, by + and by * we obtain: [P+ Q+ R+ + S]*[X+ Y]=[PX+ QX+ RX+ + SX+ PY+ QY+ RY+ + SY] The expression so obtained is mathematically correct if: P, Q, X, Y are mathematical objects [real numbers, complex numbers etc] The symbol * denotes multiplication and + denotes addition PX is interpreted as P*X, QX is Q*X and so on
13 Since [A+B] N = [A+B]*[A+B]* *[A+B] {N times} And is analogous to multiply and add IF we compute the end result of: [A, B] [A, B] [A, B] {N times} We should get the same result as if [A+B] N is expanded repeatedly multiplying [A+B] by itself N times The only difference will be that instead of + we will have, separating the individual terms The individual terms will be N letter long strings of A and B
14 Since [A, B] [A, B] [A, B] {N times} Gives us the list of ALL N-letter words made of the 2 letter alphabet, A and B [A+B] N =[A+B]*[A+B]* *[A+B] {N times}, due to the analogous nature of and multiply and add, should lead to a summation of terms such that: the set of terms in the summation will be same as the set of all N-long-words of the alphabet A, B Each N-long-word should be interpreted as a * of the A s and B s in it Since there are 2 N of these N-long-words, there will be 2 N terms in the summation So, if we can somehow enumerate ALL the N-long-words using A and B [and we know there will be 2 N of them], we can then add them all up to obtain an expression for [A+B] N Wherein each of the N-long-word should be treated as a product of A s and B s We now find a way to form all these N-long-words using A and B
15 Consider the N letter word as being formed by filling up a row of N positions, with either A or B: A A B B A A B (N-2) (N-1) N N Positions Any N letter word will have k A s and [N-k] B s, where 0<=k<=N B
16 Of all the N letter words, how many will have k A s and [N-k] B s? [0<=k<=N] This is the same as asking, in how many different ways can we choose k positions of the total N positions Assume for now, we have a formula that gives this number We write this formula as: N C k
17 Then the set of ALL N letter words can be partitioned as: Set of N Letter words with N A s = N C N Set of N Letter words with [N-1] A s = N C (N-1) Set of N Letter words with [N-2] A s = N C (N-2) Set of N Letter words with k A s = N C k Set of N Letter words with 1 A s = N C 1 Set of N Letter words with 0 A s = N C 0 Note that all the above sets are mutually disjoint and their union gives the set of ALL N letter words
18 We thus conclude that if we were to expand [A+ B] N using the distribution of * over + then it will lead to the addition of terms [words] such that: N C N of them have N A s and 0 B s N C (N-1) of them will have (N-1) A s and 1 B N C (N-2) of them will have (N-2) A s and 2 B s N C k of them will have k A s and (N-k) B s N C 1 of them will have 1 A and (N-1) B s N C 0 of them will have 0 A s and N B s Note that the word AABAB [for example] = A*A*B*A*B and so on (as mentioned earlier) where * is multiplication
19 Hence, a word with k A s and [N-k] B s is the same as a mathematica term which is the product of k A s and [N-k] B s Such a word can be represented as a mathematical term A k B (N-k) Here we are invoking the fact that: PQ is to be interpreted as P*Q And the * operation IS Commutative So that: AAB=ABA=BAA=A 2 B
20 We thus can say that [A+ B] N when expanded consists of the summation of N C N terms of value A N B 0 N C (N-1) terms of value A (N-1) B 1 N C (N-2) terms of value A (N-2) B 2 N C k terms of value A k B (N-k) N C 1 terms of value A 1 B (N-1) N C 0 terms of value A 0 B N
21 Thus: [A+ B] N = N C N *A N *B 0 + N C (N-1) *A (N-1) *B 1 + N C (N-2) *A (N-2) *B N C k *A k *B (N-k) + + N C 1 *A 1 *B (N-1) + N C 0 *A 0 *B N More concisely N k=0 [A + B] N = N CkA (N k) B k Also, we know from basic Combinatorics that N C k = N! N k!
22 Thus the famous result: [A + B] N = N k=0 N! N k! A(N k) B k For N being a positive integer, and A, B numbers [real or complex]
23 Fractional Exponents Applying the binomial theorem of A = 1, B = x: [1 + x] N = Note that N! N k! (1 + x) n = 1 + nx1 n n 1 n [k 2] N N! k=0 N k! xk = N N 1 (N k 2 )(N k 1 ) + n(n 1) 1! 2! n [k 1] x 2 + n(n 1)(n 2) 3! x k + and so: x Note that for k (n + 1) the coefficients of x k become 0 since they contain a 0 in the numerator. Hence: n n 1 (n [k 1]) (1 + x) n = k=0 x k where the upper limit of summation is changed to instead of N.
24 Let us define f n for any positive rational number n: f n = n n 1 (n [k 1]) k=0 x k Note that for a non-integral value of n the coefficients never become 0. In fact they can attain negative values as well. For n = 3 for example: 2 f 3 = x + 2 (3 2 1) x ! 3 2 (3 2 1)(3 2 2) f 3 2 = x x x3 + 3! x 3 +, so that: m m 1 (m [k 1]) k=0 x k Then we have f m =, m being any positive rational number And of course for positive integral values of n and m, f n = (1 + x) n and f m = (1 + x) m
25 Now if we consider the product f n. f m for n, m positive rational numbers: 1 + nx1 1! m m 1 2! + x 2 + n n 1 2! m m 1 m 2 x 2 + 3! n n 1 n 2 3! x 3 + ) x 3 + (1 + mx1 1! For fractional n, m the coefficients do not got to 0 and hence the product is an infinite series multiplied as: f n. f m f n. m m 1 m 2 = f n. 1 + f n. mx1 3! x 3 + 1! + f n. m m 1 2! + x 2 +
26 This leads to another infinite series in powers of x k, k 0, where the coefficients are functions of n and m f n. f m = C 0 + C 1 x 1 + C 2 x 2 + C 3 x 3 For example, for x 2 the coefficient C 2 is: n n 1 + nm m 1 (n+m) n+m 1 +m = 2! 1! 2! 2! And for x 3 the coefficient is C 3 is: n n 1 n 2 n n 1 m m m 1 m m 1 m ! 2! Which simplifies to: 1! + n 1! 2! (n+m) n+m 1 n+m 2 3! 3!
27 Is there an expression we can derive for C k? Expressing as C kn and C km the coefficients of x k in f n and f m respectively. Examining the product f n. f m = 1 + C 1n x 1 + C 2n x 2 + C 3n x 3 + C kn x k +. (1 + C 1m x 1 + C 2m x 2 + C 3m x C km x k + ) C k = C kn + C (k 1)n C 1m + C (k r)n C rm + +C 1n C (k 1)m +C km Note: (k + 1) terms add up to form C k So while the product f n. f(m) has infinite terms [since f n and f(m) have infinite terms], each of the coefficients C k therein is the addition of (k + 1) terms as above Remember: C nk = n n 1 (n [k 1]) and C mk = m m 1 (m [k 1])
28 Now in the case of n and m being positive integers, f(n) and f(m) actually represent (1 + x) n and (1 + x) m respectively [as per the binomial theorem for positive integral exponents] Hence: f n. f m = (1 + x) n. (1 + x) m = (1 + x) (n+m) and now since (n + m) is also a positive integer we know that [again using the binomial theorem]: (1 + x) n+m = 1 + (n+m)x1 1! (n+m)(n+m 1)(n+m 2) 3! (n+m) n+m 1 n+m [k 2] + (n+m)(n+m 1) 2! x n+m [k 1] x 2 + x k +
29 Hence in the case of n, m being positive integers we can derive that C k, the coefficient of x k in f n. f(m) is same as: (n+m) n+m 1 n+m [k 2] n+m [k 1] and thus: C k = C kn + C (k 1)n C 1m + C (k r)n C rm + +C 1n C (k 1)m +C km (n+m) n+m 1 n+m [k 2] n+m [k 1] = We now have a value for C k in terms of n, m assuming their positive integer values Of course for k > n + m, the C k values will be 0 since the numerator will have a 0 term
30 Now comes a key argument! C k which is given in its SUM FORM [for integral or fractional n, m]: C kn + C (k 1)n C 1m + C (k r)n C rm + +C 1n C (k 1)m +C km is, for integral n, m, (n+m) n+m 1 n+m [k 2] n+m [k 1] [FACTOR FORM] Each term of C k, in the Sum Form is as C (k r)n C rm, which is a finite polynomial in n and m So one can imagine that using successive steps of algebraic manipulations the Sum Form of C k can be transformed to the Factor Form of C k for integral values of n and m These successive steps will be using Commutative, Associative and Distributive Laws of numbers NOW: The Commutative, Associative and Distributive laws are exactly the same for rational numbers as for integers and so if the same successive steps are applied on the Sum Form of C k for fractional values of n and Thus C k = m, the result will be the SAME Factor Form of C k (n+m) n+m 1 n+m [k 2] n+m [k 1] for fractional n, m
31 Hence for n, m positive rational numbers: f n. f m = k=0 (n+m) n+m 1 n+m [k 2] n+m [k 1] Note that for k=0, the numerator is taken as 1 And in fact this can be extended to: f n. f m f(p) = k=0 (n+m +p) n+m +p 1 n+m +p [k 2] x k n+m +p [k 1] x k
32 Let each of n, m, p be = l h for a positive integers l, h and let us multiply f( l h) by itself h times: f( l h). f( l h). f( l h) [h times] = k=0 ( l h +l h +l h ) l h +l h +l h 1 l h +l h +l h [k 2] l h + l h +l h [k 1] Now the left hand side of the above equation = f( l h) h The right side contains the term l h + l h + l hwherein l h occurs h times so that l h + l h + l h = l giving the right hand side as: k=0 (l) l 1 l [k 2] l [k 1] x k x k
33 Note that the term (l) l 1 l [k 2] l [k 1] becomes 0 for k = l + 1 so we can write the RHS as: l k=0 (l) l 1 l [k 2] l [k 1] x k In the above, since l is a positive integer, we know by the binomial theorem that it represents (1 + x) l. Thus: f( l h) h =(1 + x) l and so: f l h = (1 + x) l h
34 k=0 r r 1 (r [k 1]) Thus: (1 + x) r = f r = for a positive rational number r. Equivalently: (1 + x) r = 1 + rx + r(r 1) x 2 + 2! r(r 1)(r 2) x 3 + r(r 1)(r 2)(r 3) x 4 3! 4! r r 1 r 2 (r k 1 ) + x k + where r is a positive rational number (including positive integers, of course!) x k
35 Lets try it out! x and r both positive integers: x = 2; r = 3 (1 + 2) 3 = (3 1) 3.(3 1)(3 2)(3 3) 4! 2! (3 1)(3 2) 3! (3 1)(3 2)(3 3)(3 4) 5! = = 27 Works of course this is the same as binomial theorem for positive integer exponents Also, in the infinite series expansion, the coefficients after the 4 th terms are all 0.
36 Lets try it out! x and r both positive fractions: x = 1 3 ; r = 1 2 ( )1 2= ! ( 1 3 )4 + ( 1 3 ) ! 3! ! ( 1 3 )3 + ( 1 3 )5 + = = Check: ( )1 2= ( ) 1 2 = So, taking 6 terms of the infinite series we get pretty close to the real answer
37 Lets try it out! x and r both positive fractions: x = 11 ( )1 2= ! ( ) ; r = ( 11 2! 10 )2 + 3! = = ! ( )3 + ( )5 + Check: ( )1 2= (2.1) 1 2 = ? So, taking 6 terms of the infinite series we are close but not as close!
38 Taking 20 terms instead of 6 and then we reach Taking 50 terms instead of 6 and then we reach now we are farther from what we had with 20 terms! Lets try 100 terms: !! Worse still, 101 terms gives: ! Lets look at how the sum behaves as we take more and more values!
39 Sum Value vs Number of Terms!! Series
40 r r 1 3! r 2 (r k 1 ) 4! Lesson Our infinite series formula: (1 + x) r = 1 + rx + r(r 1) x 2 + r(r 1)(r 2) 2! x 3 + r(r 1)(r 2)(r 3) x 4 + x k + Works always if r is a positive integer Works for x < 1 for if r is a positive fraction And this stems from the fact that the infinite sum will converge if and only if x < 1
41 Utilising the Series So, how do we use this infinite sum in real life to evaluate (a + b) r where a, b are real number and r is a positive fraction? If a < b: (a + b) r =(b a b + 1 )r = b r ( a b + 1)r and now since a <1 the infinite series will converge and can b be used. Similarly, if a > b then (a + b) r =a r ( b a + 1)r
42 What if r is a negative fraction? Notice that up until the derivation of: f n. f m f(p) = k=0 (n+m +p) n+m +p 1 n+m +p [k 2] n+m +p [k 1] There is nothing in the argument that is specific to n and m being positive rational numbers In fact the argument is valid for n, m being negative rational numbers, real numbers or even complex numbers since they all follow the same rules of Commutation, Association, Distribution etc. In fact as long as n, m are members of a Commutative Ring the above derivation is true Of course the question is whether the infinite series f(n) converges or not, for a class of inputs E.g. for x < 1, the f(n) converges for any positive rational value of n x k
43 So for a rational number r > 0, we can say: f r. f r = k=0 (r+[ r]) r+[ r] 1 r+[ r] [k 2] n+m [k 1] And remembering that for k = 0, the numerator = 1 The series sum then reduces to 1 since there is a factor (r + [ r]) in each numerator but for when k = 0 when the numerator is 1 So we get: f r. f r = 1 We proved that f r = (1 + x) r for r > 0 Hence: f r = (1 + x) r for r > 0 Thus for all rational values of r, f r = (1 + x) r, x < 1 x k
Chapter 4. Regular Expressions. 4.1 Some Definitions
Chapter 4 Regular Expressions 4.1 Some Definitions Definition: If S and T are sets of strings of letters (whether they are finite or infinite sets), we define the product set of strings of letters to be
More informationThe assignment is not difficult, but quite labour consuming. Do not wait until the very last day.
CAS 705 CAS 705. Sample solutions to the assignment 1 (many questions have more than one solutions). Total of this assignment is 129 pts. Each assignment is worth 25%. The assignment is not difficult,
More informationAuthor: Vivek Kulkarni ( )
Author: Vivek Kulkarni ( vivek_kulkarni@yahoo.com ) Chapter-3: Regular Expressions Solutions for Review Questions @ Oxford University Press 2013. All rights reserved. 1 Q.1 Define the following and give
More informationCSCI 340: Computational Models. Regular Expressions. Department of Computer Science
CSCI 340: Computational Models Regular Expressions Chapter 4 Department of Computer Science Yet Another New Method for Defining Languages Given the Language: L 1 = {x n for n = 1 2 3...} We could easily
More informationA canonical semi-deterministic transducer
A canonical semi-deterministic transducer Achilles A. Beros Joint work with Colin de la Higuera Laboratoire d Informatique de Nantes Atlantique, Université de Nantes September 18, 2014 The Results There
More informationStream Codes. 6.1 The guessing game
About Chapter 6 Before reading Chapter 6, you should have read the previous chapter and worked on most of the exercises in it. We ll also make use of some Bayesian modelling ideas that arrived in the vicinity
More informationFABER Formal Languages, Automata. Lecture 2. Mälardalen University
CD5560 FABER Formal Languages, Automata and Models of Computation Lecture 2 Mälardalen University 2010 1 Content Languages, g Alphabets and Strings Strings & String Operations Languages & Language Operations
More informationCS6902 Theory of Computation and Algorithms
CS6902 Theory of Computation and Algorithms Any mechanically (automatically) discretely computation of problem solving contains at least three components: - problem description - computational tool - procedure/analysis
More informationIn English, there are at least three different types of entities: letters, words, sentences.
Chapter 2 Languages 2.1 Introduction In English, there are at least three different types of entities: letters, words, sentences. letters are from a finite alphabet { a, b, c,..., z } words are made up
More information6.4 Binomial Coefficients
64 Bioial Coefficiets Pascal s Forula Pascal s forula, aed after the seveteeth-cetury Frech atheaticia ad philosopher Blaise Pascal, is oe of the ost faous ad useful i cobiatorics (which is the foral ter
More informationO C C W S M N N Z C Z Y D D C T N P C G O M P C O S B V Y B C S E E K O U T T H E H I D D E N T R E A S U R E S O F L I F E
Timed question: I VISUALIZE A TIME WHEN WE WILL BE TO ROBOTS WHAT DOGS ARE TO HUMANS. AND I AM ROOTING FOR THE MACHINES. 1) S E E K O U T T H E H I D D E N T R E A S U R E S O F L I F E Here s how we get
More informationCS Automata, Computability and Formal Languages
Automata, Computability and Formal Languages Luc Longpré faculty.utep.edu/longpre 1 - Pg 1 Slides : version 3.1 version 1 A. Tapp version 2 P. McKenzie, L. Longpré version 2.1 D. Gehl version 2.2 M. Csűrös,
More informationRecap from Last Time
Regular Expressions Recap from Last Time Regular Languages A language L is a regular language if there is a DFA D such that L( D) = L. Theorem: The following are equivalent: L is a regular language. There
More informationDeciding Representability of Sets of Words of Equal Length
Deciding Representability of Sets of Words of Equal Length F. Blanchet-Sadri 1 Sean Simmons 2 November 24, 2012 Abstract Partial words are sequences over a finite alphabet that may have holes that match,
More informationarxiv: v1 [math.gr] 21 Feb 2014
LEFT TRANSITIVE AG-GROUPOIDS M. RASHAD, I. AHMAD, AND M. SHAH arxiv:1402.5296v1 [math.gr] 21 Feb 2014 Abstract. An AG-groupoid is an algebraic structure that satisfies the left invertive law: (ab)c = (cb)a.
More informationCSEP 590 Data Compression Autumn Arithmetic Coding
CSEP 590 Data Compression Autumn 2007 Arithmetic Coding Reals in Binary Any real number x in the interval [0,1) can be represented in binary as.b 1 b 2... where b i is a bit. x 0 0 1 0 1... binary representation
More informationCOSE212: Programming Languages. Lecture 1 Inductive Definitions (1)
COSE212: Programming Languages Lecture 1 Inductive Definitions (1) Hakjoo Oh 2017 Fall Hakjoo Oh COSE212 2017 Fall, Lecture 1 September 4, 2017 1 / 9 Inductive Definitions Inductive definition (induction)
More informationThe Probability of Winning a Series. Gregory Quenell
The Probability of Winning a Series Gregory Quenell Exercise: Team A and Team B play a series of n + games. The first team to win n + games wins the series. All games are independent, and Team A wins any
More information2018 Canadian Senior Mathematics Contest
The CENTRE for EDUCATION in MATHEMATICS and COMPUTING cemc.uwaterloo.ca 208 Canadian Senior Mathematics Contest Wednesday, November 2, 208 (in North America and South America) Thursday, November 22, 208
More information{a, b, c} {a, b} {a, c} {b, c} {a}
Section 4.3 Order Relations A binary relation is an partial order if it transitive and antisymmetric. If R is a partial order over the set S, we also say, S is a partially ordered set or S is a poset.
More informationCOSE212: Programming Languages. Lecture 1 Inductive Definitions (1)
COSE212: Programming Languages Lecture 1 Inductive Definitions (1) Hakjoo Oh 2018 Fall Hakjoo Oh COSE212 2018 Fall, Lecture 1 September 5, 2018 1 / 10 Inductive Definitions Inductive definition (induction)
More informationHW 3 Solutions. Tommy November 27, 2012
HW 3 Solutions Tommy November 27, 2012 5.1.1 (a) Online solution: S 0S1 ɛ. (b) Similar to online solution: S AY XC A aa ɛ b ɛ C cc ɛ X axb aa b Y by c b cc (c) S X A A A V AV a V V b V a b X V V X V (d)
More informationarxiv: v1 [math.ra] 15 Jul 2013
Additive Property of Drazin Invertibility of Elements Long Wang, Huihui Zhu, Xia Zhu, Jianlong Chen arxiv:1307.3816v1 [math.ra] 15 Jul 2013 Department of Mathematics, Southeast University, Nanjing 210096,
More informationTheory of Computer Science
Theory of Computer Science C1. Formal Languages and Grammars Malte Helmert University of Basel March 14, 2016 Introduction Example: Propositional Formulas from the logic part: Definition (Syntax of Propositional
More informationEquations with regular-singular points (Sect. 5.5).
Equations with regular-singular points (Sect. 5.5). Equations with regular-singular points. s: Equations with regular-singular points. Method to find solutions. : Method to find solutions. Recall: The
More informationCS 133 : Automata Theory and Computability
CS 133 : Automata Theory and Computability Lecture Slides 1 Regular Languages and Finite Automata Nestine Hope S. Hernandez Algorithms and Complexity Laboratory Department of Computer Science University
More information1. A polynomial p(x) in one variable x is an algebraic expression in x of the form
POLYNOMIALS Important Points 1. A polynomial p(x) in one variable x is an algebraic expression in x of the form p(x) = a nx n +a n-1x n-1 + a 2x 2 +a 1x 1 +a 0x 0 where a 0, a 1, a 2 a n are constants
More informationLearning Regular Sets
Learning Regular Sets Author: Dana Angluin Presented by: M. Andreína Francisco Department of Computer Science Uppsala University February 3, 2014 Minimally Adequate Teachers A Minimally Adequate Teacher
More informationTheory of Computation
Theory of Computation Lecture #2 Sarmad Abbasi Virtual University Sarmad Abbasi (Virtual University) Theory of Computation 1 / 1 Lecture 2: Overview Recall some basic definitions from Automata Theory.
More informationTheory of Computation
Fall 2002 (YEN) Theory of Computation Midterm Exam. Name:... I.D.#:... 1. (30 pts) True or false (mark O for true ; X for false ). (Score=Max{0, Right- 1 2 Wrong}.) (1) X... If L 1 is regular and L 2 L
More informationSolutions I.N. Herstein- Second Edition
Solutions I.N. Herstein- Second Edition Sadiah Zahoor Please email me if any corrections at sadiahzahoor@cantab.net. R is a ring in all problems. Problem 0.1. If a, b, c, d R, evaluate (a + b)(c + d).
More informationHarvard CS121 and CSCI E-121 Lecture 2: Mathematical Preliminaries
Harvard CS121 and CSCI E-121 Lecture 2: Mathematical Preliminaries Harry Lewis September 5, 2013 Reading: Sipser, Chapter 0 Sets Sets are defined by their members A = B means that for every x, x A iff
More informationMath 280 Modern Algebra Assignment 3 Solutions
Math 280 Modern Algebra Assignment 3 s 1. Below is a list of binary operations on a given set. Decide if each operation is closed, associative, or commutative. Justify your answers in each case; if an
More informationUsing bases to simplify asymptotic expansions
1 Using bases to simplify asymptotic expansions Matthias Kawski 1 Amit Sanyal 2 1 Department of Mathematics and Statistics Arizona State University 2 Department of Mechanical and Aerospace Engineering
More informationComputational Learning Theory Learning Patterns (Monomials)
Computational Learning Theory Learning Patterns (Monomials) Akihiro Yamamoto 山本章博 http://www.iip.ist.i.kyoto-u.ac.jp/member/akihiro/ akihiro@i.kyoto-u.ac.jp 1 Formal Languages : a finite set of symbols
More informationAlgebra I. Book 2. Powered by...
Algebra I Book 2 Powered by... ALGEBRA I Units 4-7 by The Algebra I Development Team ALGEBRA I UNIT 4 POWERS AND POLYNOMIALS......... 1 4.0 Review................ 2 4.1 Properties of Exponents..........
More informationWe say that a polynomial is in the standard form if it is written in the order of decreasing exponents of x. Operations on polynomials:
R.4 Polynomials in one variable A monomial: an algebraic expression of the form ax n, where a is a real number, x is a variable and n is a nonnegative integer. : x,, 7 A binomial is the sum (or difference)
More informationUndecibability. Hilbert's 10th Problem: Give an algorithm that given a polynomial decides if the polynomial has integer roots or not.
Undecibability Hilbert's 10th Problem: Give an algorithm that given a polynomial decides if the polynomial has integer roots or not. The problem was posed in 1900. In 1970 it was proved that there can
More informationRight Derivations on Semirings
International Mathematical Forum, Vol. 8, 2013, no. 32, 1569-1576 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/imf.2013.38150 Right Derivations on Semirings S. P. Nirmala Devi Department of
More informationSupplementary Examples for
Supplementary Examples for Infinite Interval Exchange Transformations from Shifts ([LN15]) Luis-Miguel Lopez Philippe Narbel Version 1.0, April, 2016 Contents A The Shifted Intervals Preservation (Lemma
More informationChapter 4 Finite Fields
Chapter 4 Finite Fields Introduction will now introduce finite fields of increasing importance in cryptography AES, Elliptic Curve, IDEA, Public Key concern operations on numbers what constitutes a number
More informationUNIT 5 VOCABULARY: POLYNOMIALS
3º ESO Bilingüe Page 1 UNIT 5 VOCABULARY: POLYNOMIALS 1.1. Monomials A monomial is an algebraic expression consisting of only one term. A monomial can be any of the following: A constant: 2 4-5 A variable:
More informationSet Theory. CSE 215, Foundations of Computer Science Stony Brook University
Set Theory CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.edu/~cse215 Set theory Abstract set theory is one of the foundations of mathematical thought Most mathematical
More informationarxiv: v1 [math.ra] 27 Jul 2013
Additive and product properties of Drazin inverses of elements in a ring arxiv:1307.7229v1 [math.ra] 27 Jul 2013 Huihui Zhu, Jianlong Chen Abstract: We study the Drazin inverses of the sum and product
More informationFrom p-adic numbers to p-adic words
From p-adic numbers to p-adic words Jean-Éric Pin1 1 January 2014, Lorentz Center, Leiden References I S. Eilenberg, Automata, Languages and Machines, Vol B, Acad. Press, New-York (1976). M. Lothaire,
More informationFALL 07 CSE 213: HW4
FALL 07 CSE 213: HW4 1) R 1 is not a partial ordered relation, since it is not antisymmetric. Having (1,3) and (3,1) in the relation; does not imply that 1=3 because 1 3. R 2 is a partial order because
More informationRegular Expressions [1] Regular Expressions. Regular expressions can be seen as a system of notations for denoting ɛ-nfa
Regular Expressions [1] Regular Expressions Regular expressions can be seen as a system of notations for denoting ɛ-nfa They form an algebraic representation of ɛ-nfa algebraic : expressions with equations
More informationCS311 Computational Structures Regular Languages and Regular Expressions. Lecture 4. Andrew P. Black Andrew Tolmach
CS311 Computational Structures Regular Languages and Regular Expressions Lecture 4 Andrew P. Black Andrew Tolmach 1 Expressions Weʼre used to using expressions to describe mathematical objects Example:
More informationLesson 2: Introduction to Variables
Lesson 2: Introduction to Variables Topics and Objectives: Evaluating Algebraic Expressions Some Vocabulary o Variable o Term o Coefficient o Constant o Factor Like Terms o Identifying Like Terms o Combining
More informationSemigroup presentations via boundaries in Cayley graphs 1
Semigroup presentations via boundaries in Cayley graphs 1 Robert Gray University of Leeds BMC, Newcastle 2006 1 (Research conducted while I was a research student at the University of St Andrews, under
More informationBasic counting techniques. Periklis A. Papakonstantinou Rutgers Business School
Basic counting techniques Periklis A. Papakonstantinou Rutgers Business School i LECTURE NOTES IN Elementary counting methods Periklis A. Papakonstantinou MSIS, Rutgers Business School ALL RIGHTS RESERVED
More information1.3 Algebraic Expressions. Copyright Cengage Learning. All rights reserved.
1.3 Algebraic Expressions Copyright Cengage Learning. All rights reserved. Objectives Adding and Subtracting Polynomials Multiplying Algebraic Expressions Special Product Formulas Factoring Common Factors
More informationComplexité palindromique des codages de rotations et conjectures
Complexité palindromique des codages de rotations et conjectures Sébastien Labbé Laboratoire d Informatique, de Robotique et de Microélectronique de Montpellier Université Montpellier 2 Laboratoire de
More informationSummary of Last Lectures
Lossless Coding IV a k p k b k a 0.16 111 b 0.04 0001 c 0.04 0000 d 0.16 110 e 0.23 01 f 0.07 1001 g 0.06 1000 h 0.09 001 i 0.15 101 100 root 1 60 1 0 0 1 40 0 32 28 23 e 17 1 0 1 0 1 0 16 a 16 d 15 i
More informationMath Bootcamp 2012 Miscellaneous
Math Bootcamp 202 Miscellaneous Factorial, combination and permutation The factorial of a positive integer n denoted by n!, is the product of all positive integers less than or equal to n. Define 0! =.
More informationAutomata Theory CS F-04 Non-Determinisitic Finite Automata
Automata Theory CS411-2015F-04 Non-Determinisitic Finite Automata David Galles Department of Computer Science University of San Francisco 04-0: Non-Determinism A Deterministic Finite Automata s transition
More informationArithmetic Operations. The real numbers have the following properties: In particular, putting a 1 in the Distributive Law, we get
MCA AP Calculus AB Summer Assignment The following packet is a review of many of the skills needed as we begin the study of Calculus. There two major sections to this review. Pages 2-9 are review examples
More informationUnit 13: Polynomials and Exponents
Section 13.1: Polynomials Section 13.2: Operations on Polynomials Section 13.3: Properties of Exponents Section 13.4: Multiplication of Polynomials Section 13.5: Applications from Geometry Section 13.6:
More informationC1.1 Introduction. Theory of Computer Science. Theory of Computer Science. C1.1 Introduction. C1.2 Alphabets and Formal Languages. C1.
Theory of Computer Science March 20, 2017 C1. Formal Languages and Grammars Theory of Computer Science C1. Formal Languages and Grammars Malte Helmert University of Basel March 20, 2017 C1.1 Introduction
More informationSection 1.3 Ordered Structures
Section 1.3 Ordered Structures Tuples Have order and can have repetitions. (6,7,6) is a 3-tuple () is the empty tuple A 2-tuple is called a pair and a 3-tuple is called a triple. We write (x 1,, x n )
More informationAdditional Practice Lessons 2.02 and 2.03
Additional Practice Lessons 2.02 and 2.03 1. There are two numbers n that satisfy the following equations. Find both numbers. a. n(n 1) 306 b. n(n 1) 462 c. (n 1)(n) 182 2. The following function is defined
More informationTheory of Computation (Classroom Practice Booklet Solutions)
Theory of Computation (Classroom Practice Booklet Solutions) 1. Finite Automata & Regular Sets 01. Ans: (a) & (c) Sol: (a) The reversal of a regular set is regular as the reversal of a regular expression
More informationMath 101 Study Session Spring 2016 Test 4 Chapter 10, Chapter 11 Chapter 12 Section 1, and Chapter 12 Section 2
Math 101 Study Session Spring 2016 Test 4 Chapter 10, Chapter 11 Chapter 12 Section 1, and Chapter 12 Section 2 April 11, 2016 Chapter 10 Section 1: Addition and Subtraction of Polynomials A monomial is
More informationA Universal Turing Machine
A Universal Turing Machine A limitation of Turing Machines: Turing Machines are hardwired they execute only one program Real Computers are re-programmable Solution: Universal Turing Machine Attributes:
More informationBOUNDS ON ZIMIN WORD AVOIDANCE
BOUNDS ON ZIMIN WORD AVOIDANCE JOSHUA COOPER* AND DANNY RORABAUGH* Abstract. How long can a word be that avoids the unavoidable? Word W encounters word V provided there is a homomorphism φ defined by mapping
More informationNotes on generating functions in automata theory
Notes on generating functions in automata theory Benjamin Steinberg December 5, 2009 Contents Introduction: Calculus can count 2 Formal power series 5 3 Rational power series 9 3. Rational power series
More informationPREDICTING NEW STRUCTURES: THE SIMPLE CUBIC AND PEROVSKITE CASE
PREDICTING NEW STRUCTURES: THE SIMPLE CUBIC AND PEROVSKITE CASE by Matthew Lords advisor Dr. Gus Hart Physics 492R Capstone Project Report Department of Physics and Astronomy Brigham Young University March
More informationCSE 105 Homework 1 Due: Monday October 9, Instructions. should be on each page of the submission.
CSE 5 Homework Due: Monday October 9, 7 Instructions Upload a single file to Gradescope for each group. should be on each page of the submission. All group members names and PIDs Your assignments in this
More informationAutomata: a short introduction
ILIAS, University of Luxembourg Discrete Mathematics II May 2012 What is a computer? Real computers are complicated; We abstract up to an essential model of computation; We begin with the simplest possible
More informationW3203 Discrete Mathema1cs. Coun1ng. Spring 2015 Instructor: Ilia Vovsha.
W3203 Discrete Mathema1cs Coun1ng Spring 2015 Instructor: Ilia Vovsha h@p://www.cs.columbia.edu/~vovsha/w3203 Outline Bijec1on rule Sum, product, division rules Permuta1ons and combina1ons Sequences with
More informationDiscrete Probability
Discrete Probability Counting Permutations Combinations r- Combinations r- Combinations with repetition Allowed Pascal s Formula Binomial Theorem Conditional Probability Baye s Formula Independent Events
More informationAnalytic Number Theory Solutions
Analytic Number Theory Solutions Sean Li Cornell University sxl6@cornell.edu Jan. 03 Introduction This document is a work-in-progress solution manual for Tom Apostol s Introduction to Analytic Number Theory.
More informationWeek Some Warm-up Questions
1 Some Warm-up Questions Week 1-2 Abstraction: The process going from specific cases to general problem. Proof: A sequence of arguments to show certain conclusion to be true. If... then... : The part after
More informationSection Summary. Sequences. Recurrence Relations. Summations. Examples: Geometric Progression, Arithmetic Progression. Example: Fibonacci Sequence
Section 2.4 1 Section Summary Sequences. Examples: Geometric Progression, Arithmetic Progression Recurrence Relations Example: Fibonacci Sequence Summations 2 Introduction Sequences are ordered lists of
More informationClosure Properties of Regular Languages
Closure Properties of Regular Languages Lecture 13 Section 4.1 Robb T. Koether Hampden-Sydney College Wed, Sep 21, 2016 Robb T. Koether (Hampden-Sydney College) Closure Properties of Regular Languages
More informationEXAMPLES OF PROOFS BY INDUCTION
EXAMPLES OF PROOFS BY INDUCTION KEITH CONRAD 1. Introduction In this handout we illustrate proofs by induction from several areas of mathematics: linear algebra, polynomial algebra, and calculus. Becoming
More informationP-adic numbers. Rich Schwartz. October 24, 2014
P-adic numbers Rich Schwartz October 24, 2014 1 The Arithmetic of Remainders In class we have talked a fair amount about doing arithmetic with remainders and now I m going to explain what it means in a
More informationComputational Learning Theory Extending Patterns with Deductive Inference
Computational Learning Theory Extending Patterns with Deductive Inference Akihiro Yamamoto 山本章博 http://www.iip.ist.i.kyoto-u.ac.jp/member/akihiro/ akihiro@i.kyoto-u.ac.jp 1 Contents What about a pair of
More informationProve proposition 68. It states: Let R be a ring. We have the following
Theorem HW7.1. properties: Prove proposition 68. It states: Let R be a ring. We have the following 1. The ring R only has one additive identity. That is, if 0 R with 0 +b = b+0 = b for every b R, then
More informationSets are one of the basic building blocks for the types of objects considered in discrete mathematics.
Section 2.1 Introduction Sets are one of the basic building blocks for the types of objects considered in discrete mathematics. Important for counting. Programming languages have set operations. Set theory
More informationSolutions to 2015 Entrance Examination for BSc Programmes at CMI. Part A Solutions
Solutions to 2015 Entrance Examination for BSc Programmes at CMI Part A Solutions 1. Ten people sitting around a circular table decide to donate some money for charity. You are told that the amount donated
More informationAbstract Algebra FINAL EXAM May 23, Name: R. Hammack Score:
Abstract Algebra FINAL EXAM May 23, 2003 Name: R. Hammack Score: Directions: Please answer the questions in the space provided. To get full credit you must show all of your work. Use of calculators and
More informationLecture 1 09/08/2017
15CS54 Automata Theory & Computability By Harivinod N Asst. Professor, Dept of CSE, VCET Puttur 1 Lecture 1 09/08/2017 3 1 Text Books 5 Why Study the Theory of Computation? Implementations come and go.
More informationThe Limits of Computation
The Limits of Computation 7B Noncomputability 15-105 Principles of Computation, Carnegie Mellon University - CORTINA 1 It gets worse... Tractable Problems Problems that have reasonable, polynomialtime
More informationSolutions to Exercises, Section 2.4
Instructor s Solutions Manual, Section 2.4 Exercise 1 Solutions to Exercises, Section 2.4 Suppose p(x) = x 2 + 5x + 2, q(x) = 2x 3 3x + 1, s(x) = 4x 3 2. In Exercises 1 18, write the indicated expression
More informationCS A Term 2009: Foundations of Computer Science. Homework 2. By Li Feng, Shweta Srivastava, and Carolina Ruiz.
CS3133 - A Term 2009: Foundations of Computer Science Prof. Carolina Ruiz Homework 2 WPI By Li Feng, Shweta Srivastava, and Carolina Ruiz Chapter 4 Problem 1: (10 Points) Exercise 4.3 Solution 1: S is
More informationOn Parsing Expression Grammars A recognition-based system for deterministic languages
Bachelor thesis in Computer Science On Parsing Expression Grammars A recognition-based system for deterministic languages Author: Démian Janssen wd.janssen@student.ru.nl First supervisor/assessor: Herman
More information1 Alphabets and Languages
1 Alphabets and Languages Look at handout 1 (inference rules for sets) and use the rules on some examples like {a} {{a}} {a} {a, b}, {a} {{a}}, {a} {{a}}, {a} {a, b}, a {{a}}, a {a, b}, a {{a}}, a {a,
More informationAutomata Theory Final Exam Solution 08:10-10:00 am Friday, June 13, 2008
Automata Theory Final Exam Solution 08:10-10:00 am Friday, June 13, 2008 Name: ID #: This is a Close Book examination. Only an A4 cheating sheet belonging to you is acceptable. You can write your answers
More information6-5 Multiplying Polynomials
6-5 Multiplying Polynomials Warm Up Lesson Presentation Lesson Quiz Algebra 1 Warm Up Evaluate. 1.3 2 3.10 2 Simplify. 9 2.2 4 16 100 4.2 3 2 4 6. (5 3 ) 2 2 7 5. y 5 y 4 5 6 7.(x 2 ) 4 y 9 x 8 8. 4(x
More informationExamples of Finite Sequences (finite terms) Examples of Infinite Sequences (infinite terms)
Math 120 Intermediate Algebra Sec 10.1: Sequences Defn A sequence is a function whose domain is the set of positive integers. The formula for the nth term of a sequence is called the general term. Examples
More informationMultiplying Products of Prime Powers
Problem 1: Multiplying Products of Prime Powers Each positive integer can be expressed (in a unique way, according to the Fundamental Theorem of Arithmetic) as a product of powers of the prime numbers.
More informationdownload instant at Assume that (w R ) R = w for all strings w Σ of length n or less.
Chapter 2 Languages 3. We prove, by induction on the length of the string, that w = (w R ) R for every string w Σ. Basis: The basis consists of the null string. In this case, (λ R ) R = (λ) R = λ as desired.
More informationNONCONSTRUCTIBLE BLOCKS IN 1D CELLULAR AUTOMATA: MINIMAL GENERATORS AND NATURAL SYSTEMS. Andrew Adamatzky* and Andrew Wuensche**
NONCONSTRUCTIBLE BLOCKS IN 1D CELLULAR AUTOMATA: MINIMAL GENERATORS AND NATURAL SYSTEMS Andrew Adamatzky* and Andrew Wuensche** * IAS Lab, University of the West of England, Coldharbour Lane, Bristol BS16
More informationNumber Theory and Counting Method. Divisors -Least common divisor -Greatest common multiple
Number Theory and Counting Method Divisors -Least common divisor -Greatest common multiple Divisors Definition n and d are integers d 0 d divides n if there exists q satisfying n = dq q the quotient, d
More informationMatrix Multiplication
228 hapter Three Maps etween Spaces IV2 Matrix Multiplication After representing addition and scalar multiplication of linear maps in the prior subsection, the natural next operation to consider is function
More informationLinear Classifiers (Kernels)
Universität Potsdam Institut für Informatik Lehrstuhl Linear Classifiers (Kernels) Blaine Nelson, Christoph Sawade, Tobias Scheffer Exam Dates & Course Conclusion There are 2 Exam dates: Feb 20 th March
More informationSimplifying Rational Expressions and Functions
Department of Mathematics Grossmont College October 15, 2012 Recall: The Number Types Definition The set of whole numbers, ={0, 1, 2, 3, 4,...} is the set of natural numbers unioned with zero, written
More informationEquivalence, Order, and Inductive Proof
2/ chapter 4 Equivalence, Order, and Inductive Proof Good order is the foundation of all things. Edmund Burke (729 797) Classifying things and ordering things are activities in which we all engage from
More informationCompiler Design. Spring Lexical Analysis. Sample Exercises and Solutions. Prof. Pedro C. Diniz
Compiler Design Spring 2011 Lexical Analysis Sample Exercises and Solutions Prof. Pedro C. Diniz USC / Information Sciences Institute 4676 Admiralty Way, Suite 1001 Marina del Rey, California 90292 pedro@isi.edu
More information