Download presentation

Presentation is loading. Please wait.

Published byCollin Simmons Modified over 2 years ago

1
1 CSC3130 Formal Languages and Automata Theory Tutorial 9 Undecidable Problem KN Hung SHB 1026

2
2 Agenda Recap –Decidibility, Undecidibility, Turing- Recognizable … Reduction Undecidable Problem

3
3 Recap

4
4 Recap: Recognize Given a language L and a machine M “ M recognizes L ” iff “For any w ∈ L, M halts and goes to an accepting state” “ M is a recognizer for L ” However, for w ∉ L, M may –Reject –Loop forever

5
5 Recap: Decide Given a language L and a machine M “ M decides L ” iff “For any w ∈ L, M halts and accepts AND Otherwise, M rejects” “ M is a decider for L ” Meaning: M can determine whether a given string is in L or not

6
6 Recognize VS Decide Recognize = Halts for accepting input Decide = Halts for all inputs Decide => Recognize Make sure that you can distinguish these two concepts!

7
7 Recap: ~able / ~ability L is Turing-recognizable iff there is a TM that recognizes L L is decidable iff there is a TM that decides L L is undecidable iff there is no TM that decides L

8
8 Recognizability VS Decidibility Turing- Recognizable Decidable For a language, L, located here, there is no machine that halts for all input string

9
9 Some Decidable Problems The following problems are decidable –A DFA = { | A is a DFA that accepts w} –A NFA = { | A is a NFA that accepts w} –E DFA = { | A is a DFA and L(A) = Ø} –EQ DFA = { | A, B are DFAs, L(A) = L(B)} –A CFG = { | G is a CFG that generates w}

10
10 Some Undecidable Problems The following problems are undecidable –A TM = { | M is a TM that accepts w} To prove undecidability of a problem using reduction, A TM is used very frequently (nearly in all situations) Used in Example 1 and 2 (Later slides)

11
11 Reduction

12
12 Reduction Occurs in daily life… Problem A : Travel to Japan Problem B : Buying a air ticket to Japan Problem A reduces to Problem B –Meaning: Settling B automatically solves A –Put in logical statement: B is solvable A is solvable

13
13 Reduction Buy an air ticket Travel to Japan Reduce to The problem “To buy an air ticket” encloses The problem “To travel to Japan”

14
14 Reduction B A Reduce to Problem B “encloses” A So, B is solved => A is solved Thus, B is no harder than A !

15
15 Reduction A reduces to B A is reducible to B –If B is solved, then A is solved –i.e., Whenever there is a solution to B, then there is a solution to A If A cannot be solved, then B cannot be solved (Contrapositive) Thus, B is no harder than A B A Reduced to

16
16 Undecidable Problems

17
17 Example 1 Show that REGULAR TM is undecidable REGULAR TM = { | M is a TM and L(M) is a regular language }

18
18 REGULAR TM is undecidable? Idea (By Contradiction): –Assume there is a TM R that decides REGULAR TM –Construct a TM S that decides A TM –Contradiction!

19
19 Construction of S On input –where M is a TM and w is a string: Construct M’ by M and w Run R on Output the answer

20
20 Idea of M’ Strategy: Convert M into another TM M’ : M’ recognizes a regular language iff M accepts w If M accepts w, let M’ recognizes {0, 1}* Otherwise, let M’ recognizes {0 n 1 n } With the above properties –When we run R on, the output is “accept” iff M accepts w –Why…? [See next few slides…]

21
21 Construction of M’ M’ = “On input x : 1. If x has the form 0 n 1 n, accept 2. If x does not have this form, run M on input w and output answer” {0 n 1 n } is recognized by M’ anyway How about the other strings?

22
22 Construction of M’ For strings of form 0 n 1 n, M’ accepts For all the other strings, listing all cases… –If M accepts w they are all accepted by M’ –If M rejects w they are all rejected by M’ –If M loops on w they all loop on M’ M’ = “On input x : 1. If x has the form 0 n 1 n, accept 2. If x does not have this form, run M on input w and output answer”

23
23 L(M’) in relation to S If M accepts w –M’ recognizes {0 n 1 n } ∪ {0,1}* –{0,1}* is regular –R will accept M’ If M does not accept w –M’ recognizes {0 n 1 n } ∪ Ø –{0 n 1 n } is not regular –R will reject M’

