Collatz de conjectures et grammaires / automates

16

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").

fl.formal-languages nt.number-theory halting-problem Deniz
la source
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
2
Voir aussi cette question et sa réponse.
J.-E.

Réponses:

22

Je suppose que ces articles de Jeffrey C. Lagarias pourraient aider:

  1. Le problème 3x + 1: une bibliographie annotée (1963-1999) (triée par auteur) .
  2. Le problème 3x + 1: une bibliographie annotée, II (2000-2009) .

Une autre bonne source est le livre récent " The Ultimate Challenge ". Dans ce chapitre "Généralisé3X+1fonctions et la théorie du calcul ", section#8 , peut également présenter un intérêt.

Oleksandr Bondarenko
la source
merci, je voulais juste voir ce qui bouillonne avant d'accepter la réponse.
Deniz