1 views

Uploaded by genie00x

- ACT Math Formulas Interactive
- Learning Python Programacion y otros
- grade 8 lesson 7 square roots
- Mathlab Exp. 2
- Chapter 3 - Functions
- w s-7 square roots
- 7 Rules for Writing Clojure Programs _ Two Guys Arguing
- Never Split the Difference: Negotiating As If Your Life Depended On It
- Shoe Dog: A Memoir by the Creator of Nike
- Hidden Figures: The American Dream and the Untold Story of the Black Women Mathematicians Who Helped Win the Space Race
- The Library Book
- Elon Musk: Tesla, SpaceX, and the Quest for a Fantastic Future
- Sapiens: A Brief History of Humankind
- The Unwinding: An Inner History of the New America
- The Subtle Art of Not Giving a F*ck: A Counterintuitive Approach to Living a Good Life
- The Hard Thing About Hard Things: Building a Business When There Are No Easy Answers
- A Heartbreaking Work Of Staggering Genius: A Memoir Based on a True Story
- This Changes Everything: Capitalism vs. The Climate
- The Emperor of All Maladies: A Biography of Cancer
- Team of Rivals: The Political Genius of Abraham Lincoln

You are on page 1of 12

Peter Cappello Department of Computer Science University of California, Santa Barbara Santa Barbara, CA 93106 cappello@cs.ucsb.edu

The corresponding textbook chapter should be read before attending this lecture. These notes are not intended to be complete. They are supplemented with gures, and other material that arises during the lecture period in response to questions.

Based on Theory of Computing, 2nd Ed., D. Cohen, John Wiley & Sons, Inc.

A precise and useful way to dene sets is by recursive denition. A recursive denition of set S has 2 kinds of rules: An enumeration of Ss base elements; Rules for making new elements in S from Ss existing elements.

Example 1

Set S is dened by the following rules: 0, 1 S a, b S a + b S. Can you characterize S using English words?

Example 2

Set S is dened by the following rules: 0, 1 S a, b S a + b, a b S. Can you characterize S using English words?

Example 3

Set S is dened by the following rules: 0, 1 S a, b S a + b, a b S. a, b S a/b S, for b = 0. Can you characterize S using English words?

Example 4

Set S is dened by the following rules: 0, 1 S a, b S a + b, a b S. a, b S a/b S, for b = 0. a, b S a b S. Can you prove that 3 5 S?

Observation:

Denition of S 1. 0, 1 S 2. a, b S a + b, a b S.

Proof of observation 1. 1 S (Rule 1) 2. 2 = 1 + 1 S (Step1, Rule 2) 3. 3 = 2 + 1 S (Step 2, Rule 2) 4. 3 S (Step 3, Rule 2) 5. 5 = 3 + 2 S (Steps 2, 3, Rule 2) 6. 3 5 S (Steps 4, 5, Rule 2) Can you think of an alternate proof?

5S

Example 5

Function f is dened by the following rules: f (0) = 0, f (1) = 1 f (n) = f (n 1) + f (n 2). Have you seen this function before?

Let S be a language. Dene Ss Kleene closure, denoted S , as follows: S w S w S x, w S xw S .

Let = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, +, , , /, (, )}. Dene arithmetic expressions, denoted AE, as follows. 1. Any number (positive, negative, or zero) is in AE 2. x, y AE : (b) x AE (provided that x does not already start with ) (d) x y AE (if the rst symbol of y is not + or ) (e) x y AE (c) x + y AE (if the rst symbol of y is not + or ) (a) (x) AE

10

(g) x y AE (our notation for exponentiation) This denition says nothing about the value or meaning of such an expression. What do we want 3 3 3 to mean?

(f) x/y AE

11

Let Letter = {a, A, b, B, ..., z, Z}. Let Digit = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}. Let = Letter Digit { , $ }. Dene Identif ier = Letter .

12

- ACT Math Formulas InteractiveUploaded byGuz Noya
- Learning Python Programacion y otrosUploaded byastrolios
- grade 8 lesson 7 square rootsUploaded byapi-249796897
- Mathlab Exp. 2Uploaded byXenon Medina
- Chapter 3 - FunctionsUploaded byAthina
- w s-7 square rootsUploaded byapi-253679034
- 7 Rules for Writing Clojure Programs _ Two Guys ArguingUploaded byOscar Prieto Blanco

- A Handy Tool for ChemometricsUploaded byAnjamSood
- Reading StrategiesUploaded byHazira Romainor
- Ch3 II CongruencesUploaded byHazel Clemente Carreon
- 1- Electric FieldUploaded byMuhamad Faris Ikhwan
- Mother Tongue Newsletter 3 (Spring 1987)Uploaded byAllan Bomhard
- ccrwt 2018 cfp 1Uploaded byapi-233867021
- Sialkot Chamber of Commerce & Industries a prestigious example of CSRUploaded byShaheer Rizvi
- Anh văn BUploaded byNguyễn Minh Lộc
- Using User Defined Results in ANSYS Mechanical _ PADT, IncUploaded byEngr Arbab Faisal
- 11g Rac Installation Final DocUploaded bypoornamba7
- 1917886Uploaded byBrainy12345
- intra-actUploaded byapi-277852528
- Einstein Hyperbolic Geometric FlowUploaded byapelay
- mb87p2020aUploaded byДрагиша Небитни Трифуновић
- Abigail Phillips CvUploaded byAbby Phillips
- Lab ManUploaded byapi-3693527
- Vidyalaya Alumni Newsletter - Jul-Dec 2008 IssueUploaded byRamakrishna Mission Vidyalaya
- Farrell j Java Programming 6th Ed 2011 PDFUploaded byTodd
- IEEE-ICA-ACCA-2018-Booklet.pdfUploaded byRMarcos Sacasqui
- Presentation Folder EnUploaded byPaul
- Kenneth Scheel InterviewUploaded byDarcie Davis, The Game Gal
- INFED, a program of the Department of EducationUploaded byBlooer Bloo
- Journals e 3Uploaded byTeam Jobbers
- Start PointeUploaded byEdith Alvarado
- Particle Swarm Optimization_ Tutorial (2)Uploaded byRavish Yadav
- What is Nueral NetworkUploaded byom98474831879339
- PerlUploaded byJack O'Neill
- Overview SymcliUploaded byDhananjay Gupta
- Mobileanalyzer Br Nsd Tm AeUploaded byteertage
- Father’s Day June 18th 2017; How is Fatherhood Changing Men? Interview Dr. Bruce Linton, Founder of the Fathers’ Forum.Uploaded byPR.com