473,401 Members | 2,139 Online
Bytes | Software Development & Data Engineering Community
Post Job

Home Posts Topics Members FAQ

Join Bytes to post your question to a community of 473,401 software developers and data experts.

Help needed with problem

Can someone help me out with this problem. Any help is appreciated.
Thanks.

Let doubleswap(x) be the string formed by replacing each a in x by the
substring bb and each b by the substring aa. For example,
doubleswap(abcab)=bbaacbbaa. Furthermore, let doubleswap(L) be the
language formed of strings doubleswap(x) for x an element of L. Prove
that if L is regular, then so is doubleswap(L). Where L is a subset
(or equal) to {a, b, c}^*.

If L is regular, the L can be expressed as L(y) for some regular
expression y. We define y' to be the same as y except that we replace
each a in y by a pair of b's and each b by a pair of a's. Since y' is
a regular expression, it will suffice to show that L(y') =
doubleswap(L).

(a) Prove that L(y') is a subset or equal to doubleswap(L).

(b) Prove that doubleswap(L) is a subset or equal to L(y').
Jul 17 '05 #1
2 1707
Jack you're an idiot. See my other post. Get off of usenet and find a
job at a bar where your mental capacities are on par with the subjects you
converse with.
-c
On Mon, 22 Sep 2003 22:29:21 -0700, Jack Smith wrote:
Can someone help me out with this problem. Any help is appreciated.
Thanks.

Let doubleswap(x) be the string formed by replacing each a in x by the
substring bb and each b by the substring aa. For example,
doubleswap(abcab)=bbaacbbaa. Furthermore, let doubleswap(L) be the
language formed of strings doubleswap(x) for x an element of L. Prove
that if L is regular, then so is doubleswap(L). Where L is a subset
(or equal) to {a, b, c}^*.

If L is regular, the L can be expressed as L(y) for some regular
expression y. We define y' to be the same as y except that we replace
each a in y by a pair of b's and each b by a pair of a's. Since y' is
a regular expression, it will suffice to show that L(y') =
doubleswap(L).

(a) Prove that L(y') is a subset or equal to doubleswap(L).

(b) Prove that doubleswap(L) is a subset or equal to L(y').


Jul 17 '05 #2
Christoper: Why flame the noob? There's no reason for it. Does he
intimidate you? Did you graduate at the bottom of your class and feel
your helpdesk job might be in jeopardy?

Jack: It's been a while since I saw this kind of material. I'm not
sure how your prof wants this problem explained (most likely by
mathematical proof), so let me suggest that you use proof by
contradiction. That usually is an acceptable way to prove
computational theory questions, especially when talking about regular
expressions over languages.
"Christopher Blunck" <bl****@gst.com> wrote in message news:<pa****************************@gst.com>...
Jack you're an idiot. See my other post. Get off of usenet and find a
job at a bar where your mental capacities are on par with the subjects you
converse with.
-c
On Mon, 22 Sep 2003 22:29:21 -0700, Jack Smith wrote:
Can someone help me out with this problem. Any help is appreciated.
Thanks.

Let doubleswap(x) be the string formed by replacing each a in x by the
substring bb and each b by the substring aa. For example,
doubleswap(abcab)=bbaacbbaa. Furthermore, let doubleswap(L) be the
language formed of strings doubleswap(x) for x an element of L. Prove
that if L is regular, then so is doubleswap(L). Where L is a subset
(or equal) to {a, b, c}^*.

If L is regular, the L can be expressed as L(y) for some regular
expression y. We define y' to be the same as y except that we replace
each a in y by a pair of b's and each b by a pair of a's. Since y' is
a regular expression, it will suffice to show that L(y') =
doubleswap(L).

(a) Prove that L(y') is a subset or equal to doubleswap(L).

(b) Prove that doubleswap(L) is a subset or equal to L(y').

Jul 17 '05 #3

This thread has been closed and replies have been disabled. Please start a new discussion.

Similar topics

28
by: stu_gots | last post by:
I have been losing sleep over this puzzle, and I'm convinced my train of thought is heading in the wrong direction. It is difficult to explain my circumstances, so I will present an identical...
8
by: intrepid_dw | last post by:
Hello, all. I've created a C# dll that contains, among other things, two functions dealing with byte arrays. The first is a function that returns a byte array, and the other is intended to...
10
by: Bharat | last post by:
Hi Folks, Suppose I have two link button on a page (say lnkBtn1 and lnkBtn2). On the click event of the lnkbtn1 I have to add a dynamically created control. And On the click event of the lnkBtn2 I...
7
by: Tina | last post by:
I have an asp project that has 144 aspx/ascx pages, most with large code-behind files. Recently my dev box has been straining and taking long times to reneder the pages in the dev environment. ...
5
by: SStory | last post by:
Hi all, I really needed to get the icons associated with each file that I want to show in a listview. I used the follow modified code sniplets found on the internet. I have left in...
10
by: Mae Lim | last post by:
Dear all, I'm new to C# WebServices. I compile the WebService project it return no errors "Build: 1 succeeded, 0 failed, 0 skipped". Basically I have 2 WebMethod, when I try to invoke the...
2
by: Steve K | last post by:
I got a bit of a problem I like some help on. I'm designing an online training module for people that work in food processing plants. This is my target audience. These workers have little or no...
9
by: smartbei | last post by:
Hello, I am a newbie with python, though I am having a lot of fun using it. Here is one of the excersizes I am trying to complete: the program is supposed to find the coin combination so that with...
3
by: cwoll | last post by:
Hi I need help. I have a ms access 2003 database that I would like to upgrade to ms access 2007. The first time I opened I had to fix a few references it wanted a DAO2535.TLB file witch I gave it,...
1
by: Tom | last post by:
First, I posted a similar request for help in another group and now don't find the posting. Problem with my newsreader perhaps ... but apologies if this appears as a cross posting. My code is...
0
by: Charles Arthur | last post by:
How do i turn on java script on a villaon, callus and itel keypad mobile phone
0
by: emmanuelkatto | last post by:
Hi All, I am Emmanuel katto from Uganda. I want to ask what challenges you've faced while migrating a website to cloud. Please let me know. Thanks! Emmanuel
0
BarryA
by: BarryA | last post by:
What are the essential steps and strategies outlined in the Data Structures and Algorithms (DSA) roadmap for aspiring data scientists? How can individuals effectively utilize this roadmap to progress...
1
by: Sonnysonu | last post by:
This is the data of csv file 1 2 3 1 2 3 1 2 3 1 2 3 2 3 2 3 3 the lengths should be different i have to store the data by column-wise with in the specific length. suppose the i have to...
0
by: Hystou | last post by:
There are some requirements for setting up RAID: 1. The motherboard and BIOS support RAID configuration. 2. The motherboard has 2 or more available SATA protocol SSD/HDD slots (including MSATA, M.2...
0
marktang
by: marktang | last post by:
ONU (Optical Network Unit) is one of the key components for providing high-speed Internet services. Its primary function is to act as an endpoint device located at the user's premises. However,...
0
by: Hystou | last post by:
Most computers default to English, but sometimes we require a different language, especially when relocating. Forgot to request a specific language before your computer shipped? No problem! You can...
0
jinu1996
by: jinu1996 | last post by:
In today's digital age, having a compelling online presence is paramount for businesses aiming to thrive in a competitive landscape. At the heart of this digital strategy lies an intricately woven...
0
isladogs
by: isladogs | last post by:
The next Access Europe User Group meeting will be on Wednesday 1 May 2024 starting at 18:00 UK time (6PM UTC+1) and finishing by 19:30 (7.30PM). In this session, we are pleased to welcome a new...

By using Bytes.com and it's services, you agree to our Privacy Policy and Terms of Use.

To disable or enable advertisements and analytics tracking please visit the manage ads & tracking page.