Theory of computation

The theory of computation is a branch of theoretical computer science that essentially focuses on what can be computed (with approximate versus precise solutions) and how efficiently problems can be solved.

This makes me wonder why I didn’t apply to any CS programs.

Sub-fields

• Automata theory
  • Formal language
• Computability theory
• Computational complexity theory
  • NP-completeness

Resources

• Introduction to the Theory of Computation, by Michael Sipser