Fiquei me perguntando se existe uma boa bibliografia de tentativas de investigar a conjectura de Collatz como uma gramática formal. (ou quaisquer outras tentativas na comunidade de CS para lidar com essa classe de fenômenos generativos e suas propriedades de "interrupção").
como uma espécie de abordagem folclórica, existe uma maneira bastante natural de estudar esse problema criando um transdutor FSM que calcula iterações em binário (bit menos significativo para bit mais significativo), embora não tenha visto isso em um artigo. não sei se essa construção está no artigo willit e wilson, que pode ser o artigo publicado mais próximo da técnica do transdutor.
—
vzn
mais em conjecturas Collatz de transdutor angulares & Misc refs FSM
—
vzn