你没有明白他的意思，太令人遗憾。可计算理论是计算机科学的基础