Una instancia de STRIPS se compone de: