Assignment: -04
Que1) Explain Pumping Lemma theorem for Context
Free Language with example.
Que2) Define the following: -
• Universal Turing Machine (UTM)
• Church Turing Thesis
• Halting /Halt Problem
• Solvability
• Decidability/Undecidability
Que3) What do you understand by post correspondence
problem (PCP)?