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...
Implicit memories are memories used without awareness. Types of implicit memory are priming, procedural memory, and classical conditioning. L01
In regard to implementing a marketing program, what are the advantages of (a) a time-based agenda over a traditional agenda and (b) an action item list over traditional meeting minutes?
Jillian Limited ( JL) issued a financial instrument with the following terms: A face value of $ 100. Not secured by any assets of the entity (unsecured). Redeemable in cash at the option of the...
Fill in the accounts receivable and payable ledgers above. a subledger in which is recorded all credit sales made by roadtunner for receivables and for payables on what roadrunner owes Accounting...
(4) A production process at Kenneth Day Manufacturing is shown in the figure below. The drilling operation occurs separately from, and simultaneously with, sawing and sanding, which are independent...
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...
Evaluate the sum. i-1 4 3 i=1 4.
The following data apply to Superior Auto Supply Inc. for May 2011. 1. Balance per the bank on May $31, \$ 8,000$. 2. Deposits in transit not recorded by the bank, $\$ 975$. 3. Bank error; check...
How do you determine whether there is a linear correlation between two variables $x$ and $y$ ? Use Table 14.10. Table 14. 10 n a = 0.05 0.950 0.878 4 5 6 0.811 7 0.754 8 0.707 9 0.666 10 0.632 11...
Comparative Analysis Problem: Columbia Sportswear Company vs. Under Armour, Inc. The financial statements for the Columbia Sportswear Company can be found in Appendix A and Under Armour, Inc.'s...
The following information is available for Book Barn Company's sales on account and accounts receivable: After several collection attempts, Book Barn wrote off $\$ 4,500$ of accounts that could not...
The following information comes from the accounts of Jersey Company: Required a. There were $\$ 170,000$ of sales on account during the accounting period. Write-offs of uncollectible accounts were...
In a menu-driven program, the options on the main menu often correspond to separate program modules. True or False
A company has the following incomplete production budget data for the first quarter: In the previous December, ending inventory was 200 units, which was the minimum required, at 10% of projected...
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...
Ted and his partners have contracted to purchase the franchise nights worth 561 000 to open and operate a specialty pizza restaurant called Popper with a renewable agrement, the partners have agreed...
Your answer is partially correct. Martin Company's chief financial officer feels that it is important to have data for the entire quarter especially since their financial forecasts indicate some...
Kellog Corporation is considering a capital budgeting project that would have a useful life of 4 years and would love testing 5156.000 in equipment that would have zeto salvage value at the end of...

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