FSME finite state machine generator