Computational language theory proof

  • Thread starter sbc824
  • Start date
  • #1
5
0

Homework Statement



I need to prove this

http://www.freeimagehosting.net/newuploads/66exd.jpg

R represents the reversal of...L1 and L2 represent languages, which can represent strings.

(L1L2) = the concatenation of L1 and L2

Ex.

L1 = 01001
L2 = 001

L1L2 = 01001001
(L1L2)^R = 10010010


The Attempt at a Solution



Let y be a member of E* denote an arbitrary string in the set (L1L2)^R.

This is where I'm stuck...
 

Answers and Replies

  • #2
HallsofIvy
Science Advisor
Homework Helper
41,847
967

Homework Statement



I need to prove this

http://www.freeimagehosting.net/newuploads/66exd.jpg

R represents the reversal of...L1 and L2 represent languages, which can represent strings.

(L1L2) = the concatenation of L1 and L2

Ex.

L1 = 01001
L2 = 001

L1L2 = 01001001
(L1L2)^R = 10010010
And what is L2^RL1^R? That seems the obvious thing to calculate to see what the question is asking.

The Attempt at a Solution



Let y be a member of E* denote an arbitrary string in the set (L1L2)^R.

This is where I'm stuck...
 

Related Threads on Computational language theory proof

  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
3
Views
1K
  • Last Post
Replies
1
Views
919
  • Last Post
Replies
3
Views
911
  • Last Post
Replies
7
Views
2K
  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
4
Views
1K
  • Last Post
Replies
3
Views
742
  • Last Post
Replies
21
Views
6K
Top