Não consigo entender o que Knuth quis dizer nas instruções para um exercício 8 do capítulo 1.1.

A tarefa é criar um algoritmo gcd eficiente de dois números inteiros positivosm en usando sua notaçãotheta[j], phi[j], b[j] ea[j] onde theta e phi são cordas ea eb - inteiros positivos que representam etapas computacionais neste caso.

Deixe uma entrada ser a string do formulárioa^mb^n.

Uma excelente explicação do algoritmo de Knuth é dada porschnaader aqui.

Minha pergunta é como isso pode estar relacionado à direção dada no exercício para usar o algoritmo E dado no livro com o originalr (restante) substituído por|m-n| en substituído pormin(m,n).