From IPVCE Carlos Marx, IPVCE Ernesto Guevara, Concurso Provincial de Informática de Matanzas
$$\displaystyle T(B)=anb$$ ~[aanba][aanaa][aanan][aanbn][aanbb]~
$$\displaystyle T(B)=anb$$
![[aanba][aanaa][aanan][aanbn][aanbb]](//dmoj.uclv.edu.cu/mathoid/e58c25fe94111b7f59d9e869befabaefb82aa535/svg)
~[aanba][aanaa][aanan][aanbn][aanbb]~