undecidability

Unicode 的转写规则（UTS #35）通过编译2-标签系统被证明是图灵完备的，显示终止问题不可判定。这一结果影响了许多系统中使用的 ICU 库。

麻省理工学院硬度小组的研究证明，超级马里奥关卡可能无法判定，意味着没有任何计算机程序总能确定马里奥能否到达城堡，将超级马里奥置于最难复杂度类别中。