FSM Simulator