languages Definition String Homomorphism Let be two alphabet. A homomorphism is an inductive extension of strings over : A homomorphism can also be applied to every word on a language : Example: Let a homomorphism with and . Then and .