Dugaan & Tata Bahasa Collatz / Automata

16

Saya bertanya-tanya apakah ada bibliografi yang baik tentang upaya untuk menyelidiki dugaan Collatz sebagai tata bahasa formal? (atau upaya lain apa pun dalam komunitas CS untuk menangani kelas fenomena generatif ini & sifat "tersendat" mereka).

fl.formal-languages nt.number-theory halting-problem Deniz
sumber
sebagai semacam pendekatan cerita rakyat, ada cara yang cukup alami untuk mempelajari masalah ini dengan membangun transduser FSM yang menghitung iterasi dalam biner (bit paling tidak signifikan ke bit yang paling signifikan) meskipun belum melihat ini di sebuah makalah. tidak tahu apakah konstruksi ini ada di kertas mustit dan wilson, yang mungkin merupakan makalah yang paling dekat dengan teknik transduser.
vzn
lebih lanjut tentang dugaan collatz dari sudut transduser FSM & misc refs
vzn
2
Lihat juga pertanyaan ini dan jawabannya.
J.-E.

Jawaban:

22

Saya kira makalah ini oleh Jeffrey C. Lagarias dapat membantu:

  1. Masalah 3x + 1: Bibliografi beranotasi (1963-1999) (disortir menurut penulis) .
  2. 3x + 1 Masalah: An Anotated Bibliography, II (2000-2009) .

Sumber bagus lainnya adalah buku terbaru " The Ultimate Challenge ". Di dalamnya bab "Generalized fungsi dan teori komputasi", bagian # 8 , juga dapat menarik.3x+1#

Oleksandr Bondarenko
sumber
terima kasih, saya hanya ingin melihat apa yang muncul sebelum menerima jawabannya.
Deniz