Me preguntaba si hay una buena bibliografía de intentos de investigar la conjetura de Collatz como una gramática formal. (o cualquier otro intento en la comunidad de CS para lidiar con esta clase de fenómenos generativos y sus propiedades de "detención").
16
Respuestas:
Creo que estos documentos de Jeffrey C. Lagarias podrían ayudar:
fuente
Específicamente, es posible que desee consultar este documento de Shallit y Wilson: "3x + 1" Problema y autómatas finitos ", Boletín de EATCS , 46 (1992), págs. 182-185 .
EDITADO PARA AGREGAR: Esto aparece como resultado 8.5 en la parte "sección # 8" de la respuesta de Oleksandr Bondarenko .
fuente