Title: The Chomsky Hierarchy
1The Chomsky Hierarchy
2Unrestricted Grammars
Productions
String of variables and terminals
String of variables and terminals
3Example unrestricted grammar
4Theorem
A language is recursively enumerable if
and only if is generated by
an unrestricted grammar
5Context-Sensitive Grammars
Productions
String of variables and terminals
String of variables and terminals
and
6The language
is context-sensitive
7Theorem
A language is context sensistive
if and only if is accepted by a
Linear-Bounded automaton
8Observation
There is a language which is context-sensitive but
not recursive
9The Chomsky Hierarchy
Non-recursively enumerable
Recursively-enumerable
Recursive
Context-sensitive
Context-free
Regular
10Decidability
11Consider problems with answer YES or NO
Examples
- Does Machine have three states ?
- Is string a binary number?
- Does DFA accept any input?
12A problem is decidable if some Turing
machine Solves (decides) the problem
Decidable problems
- Does Machine have three states ?
- Is string a binary number?
- Does DFA accept any input?
13The Turing machine that solves a problem answers
YES or NO for each instance
YES
Input problem instance
Turing Machine
NO
14The machine that decides a problem
- If the answer is YES
- then halts in a yes state
- If the answer is NO
- then halts in a no state
These states may not be final states
15Turing Machine that decides a problem
YES
NO
YES and NO states are halting states
16Difference between
Recursive Languages and Decidable problems
For decidable problems
The YES states may not be final states
17Some problems are undecidable
There is no Turing Machine that solves all
instances of the problem
18A simple undecidable problem
The membership problem
19The Membership Problem
Input
Question
Does accept ?
20Theorem
The membership problem is undecidable
Proof
Assume for contradiction that the membership
problem is decidable
21There exists a Turing Machine that solves the
membership problem
accepts
YES
NO
rejects
22Let be a recursively enumerable language
Let be the Turing Machine that accepts
We will prove that is also recursive
we will describe a Turing machine that accepts
and halts on any input
23Turing Machine that accepts and halts on any input
YES
accept
accepts ?
NO
reject
24Therefore,
is recursive
Since is chosen arbitrarily, we have
proven that every recursively enumerable language
is also recursive
But there are recursively enumerable languages
which are not recursive
Contradiction!!!!
25Therefore, the membership problem is undecidable
END OF PROOF
26A famous undecidable problem
The halting problem
27The Halting Problem
Input
Question
Does halt on ?
28Theorem
The halting problem is undecidable
Proof
Assume for contradiction that the halting problem
is decidable
29There exists Turing Machine that solves the
halting problem
YES
halts on
doesnt halt on
NO
30Construction of
Input initial tape contents
YES
NO
Encoding of
String
31Construct machine
If returns YES then loop forever
If returns NO then halt
32Loop forever
YES
NO
33Construct machine
Input
(machine )
halts on input
If
Then loop forever
Else halt
34copy
35Run machine with input itself
Input
(machine )
halts on input
If
Then loop forever
Else halt
36on input
If halts then loops forever
If doesnt halt then it halts
NONSENSE !!!!!
37Therefore, we have contradiction
The halting problem is undecidable
END OF PROOF
38Another proof of the same theorem
If the halting problem was decidable then every
recursively enumerable language would be recursive
39Theorem
The halting problem is undecidable
Proof
Assume for contradiction that the halting problem
is decidable
40There exists Turing Machine that solves the
halting problem
YES
halts on
doesnt halt on
NO
41Let be a recursively enumerable language
Let be the Turing Machine that accepts
We will prove that is also recursive
we will describe a Turing machine that accepts
and halts on any input
42Turing Machine that accepts and halts on any input
NO
reject
halts on ?
YES
accept
Halts on final state
Run with input
reject
Halts on non-final state
43Therefore
is recursive
Since is chosen arbitrarily, we have
proven that every recursively enumerable language
is also recursive
But there are recursively enumerable languages
which are not recursive
Contradiction!!!!
44Therefore, the halting problem is undecidable
END OF PROOF