Subject	English	Chinese
IT	computable function	可计算函数
tech.	computable function	可算函数
el.	logic for computable functions	可计算函数逻辑
tech.	predictably computable function	预测可计算性函数
el.	programming language of computable functions	可计算函数的程序设计语言
tech.	quintuple Turing computable function	五元组图灵可计算函数
IT	Turing computable function	图灵可计算函数