The theory of computation deals with questions such as what problems can
be solved by algorithms, how efficiently they can be solved, and which
limitations exist in the computational process. The topics include formal
languages, automata theory and computability. The theory of computation
has important applications in the design of algorithms, programming
languages, artificial intelligence, and computer security.