Collatz Conjectura e gramáticas / Autômatos

16

Fiquei me perguntando se existe uma boa bibliografia de tentativas de investigar a conjectura de Collatz como uma gramática formal. (ou quaisquer outras tentativas na comunidade de CS para lidar com essa classe de fenômenos generativos e suas propriedades de "interrupção").

fl.formal-languages nt.number-theory halting-problem Deniz
fonte
como uma espécie de abordagem folclórica, existe uma maneira bastante natural de estudar esse problema criando um transdutor FSM que calcula iterações em binário (bit menos significativo para bit mais significativo), embora não tenha visto isso em um artigo. não sei se essa construção está no artigo willit e wilson, que pode ser o artigo publicado mais próximo da técnica do transdutor.
vzn
mais em conjecturas Collatz de transdutor angulares & Misc refs FSM
vzn
2
Veja também esta pergunta e sua resposta.
J.-E.

Respostas:

22

Acho que esses documentos de Jeffrey C. Lagarias poderiam ajudar:

  1. O problema de 3x + 1: uma bibliografia anotada (1963-1999) (classificada por autor) .
  2. O Problema 3x + 1: Uma Bibliografia Anotada, II (2000-2009) .

Outra boa fonte é o livro recente " The Ultimate Challenge ". Nele capítulo "generalizada funções e teoria da computação", seção # 8 , também pode ser de interesse.3x+1 1#

Oleksandr Bondarenko
fonte
obrigado, eu só queria ver o que mais borbulha antes de aceitar a resposta.
Deniz