computation-theory

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