Category:Theorems in theory of computation