La función sucesores de un nodo devuelve todos los pares  posibles, donde cada acción es una de las acciones aplicables correspondientes al estado del nodo, y cada sucesor es un nodo cuyo estado será el resultado de aplicar la acción correspondiente al estado del nodo.