Je me demandais s'il y avait une bonne bibliographie des tentatives d'enquêter sur la conjecture de Collatz comme grammaire formelle? (ou toute autre tentative dans la communauté CS pour faire face à cette classe de phénomènes génératifs et leurs propriétés "d'arrêt").
comme une sorte d'approche folklorique, il existe un moyen assez naturel d'étudier ce problème en construisant un transducteur FSM qui calcule les itérations en binaire (bit le moins significatif au bit le plus significatif) bien que cela n'ait pas été vu dans un article. Je ne sais pas si cette construction est dans le papier shallit et wilson, qui peut être le papier publié le plus proche de la technique du transducteur.
—
vzn
plus sur la conjecture de collatz de l' angle du transducteur FSM et les références
—
diverses