เนื้อหาเกี่ยวกับทฤษฎีการคำนวณ (Theory of Computation) ซึ่งเป็นพื้นฐานสำคัญในการเรียนรู้วิธีการสร้างตัวแปลภาษา (Compiler) การทำความเข้าใจลำดับชั้นต่าง ๆ ของภาษาคอมพิวเตอร์และกระบวนการคำนวณทางคอมพิวเตอร์ เพื่อนำไปสู่การสร้างระบบคอมพิวเตอร์ที่มีความซับซ้อน