睇下下面嘅段落,然後用段落嘅語言回答問題:  Peter Denning話 計算機科學嘅基本問題係 "有咩嘢可以 (高效率地) 自動化?" 計算理論嘅重點係解答關於乜嘢可以被計算以及計算需要幾多資源嘅基本問題 試圖解答第一個問題,可計算性理論檢查哪些計算問題可以用各種理論計算模型來解決. 第二個問題係由計算複雜性理論解答 計算複雜性理論係研究各種方法解決一系列計算問題時嘅時間同空間成本  問: Peter Dennings 對於電腦科學有咩睇法?
究竟係咩嘢可以自動化呢?