解释下列名称术语（12分） 1．可计算函数 2．可判定性语言 3．通用图灵机 4. 接受计算历史 5．多项式时间归约 6．NP完全性

1可计算函数：指满足一定条件的函数，可以使用算法来实现。2.可判定性语言：指能够在有限步骤内确定某个语句是否为真的语言。3.通用图灵机：是一种以图灵机为基础的抽象计算模型，它可以模拟任何计算机程序。4.接受计算历史：是一种计算模型，它可以记录多个计算步骤，模拟这些计算步骤，并衍生出新的计算步骤。5.多项式时间归约：指在多项式时间内，把一个问题转化为等价的另一个问题的过程。6.NP完全性：指一个问题在多项式时间内无法求解，但可以通过非多项式时间的方式求解的问题。