in Theory of Computation edited by
192 views
0 votes
0 votes
Let $A\varepsilon_{CFG} = \{ \langle{ G }\rangle \mid G\: \text{is a CFG  that generates}\: \epsilon \}.$Show that $A\varepsilon_{CFG}$ is decidable.
in Theory of Computation edited by
by
192 views

Please log in or register to answer this question.

Related questions