Mi chiedevo se esiste una buona bibliografia dei tentativi di indagare sulla congettura di Collatz come grammatica formale? (o qualsiasi altro tentativo nella comunità CS di affrontare questa classe di fenomeni generativi e le loro proprietà di "arresto").
come una sorta di approccio folcloristico, esiste un modo abbastanza naturale di studiare questo problema costruendo un trasduttore FSM che calcola le iterazioni in binario (da bit meno significativo a bit più significativo) anche se non l'hanno visto in un documento. non so se questa costruzione è nel documento di Wilson e Wilson, che potrebbe essere il documento pubblicato più vicino alla tecnica del trasduttore.
—
vzn
Altre informazioni sulla congettura di Collatz dall'angolo del trasduttore FSM e riferimenti vari
—
vzn