theory of computation

subfield of computer science