? ?? If A is a pushdown automaton, then L(A) is a context-free language. Proof. Non-constructive proof
Fantastic news! We've Found the answer you've been seeking!
Question:
???
Transcribed Image Text:
If A is a pushdown automaton, then L(A) is a context-free language. Proof. Non-constructive proof of existence. Let B be a PDA equivalent to A constructed with the specifications given in Lemma 3.2. Thus, in particular, L(B) = L(A). Now, the computation of each w = a₁ an E L(B) produces at least one accepting computation path. Select one such path and plot the pairs (qi, Y), qi E Q, in the order that they appear in the path. Now, since each variable used in the construction of the rules is indexed with a pair in QxQ, there are at most, 1. Q rules of type 3, 2. Q³ rules of type 2, and 3. Q42 rules of type 1. Thus, the total number of rules that can be generated by randomly selecting inputs w € Σ* to PDA B is bounded above by C = |Q|(1+|0|²+101³121²). Consequently, by running he method Algorithm 4 Generation of CFG G 1: procedure RULE GENERATOR(On input: ; w€ E*, B a PDA) 2: Run B on w. 3: if B rejects then 4: 5: 6: 7: 8: 9: end if 10: end procedure return: no rules produced. else Select an accepting computing branch Plot the pairs (qi, \y\) return: list of rules. (3.14) on a large enough number of different w E E*, the set of all rules of a CFG for producing L(B) = L(A) will be obtained. Corollary 3.2. Each context-free language is generated with a CFG whose rules are of the form V → E, V→→ aUb, a, b literals, and V →UZ. Proof. Is a direct consequence of the proof of Theorem 3.7. If A is a pushdown automaton, then L(A) is a context-free language. Proof. Non-constructive proof of existence. Let B be a PDA equivalent to A constructed with the specifications given in Lemma 3.2. Thus, in particular, L(B) = L(A). Now, the computation of each w = a₁ an E L(B) produces at least one accepting computation path. Select one such path and plot the pairs (qi, Y), qi E Q, in the order that they appear in the path. Now, since each variable used in the construction of the rules is indexed with a pair in QxQ, there are at most, 1. Q rules of type 3, 2. Q³ rules of type 2, and 3. Q42 rules of type 1. Thus, the total number of rules that can be generated by randomly selecting inputs w € Σ* to PDA B is bounded above by C = |Q|(1+|0|²+101³121²). Consequently, by running he method Algorithm 4 Generation of CFG G 1: procedure RULE GENERATOR(On input: ; w€ E*, B a PDA) 2: Run B on w. 3: if B rejects then 4: 5: 6: 7: 8: 9: end if 10: end procedure return: no rules produced. else Select an accepting computing branch Plot the pairs (qi, \y\) return: list of rules. (3.14) on a large enough number of different w E E*, the set of all rules of a CFG for producing L(B) = L(A) will be obtained. Corollary 3.2. Each context-free language is generated with a CFG whose rules are of the form V → E, V→→ aUb, a, b literals, and V →UZ. Proof. Is a direct consequence of the proof of Theorem 3.7.
Expert Answer:
Answer rating: 100% (QA)
1 Which of these machines is not equivalent in recognition power to a s... View the full answer
Related Book For
Posted Date:
Students also viewed these programming questions
-
Let E be the solid tetrahedron bounded by x = 0, y = 0, z = 0, and x + y + z = 1, and suppose that its topological boundary, T = ÏE, is oriented with outward-pointing normal. Prove for all C1...
-
To make 100 litres of solution, 1.5 kg salt is dissolved in water. Pure water is pumped into a tank containing this solution at a rate of 5 l min -1 ; salt solution overflows at the same rate. The...
-
Let x be an exponential random variable with l = 0.5. Calculate the following probabilities: a. P (x < 5) b. P (x > 6) c. P (5 x 6) d. P (x 2) e. The probability that x is at most 6
-
In Exercises show that the function y = (x) is a solution of the differential equation. y = 4e-x y" - y = 0
-
iWorld, Inc., was set to report the following statement of retained earnings for the year ended December 31, 2016: Before issuing its 2016 financial statements, iWorld learned that net income of 2015...
-
Under what conditions will a discount bond have a negative nominal interest rate? Is it possible for a coupon bond or a perpetuity to have a negative nominal interest rate?
-
White Company can invest in one of two projects, TD1 or TD2. Each project requires an initial investment of $101,250 and produces the year-end cash inflows shown in the following table. Required 1....
-
Transferred-in costs, weighted average method (related to 17-30 to 17-32). Larsen Company, as you know, is a manufacturer of car seats. Each car seat passes through the Assembly Department and...
-
Explain the types of anomalies that might occur on this relational model when not normaliz ed NORMALIZATION (40 Points) Consider a COLLEGE logical relational model below....
-
As your venture has moved from the development stage to the startup stage, a number of trade secrets have been developed along with an extensive client list. You are in the business of developing and...
-
Water vapor contained in a piston-cylinder assembly undergoes an isothermal expansion at 200C from a pressure of 7.9 bar to a pressure of 2.8 bar. Evaluate the work, in kJ/kg.
-
How is a Eurobond different from a bond issued in Asia that is denominated in dollars?
-
Distinguish between the residual dividend theory and the clientele effect.
-
A construction company called Alians Group is considering buying new machinery for one of its projects. Leasing Company, which deals in heavy machinery, owns that particular equipment and is looking...
-
What managerial logic might lie behind a stock split or a stock dividend?
-
What does the current yield tell us?
-
What is the narrative in QuickBooks for an account with the account type of expenses and detail type of advertising promotional?
-
Portal Manufacturing has total fixed costs of $520,000. A unit of product sells for $15 and variable costs per unit are $11. a). Prepare a contribution margin income statement showing predicted net...
-
Let v1 and v2 be vectors in an inner product space V. Show that ||v1 + v2|| < (||v1|| + ||v2||)2
-
Let A be an m n matrix with m > n. Let b Rm and suppose that N(A) = {0}. (a) What can you conclude about the column vectors of A? Are they linearly independent? Do they span Rm? Explain. (b) How...
-
Let U and V be subspaces or Rn. In the case that U V = {0} we have the following dimension relation dim (U + V) = dim U + dim V (See Exercise 18 in Section 4 of Chapter 3.) Make use of the result...
-
An organist on earth is playing Bach's Toccata and Fugue in D Minor, which is being broadcast by a powerful radio antenna. Travelers in a spaceship moving at speed \(v=3 / 5 c\) away from the earth...
-
A wave equation for light is where \(\phi\) is a scalar potential. Show that the set of all linear transformations of the spacetime coordinates that permit this wave equation to be written as we did,...
-
Two spaceships with string "paradox". Consider two spaceships, both at rest in our inertial frame, a distance \(D\) apart, one behind the other. There is a light string of restlength \(D\) tied...
Study smarter with the SolutionInn App