所谓可计算性,亦称算法理论或能行性理论 , 是计算机科学的理论基础之一 。
可计算性通过建立计算的数学模型,精确区分哪些是可计算的,哪些是不可计算的 。计算的过程是执行算法的过程 。可计算性理论的重要课题之一,是将算法这一直观概念精确化 。算法概念精确化的途径很多,其中之一是通过定义抽象计算机 , 把算法看作抽象计算机的程序 。通常把那些存在算法计算其值的函数叫做可计算函数 。
【什么是可计算性】因此 , 可计算性的精确定义为:能够在抽象计算机上编出程序计算出值的特征 。
- ball是什么意思
- 庄子的别称和作者又名什么
- 植物硒是什么东东
- 了解我是农民主要讲述什么 我是农民演员表
- ebol是什么文献
- 塑料包装是什么垃圾
- 清洁手用什么最好
- 奶茶里的珍珠是怎么做出来 奶茶里的珍珠是什么做的
- 五彩斑斓的斓是什么意思
- 石碳酸主要是什么作用