Finite State Machine Editor