Access over 35 million academic & study documents

Let Sigma = {0,1} Show that { G is a CFG over {0,1} and 1 L{(G)

Content type
User Generated
Rating
Showing Page:
1/1
Let Sigma = {0,1}. Show that { | G is a CFG over {0,1} and
1* L{(G) 0} is decidable.
Solution
This problem requires you to recognize that if C is a
context free language and R is a regular language, then C
R is context free. You have to show this, but it has been
done for you as the solution to problem 2.18. On input : 1.
Construct CFG H st L(H) = 1* L(G). 2. Test whether L(H) =
, using the ECFG decider R from Theorem 4.8. 3. If R
accepts, reject; if R rejects, accept.
MoreOver before proving this therom you need to know
about what is deciablility in Context Free Grammar
Are all decision problems decidable? Given a non-empty
alphabet : How many languages over are there? How
many Turing machines with alphabet are there? Choose
from finite, countable infinite, or uncountable.

Sign up to view the full document!

lock_open Sign Up
Unformatted Attachment Preview
Let Sigma = {0,1}. Show that { | G is a CFG over {0,1} and 1* L{(G) 0} is decidable. Solution This problem requires you to recognize that if C is a context free language and R is a regular language, then C R is context free. You have to show this, but it has been done for you as the solution to pr ...
Purchase document to see full attachment
User generated content is uploaded by users for the purposes of learning and should be used following Studypool's honor code & terms of service.

Anonymous
Just what I needed. Studypool is a lifesaver!

Studypool
4.7
Indeed
4.5
Sitejabber
4.4

Similar Documents