La Función de Kaprekar como Autómata Finito Determinista: Análisis Formal de Convergencia 📄 Ver PDF Volver al Capítulo Resumen En este escrito formalizamos el proceso de Kaprekar como un autómata finito determinista (DFA) y demostramos que su estructura garantiza convergencia mediante propiedades verificables: determinismo, completitud, absorbencia y la estructura de grafo acı́clico dirigido (DAG) con un único punto fijo. Esta formalización proporciona un marco riguroso para entender la convergencia y permite comparar la estructura de Kaprekar con otros sistemas dinámicos discretos.