Me preguntaba si hay una buena bibliografía de intentos de investigar la conjetura de Collatz como una gramática formal. (o cualquier otro intento en la comunidad de CS para lidiar con esta clase de fenómenos generativos y sus propiedades de "detención").
Como una especie de enfoque folklórico, existe una forma bastante natural de estudiar este problema mediante la construcción de un transductor FSM que calcule iteraciones en binario (bit menos significativo a bit más significativo) aunque no lo haya visto en un documento. no sé si esta construcción está en el papel de willit y wilson, que puede ser el papel publicado más cercano a la técnica del transductor.
—
vzn
más sobre conjeturas de collatz desde el ángulo del transductor FSM y referencias misceláneas
—
vzn