implementacion fsml fina