Collatz Conjecture ve Dilbilgileri / Automata

16

Collatz varsayımını resmi bir dilbilgisi olarak inceleme girişimlerinin iyi bir bibliyografyası olup olmadığını merak ediyordum. (ya da CS topluluğunda bu tür üretken fenomenler ve onların "durma" özellikleriyle ilgilenme girişimleri).

fl.formal-languages  nt.number-theory  halting-problem 
— Deniz
kaynak
bir tür folklor yaklaşımı olarak, bunu bir makalede görmemiş olsa da ikili (en az önemli bitten en önemli bite) yinelemeleri hesaplayan bir FSM dönüştürücü oluşturarak bu sorunu incelemek için oldukça doğal bir yol vardır. Bu yapının kanun ve wilson kâğıdında olup olmadığını bilmiyorum, bu dönüştürücü tekniğine en yakın yayınlanmış kağıt olabilir.
— vzn
— vzn
2
Ayrıca bu soruya ve cevabına bakınız.
— J.-E.

Yanıtlar:

22

Sanırım Jeffrey C. Lagarias'ın bu makaleleri yardımcı olabilir:

  1. 3x + 1 problemi: Açıklamalı bir bibliyografya (1963-1999) (yazara göre sıralanmıştır) .
  2. 3x + 1 Sorunu: Açıklamalı Kaynakça, II (2000-2009) .

Bir başka iyi kaynak da son kitap " Ultimate Challenge ". Bu bölümde "Genelleştirilmiş fonksiyonları ve hesaplama teorisi", bölüm # 8 de ilgi çekebilir.3x+1#

— Oleksandr Bondarenko
kaynak
teşekkürler, sadece cevabı kabul etmeden önce başka ne kabarcıkları görmek istedim.
— Deniz
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.