Machine-translated by Google. Questions are authored in English.
Top

Discussion

Let Σ = {a, b}, Γ = {a, b, c} and define 'h' by :

h(a) = ab
h(b) = bbc

Then h(aba) = abbbcab

The homomorphic image of L = {aa, aba} is the language .............. .

  • A.h(L) = {abab, abbbcab}
  • B.h(L) = {abab, abbbcab, aaaa}
  • C.h(L) = {abab, abbbcab, bbbb}
  • D.h(L) = {abb, abcab}

Answer: A

The image is h(L) = {abab, abbbcab}.

A homomorphism replaces each symbol by its image string, and the image of a language is the set of images of its strings:

\[ \begin{aligned} h(aa) &= h(a)\,h(a) = ab\,ab = abab \\ h(aba) &= ab\,bbc\,ab = abbbcab \end{aligned} \]

L has only two strings, so h(L) has at most two. The strings aaaa and bbbb in options B and C are not images of anything in L, and option D's strings do not match h(a) = ab and h(b) = bbc.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.