...
Theory-of-Computation
December 6, 2023
Theory-of-Computation
December 6, 2023
Theory-of-Computation
December 6, 2023
Theory-of-Computation
December 6, 2023

Theory-of-Computation

Question 2
Let <M> denote an encoding of an automaton M. Suppose that Σ = {0,1}. Which of the following languages is/are NOT recursive?
A
L = { | M is a DFA such that L(M) = Σ*}
B
L = { | M is a DFA such that L(M) = ∅}
C
L = { | M is a PDA such that L(M) = Σ*}
D
L = { | M is a PDA such that L(M) = ∅}
Question 2 Explanation: 
Correct Answer: C
Question 2 Explanation: 

Leave a Reply

Your email address will not be published. Required fields are marked *