No puedo entender a qué se refería Knuth en sus instrucciones para un ejercicio 8 del Capítulo 1.1.

La tarea es hacer un algoritmo gcd eficiente de dos enteros positivosm yn usando su notacióntheta[j], phi[j], b[j] ya[j] donde theta y phi son cadenas ya yb - enteros positivos que representan pasos computacionales en este caso.

Deje que una entrada sea la cadena del formularioa^mb^n.

Una excelente explicación del algoritmo de Knuth está dada porSchnaader aquí.

Mi pregunta es cómo se puede conectar esto con la dirección dada en el ejercicio para usar su algoritmo E dado en el libro con el originalr (resto) sustituido por|m-n| yn sustituido pormin(m,n).