Peter Denning ütleb, et arvutiteaduse aluseks olev fundamentaalne küsimus on: "Mida saab (tõhusalt) automatiseerida?" Arvutusteooria keskendub põhiküsimustele, mida saab arvutada ja kui palju ressursse on vaja arvutuste tegemiseks. Esimese küsimuse vastamiseks uurib arvutusteooria, millised arvutuste probleemid on lahendatavad erinevate teoreetiliste arvutuste mudelite abil. Teise küsimuse käsitleb arvutuste keerukuse teooria, mis uurib arvutiprobleemide lahendamiseks erinevate lähenemisviisidega seotud aja- ja ruumikulusid.
"Mida saab (tõhusalt) automatiseerida?"