Regular description for σ(L) where L={w∈{a,b}∗∣∃x,y:(w=xay∧∣y∣=2)} and σ is the morphism defined by σ(a)=aba and σ(b)=bab
Give a regular description for the image of the set of words over {a,b},
with an a in the third position starting from the end, through the morphism
σ defined by σ(a)=aba and σ(b)=bab