2-tag system
HoldKỹ thuật
Mô hình tính toán đơn giản mỗi bước bỏ hai ký hiệu đầu và nối thêm chuỗi theo quy tắc, vốn được biết là phổ dụng.
Vì sao ở đây
Xếp vào Hold: 1 bài bằng chứng từ 1 nguồn, chủ yếu là tin nghiên cứu, 0 bài trong 30 ngày qua. Độ tin cậy 24%. Bằng chứng còn ít nên xếp thận trọng, chờ thêm tín hiệu.
Bằng chứng (1)
- 7Hacker News·8/7/2026researchQuy tắc chuyển tự Unicode được chứng minh là Turing hoàn chỉnh
Bài viết trên Hacker News nêu một chứng minh cho thấy các quy tắc chuyển tự UTS #35, như được triển khai trong ICU, có thể biểu đạt tính toán phổ dụng nếu xem theo ngữ nghĩa không giới hạn. Tác giả chuyển một hệ 2-tag thành các quy tắc chuyển tự và minh họa bằng ví dụ hàm Collatz, đồng thời lưu ý rằng việc một bộ quy tắc có dừng hay không là bất khả quyết.