计算理论( Theory of Computation )隶属于理论计算机科学( Theoretical Computer Science )和数学( Mathematics )。其中的理论是现代密码协议、计算机设计和许多应用领域的基础。该领域主要关心三个方面的问题: 采用什么计算模型(即形式语言、自动机) 解决哪些是能计算的、哪些是不能计算的(即可计算性理论)
要用多少时间、要用多少存储(即计算复杂性理论)
参考链接
微信扫码咨询专知VIP会员