Ya que los estados se representan por conjuntos de acciones, la función de transición emparentada con la instancia STRIPS formula_1 es una función: