Closed OlingCat closed 4 months ago
可决定 -> 可判定（Decidable） 采用可计算性理论的通用译法
上下文 -> 语境（Context） 我们在讨论语言，有语法、语义，当然也可以有语境。
可决定 -> 可判定（Decidable） 采用可计算性理论的通用译法
上下文 -> 语境（Context） 我们在讨论语言，有语法、语义，当然也可以有语境。