Non-halting Turing machine
(Very rough sketches and outlines)
Classification
- Cyclers
- Translated cyclers
- Bouncers
- Bells
- Exponential bells
- Cubic bells
- Quartic bells
- etc...
- Counters
- Regular
- Irregular
- Exponential/tetration...
- Hybrid (counter-counter, bouncer-counter)
- Fractals
- Cube-like fractals
- Christmas tree fractals
- Spaghetti
- Cellular automata
By the uncomputability of the Busy Beaver function, it is reasonable to believe that there can never be a complete classification of behaviors of Turing machines for arbitrarily high numbers of states.