1) A)

1) B)
La MT se dividi en varias MT que realizan determinadas funciones.
La manera de buscar la simplificacin es la siguiente:
Primero se calcula b%a (Modulo), si el mdulo da como resultado 0, quiere
decir que b es divisible por a, por lo que se divide b en a y a se reemplaza
por un 1.
Si el mdulo no da como resultado 0, se procede a verificar si a y b son
divisibles por dicho nmero, de ser as, se divide a y b por b%a, quedando
en la cinta el resultado en la forma a#b. Siendo a y b el resultado de la
simplificacin de a y b.
Si a o b no son divisibles, entonces queda en la cinta el nmero original.

A continuacin se muestra el desarrollo de cada una de las funciones

utilizadas para esta MT:
B mod A (B%A)
Agrega el resultado de la operacin al final de la cinta.
Se detiene una vez terminado el clculo.

Divisin simple
En el caso de que el resultado de la operacin modulo sea 0, se dividen
ambos nmeros en a, quedando en la cinta expresado como a#b. Siendo
ahora a y b los nmeros simplificados.

Es a divisible por B mod A?

Esta funcin se encarga de agregar un 1 al final de la cinta si la respuesta a
la pregunta es afirmativa y un 0 si es negativa.

Es b divisible por B mod A?

Esta funcin se encarga de agregar un 1 al final de la cinta si la respuesta a
la pregunta es afirmativa y un 0 si es negativa.

B / (B mod A)
Esta funcin se ejecuta slo si los valores de las funciones Es a divisible
por B mod A? y Es b divisible por B mod A? tienen como resultado 1.
Divide B en B mod A y agrega el resultado al comienzo de la cinta.

A / (B mod A)
Esta funcin se ejecuta slo si los valores de las funciones Es a divisible
por B mod A? y Es b divisible por B mod A? tienen como resultado 1.
Divide A en B mod A y agrega el resultado al comienzo de la cinta.
Luego, se encarga de limpiar todos los valores utilizados para todo calculo,
quedando finalmente la cinta de la forma a # b, donde a y b
corresponden a los valores simplificados de a y b.