คณิตศาสตร์และสัญลักษณ์ที่เกี่ยวข้อง แนวคิดพื้นฐานของภาษา ไวยากรณ์ ออโตมาตา ไฟไนท์ออโต มาตา ภาษาปกติ ไวยากรณ์ปกติ นิพจน์ปกติ วิธีปั้มปิ้งเลมม่าสำหรับภาษาปกติ ภาษาไม่พึ่งบริบท ไวยากรณ์ไม่พึ่งบริบท วิธีปั้มปิ้งเลมม่าสำหรับภาษาไม่พึ่งบริบท การแปลงไวยากรณ์ ออโตมาตาแบบกด ลง เครื่องทัวริ่ง ข้อจำกัดของการคำนวณแบบขั้นตอนวิธี

Mathematical preliminaries, notation, and basic concepts languages, grammar, automata, finite automata; regular languages, regular grammars, regular expressions, pumping lemma for regular languages, context-free languages, context-free grammar, pumping lemma for context-free languages, transforming grammar, pushdown automata, Turing machine, limits of algorithmic computation.