Let C = {G, x| G is a CFG x is a substring of some y

Question:

Let C = {〈G, x〉| G is a CFG x is a substring of some y ∈ L(G)}. Show that C is decidable. An elegant solution to this problem uses the decider for E_CFG.

Fantastic news! We've Found the answer you've been seeking!

Step by Step Answer:

Related Book For book-img-for-question

Introduction to the theory of computation

ISBN: 978-0470530658

3rd edition

Authors: Michael Sipser

See More Books

Question Posted: Sep 02, 2020 04:44 AM

See More Questions

Let C CFG = {G, k| G is a CFG and L(G) contains exactly k strings where k 0 or k = }. Show that CCFG is decidable.
Let A CFG = {G| G is a CFG that generates }. Show that A"CFG is decidable.
Let AMBIG CFG = {G| G is an ambiguous CFG}. Show that AMBIGCFG is undecidable. Use a reduction from PCP. Given an instance of the Post Correspondence Problem, construct a CFG G with the rules where a...
Sketch a graph to illustrate your idea of each of the following relationships. Be sure to label each axis appropriately. For each relationship, explain under what circumstances, if any, the curve...
Suppose there are three molecules, and that the probability of remaining is thought to be p = 0.6. In a sample of 80 cells, we find 10 with 0 molecules, 20 with 1 molecule, 30 with 2 molecules, and...
What is the Employment at Will doctrine? Is Illinois an Employment-at-Will State? How does Employment at Will impact employee rights, discipline, and job termination situations in our workplaces?...
What elements must be proven in order to be successful in a negligence suit? Illustrate your answer with a case (the facts of the case can be hypothetical).
Shelly Zumaya (2220 East Hennepin Avenue, Minneapolis, MN 55413) is the president and sole shareholder of Kiwi Corporation (stock basis of $400,000). Incorporated in 2005, Kiwi Corporation's sole...
(a) Prove, using the definition, that L{f(at)} = F() (a #0). (b) Prove, using the definition, that L{eat f(t)} = F(s-a). (c) Prove, using the definition, that the Laplace transform of the function...
On January 1, 20X1, when its $30 par value common stock was selling for $80 per share, Gierach Corporation issued $10 million of 4% convertible debentures due in 10 years. The conversion option...
Let E = {M| M is a DFA that accepts some string with more 1s than 0s}. Show that E is decidable. Theorems about CFLs are helpful here.
Let A be a Turing-recognizable language consisting of descriptions of Turing machines, {M 1 , M 2 , . . .}, where every M i is a decider. Prove that some decidable language D is not decided by any...
Explain why in Table 12.2 the firm does not use mixed bundling. Table 12.2 Wond Pracessur Spreadsbeet Hundle Alisha $120 $50 $170 Bob Profit-maximizing price Units sold $90 $70 $160 $50 $160 $90
Suppose each of 50 distinguishable objects has a volume of $1.00 \times 10^{-9} \mathrm{~mm}^{3}$ and are initially in a box that has a volume of $1.00 \times 10^{-6} \mathrm{~m}^{3}$. If the...
Do you believe the accommodations offered by Tatums firm are effective in helping individuals balance work and family lives? Why or why not?
Discuss the drug associated with the highest percentage of juvenile arrests. Sketch a profile of juveniles who sell drugs.
a. Find the eigenvalues and eigenvectors of the matrix. b. Confirm the results of (a) in MATLAB. $\mathbf{A}=\left[\begin{array}{cc}5 & -2 \\ 2 & 0\end{array} ight]$
An engineer planning a weld from manufacturer specifications realizes that the units for temperature have been accidentally omitted. The specifications say, "The temperature of the weld should be no...
Using the data from P8-2, indicate the effects on net assets and EPS of each of the following: 1. Recording the payroll. 2. Recording the payroll taxes. 3. Paying the payroll and payroll taxes. Data...
Proposals have been made to ?sail? spacecraft to the outer solar system using the pressure of sunlight, or even to propel interstellar spacecraft with high-powered, Earth-based lasers. Sailing...
What is the minimum number of bits in a PN sequence if we use FHSS with a channel bandwidth of B = 4 KHz and Bss = 100 KHz?
Answer the following questions about the digital hierarchy in Figure 6.23: a. What is the overhead (number of extra bits) in the DS-1 service? b. What is the overhead (number of extra bits) in the...
Figure 6.35 shows a demultiplexer in a synchronous TDM. If the input slot is 16 bits long (no framing bits), what is the bit stream in each output? The bits arrive at the demultiplexer as shown by...
Explain how the OS and Utility programs work with application software. Summarize the features of several embedded operating systems course: introduction to information technology code: EBI...
Please explain and describe what are input and output devices. Explain what the differences are between an operating system, an embedded operating system, and a network operating system. Explain and...
Determine the complexity of the following pseudocode snippets in Big-O and Big-Q2. Do these code snippets have a Big-e? What are the functions doing? 1) my_func(some_nums) result = 0 for (num in...

Let C = {G, x| G is a CFG x is a substring of some y

Question:

Step by Step Answer:

To show that C is decidable we need to show that there is an algorithm that can determine given a CF...View the full answer

Introduction to the theory of computation

Students also viewed these Computer science questions