\Draw
\TmDiagrams(2)
\Diagram
(
0,0,0
& 1,100,0
& 2,20,-90
& 3,200,-90
)
(
4,300,-90
)
(
0,1,{\$/-1, B/{B,-1}, /$\epsilon$},
& 1,2,{\cent/+1, a/{a,-1}, /$\epsilon$},
{\$/-1, a/{a,0}, /$\epsilon$}
& 1,3,{\cent/0, B/{B,0}, /$\epsilon$},
& 2,3,{\$/0, B/{B,0}, /$\epsilon$},
& 3,4,{*/0, B/{B,0}, /$\epsilon$},
%
& 0,0,90,{a/+1, B/{a,+1}, /$\epsilon$ }
& 1,1,90,{a/-1, a/{a,0}, /a}
& 2,2,-90,{a/+1, a/{a,0}, /b}
& 3,3,-90,{*/0, B/{B,0}, /b}
)
\EndDraw