Zastanawiałem się, czy istnieje dobra bibliografia prób zbadania hipotezy Collatza jako formalnej gramatyki? (lub wszelkie inne próby w społeczności CS radzenia sobie z tą klasą zjawisk generatywnych i ich „zatrzymywaniem”).
jako rodzaj folkloru istnieje dość naturalny sposób na zbadanie tego problemu poprzez zbudowanie przetwornika FSM, który oblicza iteracje w systemie binarnym (od najmniej znaczącego do najbardziej znaczącego), chociaż nie widział tego w pracy. Nie wiem, czy ta konstrukcja jest zawarta w tekście płytkim i Wilsona, może to być najbliższy opublikowany artykuł w stosunku do techniki przetwornika.
—
vzn
więcej na temat hipotezy collatza z kąta przetwornika FSM i różnych odniesień
—
vzn