24
24 REGULAR TM is undecidable Assume “ R that decides REGULAR TM ” exists We construct S to decide A TM “On input, where M is a TM and w is a string: 1.Construct the following TM M’ M’ = “On input x : 1.If x has the form 0 n 1 n, accept 2.If x does not have this form, run M on input w and accept if M accepts w ” 2. Run R on input 3. Output the output of R ” Now, S decides A TM … Contradiction!

25
25 Example 2 L = { | M accepts all strings shorter than w} Show that L is undecidable

26
26 L is undecidable? L = { | M accepts all strings shorter than w} Again, we try to use the undecidability of A TM to achieve a contradiction Idea (By Contradiction): –Assume there is a TM R that decides L –Construct a TM (by R ), S that decides A TM –Contradiction!

27
27 Construction of S On input –where M is a TM and w is a string: Construct M’ by M and w Run R on –This time, we have a TM that takes 2 arguments – a TM, and a string – as inputs –Think what string to put as the 2 nd input Output the answer

28
28 Idea of M’ Strategy: Convert M into another TM M’ : M’ accepts all strings shorter than z iff M accepts w We want to achieve the following: –When we run R on, the output is “accept” iff M accepts w

29
29 Idea of M’ Strategy: Convert M into another TM M’ : M’ accepts all strings shorter than “ 1 ” iff M accepts w We want to achieve the following: –When we run R on, the output is “accept” iff M accepts w

30
30 Construction of M’ M’ = “On input x : 1. If x =ε Run M on w Output the answer 2. If x ≠ε Reject

31
31 Construction of M’ For M’ –If M accepts w the only possibility is input isε AND M’ accepts ε –If M rejects w, Case 1: x = ε –M’ rejects Case 2: x ≠ε –M’ rejects –If M loops on w Case 1: x = ε –M’ loops Case 2: x ≠ε –M’ rejects M’ = “On input x : If x = ε run M on w and output answer If x ≠ε reject”

32
32 Construction of M’ For M’ –If M accepts w M’ accepts only ε –Otherwise M’ does not accepts any string –including ε M’ = “On input x : If x = ε run M on w and output answer If x ≠ε reject”

33
33 L(M’) in relation to S If M accepts w –L(M’) = { ε } –{ ε } is exactly the language that contains all string shorter than “1” –S accepts Otherwise (i.e., M loops on or rejects w ) –L(M’) = Ø –S rejects

34
34 L is undecidable Assume “ R that decides REGULAR TM ” exists We construct S to decide A TM “On input, where M is a TM and w is a string: 1.Construct the following TM M’ M’ = “On input x : 1. If x =ε Run M on x Output the answer 2. If x ≠ε Reject 2. Run R on input 3. Output the output of R ” Now, S decides A TM … Contradiction!

35
35 Conclusion

36
36 Pf: Undecidability by Reduction R Given an undecidable language, L Assume such a decider TM R, exists

37
37 Given an undecidable language, L Assume such a decider TM R, exists Construct a TM, M’, by M and w –M is from input Pf: Undecidability by Reduction R MM’ Modify Input w

38
38 Given an undecidable language, L Assume such a decider TM R, exists Construct a TM, M’, by M and w –M is from input Feed M’ to R Pf: Undecidability by Reduction R MM’ Modify Input w

39
39 Given an undecidable language, L Assume such a decider TM R, exists Construct a TM, M’, by M and w –M is from input Feed M’ to R If you are right –R will accept M’ iff M accepts w –R will reject M’ iff M does not accept w Thus, you obtain a decider for A TM –Contradiction!! Pf: Undecidability by Reduction R MM’ Modify Input “M acc w” then ACC Otherwise, REJ w

40
40 Q & A Thanks for coming! I understand that this topic is confusing… Should have some questions?

Similar presentations

OK

1 Introduction to Computability Theory Lecture15: Reductions Prof. Amos Israeli.

1 Introduction to Computability Theory Lecture15: Reductions Prof. Amos Israeli.

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google

Ppt on chapter 3 drainage cap Ppt on machine translation jokes Ppt on radio network controller Ppt on geothermal energy source Ppt on file system in operating system Free ppt on business etiquette Ppt on mauryan art Ppt on change management process Ppt on cartesian product matlab Ppt on community health and environment