Collatz Vermutung & Grammatik / Automaten

16

Ich habe mich gefragt, ob es eine gute Bibliographie von Versuchen gibt, die Collatz-Vermutung als formale Grammatik zu untersuchen. (oder andere Versuche in der CS-Community, sich mit dieser Klasse von generativen Phänomenen und ihren "Stopp" -Eigenschaften zu befassen).

fl.formal-languages nt.number-theory halting-problem Deniz
quelle
Als eine Art Folkloreansatz gibt es eine ziemlich natürliche Möglichkeit, dieses Problem zu untersuchen, indem ein FSM-Wandler gebaut wird, der Iterationen in Binärform (niedrigstwertiges Bit bis höchstwertiges Bit) berechnet, obwohl dies in einer Veröffentlichung nicht erwähnt wurde. Ich weiß nicht, ob es sich bei dieser Konstruktion um das Shallowit- und Wilson-Papier handelt, das möglicherweise der Wandlertechnik am nächsten kommt.
vzn
Weitere Informationen zu Kollatz-Vermutungen von FSM-Schallkopfwinkeln und anderen
Referenzen
2
Siehe auch diese Frage und ihre Antwort.
J.-E.

Antworten:

22

Ich denke, diese Papiere von Jeffrey C. Lagarias könnten helfen:

  1. Das 3x + 1-Problem: Eine kommentierte Bibliographie (1963-1999) (sortiert nach Autor) .
  2. Das 3x + 1-Problem: Eine kommentierte Bibliographie, II (2000-2009) .

Eine weitere gute Quelle ist das kürzlich erschienene Buch " The Ultimate Challenge ". Darin kann auch das Kapitel "Verallgemeinerte Funktionen und die Berechnungstheorie", Abschnitt # 8 , von Interesse sein.3x+1#

Oleksandr Bondarenko
quelle
Danke, ich wollte nur sehen, was sonst noch aufsteigt, bevor ich die Antwort akzeptiere.
Deniz