Nicolas Seriot 证明了 Unicode 的 UTS #35 转写规则具有图灵完备性，意味着它们可以模拟任何计算过程。这表明判断特定转写规则在给定输入下是否会终止是一个不可判定问题，突显了 ICU 等广泛使用的国际化库中存在的重大理论复杂性。
背景
UTS #35 定义了 Unicode 区域数据标记语言 (LDML) 的标准，其中包含由 ICU 等库用于跨语言文本转换的转写规则。
- 来源
- Lobsters
- 发布时间
- 2026年7月8日 21:46
- 评分
- 7.0 / 10
Nicolas Seriot 证明了 Unicode 的 UTS #35 转写规则具有图灵完备性，意味着它们可以模拟任何计算过程。这表明判断特定转写规则在给定输入下是否会终止是一个不可判定问题，突显了 ICU 等广泛使用的国际化库中存在的重大理论复杂性。
UTS #35 定义了 Unicode 区域数据标记语言 (LDML) 的标准，其中包含由 ICU 等库用于跨语言文本转换的转写规则。