Download presentation

Presentation is loading. Please wait.

Published byMayra Hinman Modified over 3 years ago

1
1 Decidability continued…

2
2 Theorem: For a recursively enumerable language it is undecidable to determine whether is finite Proof: We will reduce the halting problem to this problem

3
3 Algorithm for finite language problem YES NO Assume we have the finite language algorithm: Let be the machine that accepts finite not finite

4
4 Algorithm for Halting problem YES NO halts on We will design the halting problem algorithm: doesn’t halt on

5
5 First construct machine : When enters a halt state, accept any input (inifinite language) Initially, simulates on input Otherwise accept nothing (finite language)

6
6 halts on is not finite if and only if

7
7 Algorithm for halting problem: Inputs: machine and string 1. Construct 2. Determine if is finite YES: then doesn’t halt on NO: then halts on

8
8 construct Check if is finite YES NO YES Machine for halting problem

9
9 Theorem: For a recursively enumerable language it is undecidable to determine whether contains two different strings of same length Proof: We will reduce the halting problem to this problem

10
10 Algorithm for two-strings problem YES NO Assume we have the two-strings algorithm: Let be the machine that accepts contains Doesn’t contain two equal length strings

11
11 Algorithm for Halting problem YES NO halts on We will design the halting problem algorithm: doesn’t halt on

12
12 First construct machine : When enters a halt state, accept symbols or Initially, simulates on input (two equal length strings)

13
13 halts on if and only if accepts and (two equal length strings)

14
14 Algorithm for halting problem: Inputs: machine and string 1. Construct 2. Determine if accepts two strings of equal length YES: then halts on NO: then doesn’t halt on

15
15 construct Check if has two equal length strings YES NO YES NO Machine for halting problem

16
16 The Post Correspondence Problem

17
17 Some undecidable problems for context-free languages: Is context-free grammar ambiguous? Is ?

18
18 We need a tool to prove that the previous problems for context-free languages are undecidable: The Post Correspondence Problem

19
19 The Post Correspondence Problem Input: Two sequences of strings

20
20 There is a Post Correspondence Solution if there is a sequence such that: PC-solution

21
21 Example: PC-solution:

22
22 Example: There is no solution Because total length of strings from is smaller than total length of strings from

23
23 The Modified Post Correspondence Problem Inputs: MPC-solution:

24
24 Example: MPC-solution:

25
25 1. We will prove that the MPC problem is undecidable 2. We will prove that the PC problem is undecidable

26
26 1. We will prove that the MPC problem is undecidable We will reduce the membership problem to the MPC problem

27
27 Membership problem Input: recursive language string Question: Undecidable

28
28 Membership problem Input: unrestricted grammar string Question: Undecidable

29
29 The reduction of the membership problem to the MPC problem: For unrestricted grammar and string we construct a pair such that has an MPC-solution if and only if

30
30 : special symbol For every symbol Grammar : start variable For every variable

31
31 Grammar For every production : special symbol string

32
32 Example: Grammar : String

33
33

34
34

35
35 Grammar :

36
36

37
37

38
38

39
39 Theorem: has an MPC-solution if and only if

40
40 Algorithm for membership problem: Input: unrestricted grammar string Construct the pair If has an MPC-solution then else

41
41 construct MPC algorithm solution No-solution Membership machine

42
42 2. We will prove that the PC problem is undecidable We will reduce the MPC problem to the PC problem

43
43 : input to the MPC problem

44
44 We construct new sequences

45
45 We insert a special symbol between any two symbols

46
46

47
47 Special Cases

48
48 Observation: There is a PC-solution for if and only if there is a MPC-solution for

49
49 PC-solution MPC-solution

50
50 MPC-algorithm Input: sequences Construct sequences Solve the PC problem for

51
51 construct PC algorithm solution No-solution MPC algorithm

Similar presentations

Presentation is loading. Please wait....

OK

David Burdett May 11, 2004 Package Binding for WS CDL.

David Burdett May 11, 2004 Package Binding for WS CDL.

© 2018 SlidePlayer.com Inc.

All rights reserved.

To make this website work, we log user data and share it with processors. To use this website, you must agree to our Privacy Policy, including cookie policy.

Ads by Google