Exercise 10:

Regular description for σ(L)\sigma(L) where L={w{a,b,c}x,y:((w=xay    w=xcy)    y=1)}L=\{ w \in \{a,b,c\}^* \mid \exists x,y: ((w=xay\;\vee\;w=xcy)\;\wedge\;|y|=1) \}
and σ\sigma is the morphism defined by σ(a)=aba\sigma(a)=aba, σ(b)=aa\sigma(b)=aa and σ(c)=b\sigma(c)=b
Give a regular description for the image of the set of words over {a,b,c}\{a,b,c\}, with either an aa or a cc in the second position starting from the end, through the morphism σ\sigma defined by σ(a)=aba\sigma(a)=aba, σ(b)=aa\sigma(b)=aa and σ(c)=b\sigma(c)=b
Authors: Guillem Godoy / Documentation:
To be able to submit you need to either log in, register, or become a guest.