Algoritmia - Algoritmo de Euclides

Hola!!
Me podrían ayudar a resolver ésta práctica? Para tenerla como base de partida e ir entendiendo.
LES AGRADECERÍA MUCHO.
El algoritmo de Euclides
Posiblemente sea una de las formas más antiguas de encontrar el máximo divisor entre dos números. Su forma está relacionada con la idea de magnitudes geométricas, de segmentos comensurables.
Dos segmentos (números) AB y CD son conmensurables cuando existe un tercer segmento PQ que cabe exactamente un número entero de veces en los primeros dos; es decir, PQ mide a los segmentos AB y CD.
El algoritmo funciona para cualquier elemento para el que exista una división con resto a lo que se le llama división euclidiana y a los conjuntos donde se puede definir dicha división se les llama dominios euclıdeos como por ejemplo a los polinomios con coeficientes racionales.

El algoritmo nos permite reducir a un número racional.

1. Máximo Común Divisor
1.1. Procedimiento
1. Sea a el mayor y b el menor entre numerador y denominador.
2. Dividase a entre b y sea q el cociente y r el residuo.
3. H´agase a = b y b = r
4. Rep´ıtase desde el paso 2 hasta que b sea 0.
5. Divıdase numerador y denominador entre a.