But he never actually mentioned what his lecturer was actually teaching. I would say that if you were in a Theory of Computation course then it wouldn't be such a surprise if the teacher doesn't actively do a lot of coding.