Question

In: Computer Science

Given the language L={w| the number of a’s is greater than or equal to the number...

Given the language L={w| the number of a’s is greater than or equal to the number of b’s in w}

a) Using the Pumping Lemma to prove L is not a regular language.

b) Using closure property to prove L is not a regular language.

Solutions

Expert Solution

Claim 1. L1 = {w ∈ {a,b}∗ : w has the same number of as and bs} is not regular.
Proof. Note that L1 ∩ a∗b∗ = {aibi : i ≥ 0}. Now assume towards contradiction that L1 is regular. Since a∗b∗ is regular, and regular languages are closed under intersection, then the intersection is also regular. But we know that {aibi : i ≥ 0} is not regular – contradiction.


Related Solutions

Given L={words in which the number of a’s are the same as the number of b’s}...
Given L={words in which the number of a’s are the same as the number of b’s} Write a CFG to accept L. Convert the CFG to CNF. Construct a PDA for this CNF.
For a given language L = { w | na(w) + nb(w) = nc(w) } where...
For a given language L = { w | na(w) + nb(w) = nc(w) } where S = G = {a, b, c} Looking for answer to 3 Construct a PDA M that accepts L with S = G = {a, b, c} Show the sequence of instantaneous descriptions for the acceptance of acacbcbc by M in 1). Give a CFG G that generates L, L(G) = L.
Design a Turing machine that, given a positive binary number n greater than or equal to...
Design a Turing machine that, given a positive binary number n greater than or equal to 2, subtracts 2 from this number. Test it, step-by-step, on the example of n = 2.
hack assembly language code for eq(equal), gt(greater than) and lt(less than).
hack assembly language code for eq(equal), gt(greater than) and lt(less than).
Let L ⊆ Σ ∗ and define S(L), the suffix-language of L, as S(L) = {w...
Let L ⊆ Σ ∗ and define S(L), the suffix-language of L, as S(L) = {w ∈ Σ ∗ | x = yw for some x ∈ L, y ∈ Σ ∗ } Show that if L is regular, then S(L) is also regular.
1. Design a FA for the language L = {w : na(w) ≤ 4}. 2. Design...
1. Design a FA for the language L = {w : na(w) ≤ 4}. 2. Design a FA that accepts all strings that contain the substring aba. 3. Design a FA for the language L = {ai baj : i, j ≥ 0, i + j is odd} 4. Design a FA for the language L = {bnam : n ≤ 2, m ≥ 3}
For each of the following, fill in the blanks with "Less than", "Greater than", or "Equal...
For each of the following, fill in the blanks with "Less than", "Greater than", or "Equal to" *) A gas flows through a one-inlet, one-exit control volume operating at steady state with no internal irreversibilities, Qcv = 0. Heat transfer at a rate Qcv takes place only at a location on the boundary where the temperature is Tb. The specific entropy of the gas at the exit is _____ than the specific entropy of the gas at the inlet. *)...
Prove that if n is greater than or equal to 4 then the center of the...
Prove that if n is greater than or equal to 4 then the center of the alternating subgroup An is the trivial subgroup. What is Z(An) for n = 0,1,2,3 ?
Draw an NFA for the following language then convert to a DFA: L = {w :...
Draw an NFA for the following language then convert to a DFA: L = {w : |w| is odd or |w| is a multiple of 4} where Σ = {0, 1}
w = 50,000 + 10,000L where w is wages, L is the number of players The...
w = 50,000 + 10,000L where w is wages, L is the number of players The demand for players is given by the Marginal Revenue Product: MRP = 500,000 – 20,000L The Marginal Factor Cost to the club is : MFC = $50,000 + 25,000L If the NFL labor market were competitive, what would be the equilibrium number of players employed? If the NFL labor market were competitive, what would be the equilibrium wage of a player? We know that...
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT