Tôi đã tự hỏi nếu có một thư mục tốt về các nỗ lực để điều tra phỏng đoán Collatz là một ngữ pháp chính thức? (hoặc bất kỳ nỗ lực nào khác trong cộng đồng CS để đối phó với loại hiện tượng chung chung này & các thuộc tính "tạm dừng" của chúng).
như một cách tiếp cận văn hóa dân gian, có một cách khá tự nhiên để nghiên cứu vấn đề này bằng cách xây dựng một bộ chuyển đổi FSM tính toán lặp trong nhị phân (bit ít nhất đến bit đáng kể nhất) mặc dù chưa thấy điều này trong một bài báo. không biết liệu công trình này có nằm trong giấy héo và wilson không, đó có thể là bài báo được công bố gần nhất với kỹ thuật đầu dò.
—
vzn
thêm về phỏng đoán collatz từ góc chuyển đổi FSM & refs misc
—
vzn