The Collatz conjecture equivalently states that this tag system, with an arbitrary finite string of as the initial word, eventually halts (see Tag system for a worked example).
The Collatz conjecture equivalently states that this tag system with an arbitrary finite string of as the initial word eventually halts (see Tag system for a worked example)