Question: (30 points) Say that a variable A in CFG G is necessary if it appears in every derivation of some string wL(G). Let NECESSARY

(30 points) Say that a variable A in CFG G is necessary

(30 points) Say that a variable A in CFG G is necessary if it appears in every derivation of some string wL(G). Let NECESSARY CFG = {(G, A) | A is a necessary variable in G}. (a) Show that NECESSARY CFG is Turing-recognizable. (b) Show that NECESSARY CFG is undecidable.

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer

Step: 1 Unlock blur-text-image

Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock

Step: 3 Unlock

Students Have Also Explored These Related Programming Questions!

What happens to the facility's overall Five-Star rating if a facility receives four stars in Quality Measures? One star is added to the survey rating for the overall rating. One star is subtracted...

Q1. You have identified a market opportunity for home media players that would cater for older members of the population. Many older people have difficulty in understanding the operating principles...

Say that a variable A in CFL G is usable if it appears in some derivation of some string w G. Given a CFG G and a variable A, consider the problem of testing whether A is usable. Formulate this...

(30 points) Say that a variable A in CFG G is necessary if it appears in every derivation of some string wEL(G). Let NECESSARYcP(G, A) A is a necessary variable in G (a) Show that NECESSARYCFG is...

1. A player throws a fair die and simultaneously flips a fair coin. If the coin lands heads, then she wins twice, and if tails, then one-half of the value that appears on the die. Determine her...

please explain the steps If G is the grammar S + SbS a. show that G is ambiguous. Solution To prove that G is ambiguous, we have to find a # E LIG), which is ambiguous. Consider w = abababa e LG)....

Please see attachment. All three question need to be answered in narrative format. If you have questions, just let me know. Normal requirement for references are 2 outside our course text....

dee complete please help Complexity Theory (a) Defifine the set of Boolean expressions 2CNF and the language 2SAT over them. (b) For a Boolean expression in 2CNF, let G() be the directed graph with...

https://doc.lagout.org/science/0_Computer%20Science/1_Principles%20of%20Programming%20Languages/Programming%20Languages%20-%20Principles%20and%20Paradigms.pdf ( book link if u need extra information)...

Set Student Name: 1. Answer true or false for each part, and if false, explain your answer. a. The point estimate for the population mean, , of an x distribution is x-bar, computed from a random...

When a corporation receives dividends from another corporation, the recipient corporation will not pay tax. Group starts True or False

Ellis Worton, the owner of Worton Consulting, showed the following unadjusted account balances at December 31, 2014, the business's year-end (accounts have been listed in alphabetical order): Account...

Scenario As a director of leadership and learning, you collaborate with many different employees throughout the prosthetics manufacturing organization you work for. You were recently contacted by...

A bullet of mass 10 g strikes a ballistic pendulum of mass 2.0 kg. The center of mass of the pendulum rises a vertical distance of 12 cm, assuming that the bullet remains embedded in the pendulum,...

Tidwell Company has provided the following partial comparative balance sheets and the income statement for 20X2. Tidwell Company Comparative Balance Sheets At December 31, 20X1 and 20X2 20X1 20X2...

A 2100 kg truck traveling north at 41 km/h turns east and accelerates to 51 km/h. (a) What is the change in the truck's kinetic energy? What are the (b) Magnitude and (c) Direction of the change in...

The partners who own Liard Canoes Co. wished to avoid the unlimited personal liability of the partnership form of business, so they incorporated as Liard Canoes, Inc. The charter from the state of...

On January 1, 2013, Porter Company purchased an 80% interest in the capital stock of Salem Company for $850,000. At that time, Salem Company had capital stock of $550,000 and retained earnings of...

Can we put that she will be making weekly payroll deductions inthe amount of $52.75 to the housing equalling $211.00 monthly

A Boolean formula is a Boolean circuit wherein every gate has only one output wire. The same input variable may appear in multiple places of a Boolean formula. Prove that a language has a polynomial...

Prove that NTIME(n) PSPACE.

Let E = {a i b j | i j and 2i j}. Show that E is a context-free language.

The payroll of Kee Ltd. for September 2019 is as follows (amounts in thousands): total payroll was 340,000; income taxes in the amount of 80,000 were withheld, as was 9,000 in union dues; and the...

Devon Harris Company has provided information on intangible assets as follows. A patent was purchased from Bradtke Company for $2,500,000 on January 1, 2018. Harris estimated the remaining useful...

Powerglide plc, organized in 2018, has set up a single account for all intangible assets. The following summary discloses the debit entries that have been recorded during 2019. Instructions Prepare...