ところで、最近のコンピュータサイエンス系の学科って
オートマトン論（形式言語理論）、チューリングマシンの
理論などを教えてるんだろうか？

あれ知らないと読んでもチンプンカンプンだろう。
一応、学んでても難しいんだけどｗ。