\Draw 
   \TmDiagrams(4) 
   \Diagram 
   ( 
     0,0,0 
   & 1,120,0 
   ) 
   ( 
     2,240,0 
   ) 
   ( 
     0,1,{\$/0, B/{B,-1}, B/{B,-1}, B/{B,-1}, /$\epsilon$ }, 
   & 0,0,90,{a/+1, B/{a,+1}, B/{B,0}, B/{B,0}, /$\epsilon$ , 
             b/+1, B/{B,0}, B/{b,+1}, B/{B,0}, /$\epsilon$ , 
             c/+1, B/{B,0}, B/{B,0}, B/{c,+1}, /$\epsilon$ 
            } 
   & 1,1,90,{\$/0, a/{a,-1}, b/{b,-1}, c/{c,-1}, /d} 
   ) 
\MoveToLoc(1) \CSeg[0.5]\Move(1,2) 
\Move(0,10) \Text(--else--) 
\Edge(1,2) 
\EndDraw