Teorya ng komputasyon

Sa teoretikal na agham pangkompyuter, ang teorya ng komputasyon ang sangay na umuukol sa kung at gaano kaiging ang mga problem ay malulutas ng modelo ng komputasyon gamit ang isang algoritmo. Ang larangang ito ay nahahati sa tatlong pangunahing mga sangay: teorya ng automata, teorya ng komputabilidad at teoriya ng komputasyonal na kompleksidad.

Teoretikal na agham pangkompyuter