Let Σ = {w, x} and T = {x, y, z}, with homomorphism h(x) = xzy and h(w) = zxyy. If L is denoted by r = (w + x*)(ww)*, then h(L) is denoted by

1. A(zxyy + xzy)(zxyy)
2. B(zxyy + (xzy)*)(zxyyzxyy)*
3. C(zxyy + xzy)(zxyy)*
4. D(zxyy + (xzy)*)(zxyyzxyy)

Pick an option to check yourself, or open the answer below.

Show answer & explanation

Correct answer: B. (zxyy + (xzy)*)(zxyyzxyy)*

Explanation

Apply h to each symbol of the expression: w → zxyy, x* → (xzy)*, (ww)* → (zxyyzxyy)*.