Generative fsm