topological sorting should put initial states first

[Numero7]

on butterfly fig6-butterfly.dot

States: { R , L2 , L42 , R3 , R2 , L1 , L3 , R1 , L41 , L , R42 , R41 , W }
Initial: { L , R }
Accepting: { W }