Collatz Conjecture & Gramatic / Automata

16

Мені було цікаво, чи є хороша бібліографія спроб дослідження гіпотези Колатца як формальної граматики? (або будь-які інші спроби спільноти CS боротися з цим класом генеративних явищ та їх властивостями "зупинки").

fl.formal-languages nt.number-theory halting-problem

— Деніз
джерело

як своєрідний фольклорний підхід, існує досить природний спосіб вивчення цієї проблеми шляхом побудови перетворювача FSM, який обчислює ітерацію у двійковому (щонайменше значущий біт до найбільш значущого біта), хоча цього не бачили в роботі. не знаю, чи є ця конструкція в папері Willit і Wilson, це може бути найближчий опублікований папір до перетворювача.

— vzn

детальніше про здогад колатза з кута перетворювача FSM & misc refs

— vzn

2

Дивіться також це питання та його відповідь.

— Ж.-Є.

22

Я думаю, що ці документи Джефрі К. Лагарія можуть допомогти:

Ще одне хороше джерело - нещодавня книга « Остаточний виклик ». У ньому розділ «Узагальнений $3x+1$ функції та теорія обчислення », розділ $\#$ 8 , може також представляти інтерес.

— Олександр Бондаренко
джерело

дякую, я просто хотів подивитися, що ще пухирить, перш ніж прийняти відповідь.

— Деніз

10

Зокрема, ви можете ознайомитись із цим документом Шаллітом та Вілсоном: "Проблема та кінцеві автомати" 3x + 1 ", Вісник EATCS , 46 (1992), стор 182-185 .

ВИДАЛЕНО ДО ДОДАТИ: Це відображається як результат 8.5 у частині "розділу № 8" відповіді Олександра Бондаренка .

— мум
джерело