topological sorting should put initial states first #65
Description
on butterfly fig6-butterfly.dot
States: { R , L2 , L42 , R3 , R2 , L1 , L3 , R1 , L41 , L , R42 , R41 , W }
Initial: { L , R }
Accepting: { W }
{{ message }}
on butterfly fig6-butterfly.dot
States: { R , L2 , L42 , R3 , R2 , L1 , L3 , R1 , L41 , L , R42 , R41 , W }
Initial: { L , R }
Accepting: { W }