From IPVCE Carlos Marx, IPVCE Ernesto Guevara
$$\displaystyle T(B)=anb$$ ~[aanba][aanaa][aanan][aanbn][aanbb]~