De manera formal, se expresa el algoritmo babilónico usando pseudocódigo de la siguiente manera: