Undeciability Flashcards
1
Q
When is a decision problem decidable? When is it semidecidable?
A
2
Q
What is the Halting problem? What is the universal Halting problem?
A
3
Q
What is the Theorem of Rice? Give a general description of its proof.
A
4
Q
Whatis the Post Correspondence Problem (PCP)?
A
5
Q
What is the modified PCP?
A
6
Q
Proof that it is undecidable if the intersection of two languages is the empty set.
A
7
Q
Proof that ambiguity of context-free grammars is undecidable.
A
8
Q
Proof that it is undecidable if a language contains a palindrome.
A
