In computational theory, we have a lemma called Pumping Lemma and it says: If A is...
Fantastic news! We've Found the answer you've been seeking!
Question:
Transcribed Image Text:
In computational theory, we have a lemma called Pumping Lemma and it says: "If A is a regular language, then there is a positive integer p where if s is any string in A of length at least p, then s can be divided into three pieces, s = xyz, satisfying the following three conditions: 1) for each i 20, xyz A 2) lyl > 0 and 3) Ixyl p". This is a long lemma, and we can use notations and predicate functions to analyze it. Let's use R to represent the set of all regular languages, use size (x) to represent the length of string x, and let D (s, p) ="s can be divided into three pieces, s= xyz, satisfying the following conditions: 1) for each i 0, xyz A 2) lyl > 0 and 3) |xy| p". Then the above lemma becomes: AER 3p > 0.Vs A.size(s) > p D (s,p) Answer the following questions. a. Given a language A, can we use the above lemma to prove that A R? Why? b. Given a language A, what can be used as a witness / or witnesses to prove that A R? (Hint: come up with a predicate that can logically imply A & R first. The witness you find should be some s E A with some property that can be described using notations and functions defined above.) 2. Let e = if x 0 then b[0] else a[1][3] fi. Answer the following questions. a. If a = b (in other words, a and b are the same array), then is e a legal expression in our programming language? Why? b. Let o = (x = -1, b = (2), a = (a, B)), where a = (2,4) and B= (0). Is a proper for e? Does it satisfy e? Why? 3. Let u and v some be variables and a and be some semantic values (z and v might be the same variable, a and & might be the same value). When is o[ua][v+ B] = o[v B][ua] and when is olu a][v B]=o[v B][u a]? Discuss the four different cases depending on whether uvand whether a = B. o[u a][v ] = o[v B][u a]? o[u a][v+ B] = o[v B][u a]? UV U V U EV UEV a = a = B a = B a = B In computational theory, we have a lemma called Pumping Lemma and it says: "If A is a regular language, then there is a positive integer p where if s is any string in A of length at least p, then s can be divided into three pieces, s = xyz, satisfying the following three conditions: 1) for each i 20, xyz A 2) lyl > 0 and 3) Ixyl p". This is a long lemma, and we can use notations and predicate functions to analyze it. Let's use R to represent the set of all regular languages, use size (x) to represent the length of string x, and let D (s, p) ="s can be divided into three pieces, s= xyz, satisfying the following conditions: 1) for each i 0, xyz A 2) lyl > 0 and 3) |xy| p". Then the above lemma becomes: AER 3p > 0.Vs A.size(s) > p D (s,p) Answer the following questions. a. Given a language A, can we use the above lemma to prove that A R? Why? b. Given a language A, what can be used as a witness / or witnesses to prove that A R? (Hint: come up with a predicate that can logically imply A & R first. The witness you find should be some s E A with some property that can be described using notations and functions defined above.) 2. Let e = if x 0 then b[0] else a[1][3] fi. Answer the following questions. a. If a = b (in other words, a and b are the same array), then is e a legal expression in our programming language? Why? b. Let o = (x = -1, b = (2), a = (a, B)), where a = (2,4) and B= (0). Is a proper for e? Does it satisfy e? Why? 3. Let u and v some be variables and a and be some semantic values (z and v might be the same variable, a and & might be the same value). When is o[ua][v+ B] = o[v B][ua] and when is olu a][v B]=o[v B][u a]? Discuss the four different cases depending on whether uvand whether a = B. o[u a][v ] = o[v B][u a]? o[u a][v+ B] = o[v B][u a]? UV U V U EV UEV a = a = B a = B a = B
Expert Answer:
Related Book For
Posted Date:
Students also viewed these databases questions
-
Let A, B be sets. Define: (a) the Cartesian product (A B) (b) the set of relations R between A and B (c) the identity relation A on the set A [3 marks] Suppose S, T are relations between A and B, and...
-
Design a Java class that represents a cache with a fixed size. It should support operations like add, retrieve, and remove, and it should evict the least recently used item when it reaches capacity.
-
Arrange the following events in the correct temporal sequence during eukaryotic cell division, starting with the earliest: (a) condensation of the chromosomes, (b) Movement of chromosomes to the...
-
Pop Corporation and its 70 percent-owned subsidiary, Son Corporation, have pretax operating incomes for 2016 as follows (in thousands): Pop received $280,000 dividends from Son during 2016. A...
-
The following synthetic schemes all have at least one flaw in them. What is wrong witheach? (a) Br o 1. Mg CH3CH2CHCH2CH CH3CH-CHCH2CH 2. NaCN 3. * () CH2CO2H CH-CH 1. LIAIHA 2. * (c) 1. NaCN 2. *...
-
Prove in the band-block brake. \[\frac{T_{0}}{T_{n}}=\left(\frac{1+\mu \tan \theta}{1-\mu \tan \theta} ight)^{n}\]
-
8. Consider the following price data for TanCo stock in two different subperiods: Subperiod A: 168.375; 162.875; 162.5; 161.625; 160.75; 157.75; 157.25; 157.75; 161.125; 162.5; 157.5; 156.625;...
-
In a single purchase crab length of handle is 600 mm and diameter of load drum is 200 mm. Number of teeth on pinions are 20 and that of spur wheel are 100. Find velocity ratio. On this machine, 100 N...
-
Harper Morgan owns White Mountain Assessments in Laconia, New Hampshire. The standard workweek is 40 hours. For the weekly payroll ending September 9, 2022, checks dated September 14, 2022, complete...
-
Receipt from transport of passengers 5,000,000 Receipts from transport of cargoes 2,000,000 Receivables from transport of passengers 500,000 Receivables from transport of cargoes 100,000 Payment for...
-
what manner can principled negotiation techniques, grounded in mutual respect and collaborative problem-solving, be utilized to achieve win-win outcomes in conflict resolution scenarios?
-
Alyeski Tours operates day tours of coastal glaciers in Alaska on its tour boat the Blue Glacier. Management has identified two cost drivers-the number of cruises and the number of passengers-that it...
-
With respect to the Assurance of Learning Process, consider the following questions Who are the customers in this process?
-
Solve log49[(log2 (5x - 2)] e
-
1522 customers at a major retailer were surveyed whether or not they made a purchase and were satisfied with the service they received. The table below organizes the responses. Satisfied with...
-
Scorecard Corp. is considering an acquisition of Rapid Routes Logistics. Scorecard Corp. estimates that acquiring Rapid Routes will result in incremental value for the firm. The analysts involved in...
-
Planning: Creating an Audience Profile; Collaboration: Team Projects. Compare the Facebook pages of three companies in the same industry. Analyze the content on all available tabs. What can you...
-
A cut in an undirected graph is a separation of the vertices V into two disjoint subsets S and T. The size of a cut is the number of edges that have one endpoint in S and the other in T. Let MAX-CUT...
-
Give an example of a language that is not context free but that acts like a CFL in the pumping lemma. Prove that your example works. See the analogous example for regular languages in Problem 1.54....
-
Convert the CFG G 4 given in Exercise 2.1 to an equivalent PDA, using the procedure given in Theorem 2.20. Exercise 2.1 Recall the CFG G4 that we gave in Example 2.4. For convenience, lets rename its...
-
The magical elevator. There is a man who lives on the top floor of a very tall building. Every day he gets the elevator down to the ground floor to leave the building to go to work. Upon returning...
-
A murderer is condemned to death. He has to choose between three rooms. The first is full of raging fires, the second is full of assassins with loaded guns, and the third is full of lions that havent...
-
A man went outside without an umbrella or a raincoat, yet did not get wet.
Study smarter with the SolutionInn App