Theory of computation

ToC is divided into 3 major branches:

1. Automata Theory and Formal Languages https://en.wikipedia.org/wiki/Automata_theory https://en.wikipedia.org/wiki/Formal_language

2. Computability Theory (Recursion theory) https://en.wikipedia.org/wiki/Computability_Theory

3. Complexity Theory (Computational complexity theory) https://en.wikipedia.org/wiki/Computational_complexity_theory