Σ={a,b}, L = {w : w is a palindrome, and #a(w) = #b(w)}. For example, abbaabba ∈ L; aba ∉ L because it has more a’s than b’s; ba ∉ L because it is not the same left-to right as right-to-left. Finish the proof, started below, which shows that L ∉ CFLs.

HW-2(2)

Save Time On Research and Writing
Hire a Pro to Write You a 100% Plagiarism-Free Paper.
Get My Paper

Computer Science

Theory of Computing (Csc 520 Course)

2. (12.5 points):

Σ={a,b}, L = {w : w is a palindrome, and #a(w) = #b(w)}. For example, abbaabba ∈ L; aba ∉ L because it has more a’s than b’s; ba ∉ L because it is not the same left-to right as right-to-left. Finish the proof, started below, which shows that L ∉ CFLs.

Save Time On Research and Writing
Hire a Pro to Write You a 100% Plagiarism-Free Paper.
Get My Paper

1. L⋂ = L ⋂ a*b*a*

2. If L ∈ CFLs then L⋂ ∈ CFLs because the CFLs are closed under intersection with an RL.

3. If L⋂ ∉ CFLs then L ∉ CFLs by applying the modus tollens logic rule to step 2.

4. Use the CF pumping theorem to show that L⋂ ∉ CFLs.

4.a Let w = aᴷb²ᴷaᴷ. Then w ∈ L and |w| ≥ k, so that w can be expressed as the

concatenation of the substrings uvxyz, and the CF pumping theorem guarantees

apply.

HW-2(2)

Computer Science

Theory of Computing (Csc 520 Course)

2. (12.5 points):

Σ={a,b}, L = {w : w is a palindrome, and #a(w) = #b(w)}. For example, abbaabba ∈ L; aba ∉ L

because it has more a’s than b’s; ba ∉ L because it is not the same left-to right as right-to-left.
Finish the proof, started below, which shows that L ∉ CFLs.

1. L⋂ = L ⋂ a*b*a*

2. If L ∈ CFLs then L⋂ ∈ CFLs because the CFLs are closed under intersection with an RL.

3. If L⋂ ∉ CFLs then L ∉ CFLs by applying the modus tollens logic rule to step 2.

4. Use the CF pumping theorem to show that L⋂ ∉ CFLs.

4.a Let w = aᴷb²ᴷaᴷ. Then w ∈ L and |w| ≥ k, so that w can be expressed as the

concatenation of the substrings uvxyz, and the CF pumping theorem guarantees

apply.

Calculate your order
Pages (275 words)
Standard price: $0.00
Client Reviews
4.9
Sitejabber
4.6
Trustpilot
4.8
Our Guarantees
100% Confidentiality
Information about customers is confidential and never disclosed to third parties.
Original Writing
We complete all papers from scratch. You can get a plagiarism report.
Timely Delivery
No missed deadlines – 97% of assignments are completed in time.
Money Back
If you're confident that a writer didn't follow your order details, ask for a refund.

Calculate the price of your order

You will get a personal manager and a discount.
We'll send you the first draft for approval by at
Total price:
$0.00
Power up Your Academic Success with the
Team of Professionals. We’ve Got Your Back.
Power up Your Study Success with Experts We’ve Got Your Back.

Order your essay today and save 30% with the discount code ESSAYHELP