Download presentation

Presentation is loading. Please wait.

Published byPriscilla Powis Modified over 2 years ago

2
Comparing Sets Size without Counting 2 sets A and B have the same size if there is a function f: A B such that: For every x A there is one and only y B such that f(x) = y Every y B has one x A such that f(x) = y In such situations f is said to be a bijective

3
Example: 123456123456 abcdefabcdef A B

4
Example (2) E = {n : n is an even natural number} N = {n : n is a natural number} Does E and N have the same size? Yes: f(x) = x/2 is a bijective from E to N N = {f(2), f(4), f(6),…}

5
Example (3) R 1 = {r : r is a real positive number greater than 1} (0,1] = {r : r is a real number between 0 and 1} Does R1 and (0,1] have the same size? Yes: f(x) = 1/x is a bijective from R 1 to (0,1] 1 1 same size!

6
Example (4) How about: R + = {r : r is a real non-negative number} N = {n : n is a natural number} Every attempt fails: f(x) = x(leaves numbers like 0.5 out) f(x) = floor(x) (assigns the same value for numbers like 1.2 and 1.3) How can we know for sure that there is no bijective function from R + to N?

7
Enumerability We know that there is an enumeration for all the natural numbers: 1, 2, 3, 4, … The point is that for any natural, say 10 1000, it will eventually be listed!, 10 1000, … There is no such enumeration of all the real numbers between 0 and 1 (i.e., 0, 0.01, 0.1003, 3/ ) Thus there can’t be any bijective function f: N [0,1], otherwise: {f(0), f(1), f(2), …} would be an enumeration for [0,1] Surprisingly there is a enumeration for the rational numbers (the irrational numbers the ones that are non enumerable!)

8
Enumerability (2) The set of all rational numbers: {p/q : p, q are natural numbers} is enumerable: 1 2 3 4 5 … q … 1 1/1 1/2 1/3 1/4 1/5 … 1/q … 2 2/1 2/2 2/3 2/4 2/5 … 2/q … 3 3/1 … 4 4/1 … 5 5/1 … 5/q … … p p/1 … p/q … … Enumeration: 1/1, 1/2, 2/1, 1/3, 2/2, 3/1, 1/4, …, p/q, … Note: you could easily write a program in C++ that outputs this enumeration (and runs forever)

9
[0,1) Is Not Enumerable By contradiction: suppose that there is an enumeration for all the real numbers between 0 and 1: # 1: 0.012304565... # 2: 0.10002344345... # 3: 0.865732546789 … … #23: 0.434555…6… …

10
[0,1) Is Not Enumerable (II) #1: 0.012304565... #2: 0.10002344345... #3: 0.865732546789 … … #23: 0.434555…6… … We construct a number as follows: for each number n in the enumeration, we look at the n-th digit in n: The 23-rd digit = 0.005…6… Obviously is a real number between 0 and 1

11
[0,1) Is Not Enumerable(III) #1: 0.012304565... #2: 0.10002344345... #3: 0.865732546789 … … #23: 0.434555…6… … We construct a number as follows: we change each digit in for a different digit: = 0.005…6… = 0.120…7… Question: is = #1? or = #2? or … or = #23? or … Obviously is a real number between 0 and 1 … … Thus, it is not possible to enumerate all the real numbers between 0 and 1!

12
Consequences This means that even though the natural and the real numbers are both infinite, the size of the set of the real numbers is “bigger” than the size of the set of the natural numbers. This has been known for mathematicians for quite a long time Astonishingly, this result is relevant for Turing Machines!

13
Enumerability and Turing Machines Theorem 1. If a language is decidable then the language is Turing-enumerable Theorem 2. A language is semi-decidable if and only if the language is Turing-enumerable Definition: A language L is Turing-enumerable is there is a Turing machine that enumerates all words in L in its tape (may run forever): w 1 w 2 w 3 …

14
Optional Homework (Wednesday) Explain why C++ programs can be simulated with Turing machines Enumerate the ways to proof that a language is: decidable semi-decidable Enumerable 4.20 c) 4.24 a)

15
* is Turing-Enumerable As an example consider = {a, b} We can define a < b and then induce a lexicographical order: abbbabbbabbabbb> We can can list all elements: e, a, b, aa, ab, bb, aaa, … We can construct a 3-Tape Turing machine with a counter i = 0, 1, 2, … on the second tape, and in each loop construct all combinations of words of length i in tape 3. Once done, copy those words to the end (i.e., ) of the first tape (cumbersome but doable!) A similar construction can be made for any (finite)

16
Decidable Implies Enumerable Let L be a language over the alphabet If L is decidable there is a Turing Machine that decides M Let M* be the Turing machine that enumerates * Construct a 3-tape Turing machine that enumerates L as follows: M* will output words on the 2 nd tape Every time M* outputs a word w, it is copied in the 3 rd tape, where M checks if w is in L If w is in L it is appended to the end of the 1 st tape

17
Enumerable Implies Semi-decidable Let L be a Turing-enumerable language Thus, there is a Turing machine M that enumerates words in L We can construct a Turing machine ML that semi-decides if a word w is in L as follows: Run M and wait to see if w is put on the tape. If w is printed on the tape, ML halts. If not, it continues waiting to see if w is printed on the tape.

18
Backup Slides Please Ignore

19
* is Enumerable Theorem. If is finite then * is enumerable If = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}, * = {0, 1, …, 12, 13, …, 654, …} If = {a, b, c, d, e, f, g, h, i, j} * = {a, b, …, bc, cd, …, gfe, …} If consist of 500 symbols, we map them to the first 500 numbers ** The Turing machine that enumerates all strings in

20
Decidable Implies Enumerable Suppose that L is decidable. By definition, it means that there is a Turing machine M L that decides L For example if L = {a n b n : n = 0, 1, 2, …} and = {a, b, c } then * = {a, b, c, aa, ab, ac, ba, bb, …} Tape2: abaabb… ** MLML If word is in L it copies into the second tape and adds an space An enumeration of L!

Similar presentations

OK

1 Advanced Theory of Computation Finite Automata with output Pumping Lemma Theorem.

1 Advanced Theory of Computation Finite Automata with output Pumping Lemma Theorem.

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google

Powerpoint ppt on nanotechnology Ppt on micro channel heat exchanger Ppt on self development tips Ppt on ar verbs Numeric display ppt on ipad Ppt on types of web browser Ppt on adjectives for grade 3 Ppt on main bodies of uno Ppt on different types of forests in philippines Ppt on statistics in maths what is the factor