Answered step by step
Verified Expert Solution
Link Copied!

Question

1 Approved Answer

(a) Let Li be the language of all strings of a's and b's that do not end with b and do not nite language S

image text in transcribed

(a) Let Li be the language of all strings of a's and b's that do not end with b and do not nite language S such that S*-L1. ntain the substring bb. Show that there is a fi Tip: List elements of L1 up to a certain length (say 3). What strings must be in S to be able to generate those strings in L? Do they seem to generate every string in Note: Once you have a candidate for S, you need to show that s*-L1, that is (1) from S you can generate only elements of L, and (2) you can generate every element of L1. For (1) argue that whatever string you generate from S will satisfy the conditions for strings in L. For (2), use induction on the length of the string in 11. Tip: if a string is in L1, Can you identify one of its symbols? Can you conclude that the rest of the string is also in Li so that you can use the induction hypothesis? f yes, you should be done, otherwise how does the string look like? While it is possible to get a description of L1 and argue that S generates it without using induction, I recommend that you do use induction, as the goal of this question s for vou to practice induction (b) Let L2 be the language of all strings of a's and b's that do not contain the substring ba Show that there is no language S such that s*-L Tip: List elements of L1 up to a certain length (say 3). What strings must be in S to be able to generate those strings in L1? Can those generate L1

Step by Step Solution

There are 3 Steps involved in it

Step: 1

blur-text-image

Get Instant Access to Expert-Tailored Solutions

See step-by-step solutions with expert insights and AI powered tools for academic success

Step: 2

blur-text-image

Step: 3

blur-text-image

Ace Your Homework with AI

Get the answers you need in no time with our AI-driven, step-by-step assistance

Get Started

Recommended Textbook for

Intelligent Information And Database Systems 12th Asian Conference ACIIDS 2020 Phuket Thailand March 23 26 2020 Proceedings

Authors: Pawel Sitek ,Marcin Pietranik ,Marek Krotkiewicz ,Chutimet Srinilta

1st Edition

9811533792, 978-9811533792

More Books

Students also viewed these Databases questions

Question

Write a mission statement for the hypothetical organization.

Answered: 1 week ago

Question

Understanding Groups

Answered: 1 week ago