Tự dưng lại thành Turing hoàn chỉnh

Nói một hệ là Turing hoàn chỉnh (https://en.wikipedia.org/wiki/Turing_completeness) có nghĩa là, nếu giả định không có giới hạn về thời gian và không gian, nó có thể làm chính xác những gì một máy tính mà chúng ta thường biết có thể làm. Thế nhưng có khá nhiều thứ mà việc trở thành Turing hoàn chỉnh lại gây phiền toái, hoặc vốn chẳng ai nghĩ đến chuyện đó nhưng rồi bằng cách nào đó lại tự dưng thành Turing hoàn chỉnh. Tôi đã dịch sơ qua danh sách này.

• template C++

• hệ thống kiểu của TypeScript

• generics của Java

• bộ quản lý bộ nhớ (MMU) của x86

• bộ luật của Magic: The Gathering (trò chơi thẻ bài)

• HTML5 + CSS3

• Minecraft

• Dwarf Fortress

• SQL

• bộ tiền xử lý của C (chỉ khi cho phép đầu vào vô hạn)

• các quy tắc mod_rewrite của Apache

• Pokémon Yellow (hơi mơ hồ vì đây là việc viết lại mã game bằng cách khai thác lỗ hổng bảo mật?)

• hệ thống kiểu của Scala

• template của MediaWiki

• LittleBigPlanet

• server-side include

• cấu hình Sendmail

• chế độ normal của Vim

• BGP

• Excel

• Super Mario World (trường hợp này cũng là viết lại mã game bằng cách khai thác lỗ hổng bảo mật)

• PowerPoint

• kết xuất phông chữ

[aucun]

Một vài cái khá bất ngờ.

[luzluna]

baba is you