Resumen

Hemos visto que para un autómata reversible en donde $\phi$ y $\phi ^{-1}$ tengan el mismo valor de $r$, el comportamiento se puede representar por medio de dos permutaciones en bloque y un corrimiento, y hemos generalizado este proceso para cualquier valor de los índices de Welch utilizando los conjuntos $X$ y $Y$. Una pregunta inmediata que podemos formular es ¿de qué forma deben ser estas permutaciones de tal forma que cumplan con el proceso descrito?.