The Chomsky Hierarchy 1 Unrestricted Grammars Productions String
- Slides: 44
The Chomsky Hierarchy 1
Unrestricted Grammars: Productions String of variables and terminals 2
Example unrestricted grammar: 3
Theorem: A language is recursively enumerable if and only if is generated by an unrestricted grammar 4
Context-Sensitive Grammars: Productions String of variables and terminals and: 5
The language is context-sensitive: 6
Theorem: A language is context sensistive if and only if is accepted by a Linear-Bounded automaton 7
Observation: There is a language which is context-sensitive but not recursive 8
The Chomsky Hierarchy Non-recursively enumerable Recursively-enumerable Recursive Context-sensitive Context-free Regular 9
Decidability 10
Consider problems with answer YES or NO Examples: • Does Machine • Is string • Does DFA have three states ? a binary number? accept any input? 11
A problem is decidable if some Turing machine Solves (decides) the problem Decidable problems: • Does Machine • Is string • Does DFA have three states ? a binary number? accept any input? 12
The Turing machine that solves a problem answers YES or NO for each instance Input problem instance Turing Machine YES NO 13
The 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 14
Turing Machine that decides a problem YES NO YES and NO states are halting states 15
Difference between Recursive Languages and Decidable problems For decidable problems: The YES states may not be final states 16
Some problems are undecidable: There is no Turing Machine that solves all instances of the problem 17
A simple undecidable problem: The membership problem 18
The Membership Problem Input: • Turing Machine • String Question: Does accept ? 19
Theorem: The membership problem is undecidable Proof: Assume for contradiction that the membership problem is decidable 20
There exists a Turing Machine that solves the membership problem YES accepts NO rejects 21
Let 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 22
Turing Machine that accepts and halts on any input accepts ? YES accept NO reject 23
Therefore, 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!!!! 24
Therefore, the membership problem is undecidable END OF PROOF 25
A famous undecidable problem: The halting problem 26
The Halting Problem Input: • Turing Machine • String Question: Does halt on ? 27
Theorem: The halting problem is undecidable Proof: Assume for contradiction that the halting problem is decidable 28
There exists Turing Machine that solves the halting problem YES halts on NO doesn’t halt on 29
Construction of Input: initial tape contents YES NO Encoding of String 30
Construct machine : If returns YES then loop forever If returns NO then halt 31
Loop forever YES NO 32
Construct machine Input: If : (machine ) halts on input Then loop forever Else halt 33
copy 34
Run machine Input: If with input itself: (machine ) halts on input Then loop forever Else halt 35
on input : If halts then loops forever If doesn’t halt then it halts NONSENSE !!!!! 36
Therefore, we have contradiction The halting problem is undecidable END OF PROOF 37
Another proof of the same theorem: If the halting problem was decidable then every recursively enumerable language would be recursive 38
Theorem: The halting problem is undecidable Proof: Assume for contradiction that the halting problem is decidable 39
There exists Turing Machine that solves the halting problem YES halts on NO doesn’t halt on 40
Let 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 41
Turing Machine that accepts and halts on any input NO halts on ? reject YES accept Run with input Halts on final state reject Halts on non-final state 42
Therefore 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!!!! 43
Therefore, the halting problem is undecidable END OF PROOF 44
- Unrestricted grammar example
- Example of unrestricted grammar
- Http protocol description
- Chomsky computer science
- Railroad diagram
- Regular grammar generates regular language
- Remove epsilon productions
- Questions on context free grammar
- Java new string
- Const char *s=""
- Private string name;
- Dpf productions
- Marketing finance and productions
- Alphabet radio international
- Removing null productions from cfg
- Ill kippers productions
- Multi camera vs single camera
- Syllabus meme
- Pendragon productions
- How to grow capsicum
- Parag dubey productions
- Mvl iron works productions canada, inc
- Rallye de lozère
- Hen house production
- Jojo productions
- Table tennis rules youtube
- Unrestricted simplex protocol
- Unrestricted simplex protocol
- Unrestricted simplex protocol program in c
- Unrestricted simplex protocol in computer networks
- Liquid unrestricted net assets
- Unrestricted narration
- Contoh unrestricted grammar
- Quota sap
- Unrestricted simplex protocol program in c
- Selective service act of 1917
- Link layer flow control
- Greg szabo
- German unrestricted submarine warfare
- Multiple regression analysis inference
- Simplex protocol
- Contoh hirarki chomsky
- Chomsky stages
- Filtro affettivo krashen
- Greibach normal form