in Theory of Computation
180 views
0 votes
0 votes
Let $C = \{ \langle G, x \rangle \mid \text{G is a CFG $x$ is a substring of some $y \in L(G)$}\}$. Show that $C$ is decidable. (Hint: An elegant solution to this problem uses the decider for $E_{CFG}$.)
in Theory of Computation
by
180 views

Please log in or register to answer this question.

Related questions