b'\n_START_ARTICLE_\nTeorya ng komputasyon\n_START_PARAGRAPH_\nSa teoretikal na agham pangkompyuter, ang Teoriya 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: teoriya ng automata, teoriya ng komputabilidad at teoriya ng komputasyonal na kompleksidad.'