init A ; A--a->B ; B--a->A ; B--b->B ; final B.

A--a->B ; 
A--b->C ; 
B--a->C ; 
B--b->B ; 
B--c->D ; 
C--b->A ; 
C--c->D ; 
D--c->E ; 
E--c->B ; 
init A ; 
final C, E.