Estoy haciendo los ejercicios de TAOCP Volumen 1 Edición 3 y tengo problemas para comprender la sintaxis utilizada en la respuesta al siguiente ejercicio.

Capítulo 1 Ejercicio 8

alculando el máximo común divisor de enteros positivos m & n especificando Tj, sj,uj,sj

Deje que su entrada sea representada por la cadena ambn (m a's seguido de n b's)

Responder

Deje A = {a, b, c}, N = 5. El algoritmo terminará con la cadena agcd (m, n)

    j     Tj     sj    bj    aj
    0     ab  (empty)  1    2   Remove one a and one b, or go to 2.
    1   (empty)  c     0    0   Add c at extreme left, go back to 0.
    2     a      b     2    3   Change all a's to b's
    3     c      a     3    4   Change all c's to a's
    4     b      b     0    5   if b's remain, repeat

La parte que tengo problemas para entender es simplemente cómo interpretar esta tabla. Además, cuando Knuth dice que esto terminará con la cadena agcd (m, n) - ¿por qué el superíndice para gcd (m, n)?

¡Gracias por cualquier ayuda

Editado con más preguntas:

Qué es Tj - tenga en cuenta que T = Theta

Qué es j - tenga en cuenta que s = phi

¿Cómo interpretas las columnas b j y unj?

¿Por qué Knuth cambia una nueva notación en la solución a un ejemplo que no explica en el texto? Solo frustrante. ¡¡¡Gracias!!