Editor to generate Finite State Machine