Explanation : If L is regular, L.LR is also regular by closure property.
Suffix (L) and Prefix (L) are also regular by closure property.
However option (b) {wwR |w∈L} need not be regular since if L is an infinite regular language, then {wwR |w ∈ L} will not only be infinite, but also non-regular. Since it involves string matching and we can increase in length indefinitely and then finite automata FA will run out of memory.
Explanation : Given R1 is a equivalence relation, because it satisfied reflexive, symmetric, and transitive conditions:
Reflexive: a = g–1ag can be satisfied by putting g = e, identity “e” always exists in a group.
Symmetric:aRb ⇒ a = g–1bg for some g
⇒ b = gag–1 = (g–1)–1ag–1
g–1 always exists for every g ∈ G.
Transitive:aRb and bRc ⇒ a = g1–1bg1
and b = g2–1 cg2 for some g1g2 ∈ G.
Now a = g1–1 g2–1 cg2g1 = (g2g1)–1 cg2g1
g1 ∈ G and g2 ∈ G ⇒ g2g1 ∈ G
since group is closed so aRb and aRb ⇒ aRc
R2 is not equivalence because it does not satisfied reflexive condition of equivalence relation:
aR2a ⇒ a = a–1 ∀a which not be true in a group. So, option (B) is correct.