[Avtomatk]

And where is Category Theory and Lambda Calculus?

[bsdpufferfish]

lambda calculus is one way to describe computable functions. this course chose to focus on Turing machines.

category theory is historically not important to theory of computation, and it has questionable use if you aren't familiar with abstract algebra