335 views

1 Answer

2 votes
2 votes

$(L_1L_2)^R = \{ x^R | x \in L_1L_2 \}$

Since $x \in L_1L_2,$ hence, $x = yz; \,\, y \in L_1, z \in L_2$

$(L_1L_2)^R = \{ (yz)^R | y \in L_1, z \in L_2 \}$

$(L_1L_2)^R = \{ z^Ry^R | y \in L_1, z \in L_2 \}$  (by the result we proved Here )

$(L_1L_2)^R = \{ z^R |  z \in L_2 \}.$ $\{ y^R | y \in L_1 \}$

$(L_1L_2)^R = L_2^R.L_1^R.$

Hence Proved.

Detailed Video Solution

Related questions

1 votes
1 votes
1 answer
1
Naveen Kumar 3 asked Mar 19, 2019
329 views
Prove or disprove the following claims.(a) $(L_1 ∪ L_2)^R = L_1^R ∪ L_2^R$ for all languages $L_1$ and $L_2$.(b) $(L^R)^* = (L^*)^R$ for all languages $L$.