O algoritmo foi implementado usando a linguagem python. Dentro da função euclides, o condicional verifica a relação entre x e y. Se x é divisível por y, então x é o máximo divisor comum; caso contrario, chama, recursivamente, a função euclides para seguir procurando.
def euclides(x, y):
if y!=0:
return euclides(y, x%y)
return x
if __name__ == '__main__':
print euclides(594,216)
print euclides(5,25)