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