Se puede expresar este algoritmo de manera más formal usando pseudocódigo.
Aquí está una posible implementación en pseudocódigo:

```
INICIO
  leer x, y (valores de entrada)
  si x > y entonces
    intercambiar x e y
  fin si
  imprimir "El valor más grande es: " + y
FIN
