ทฤษฎีการคำนวณ : Theory of Computation (PDF)

    ให้เนื้อหาที่สำคัญเกี่ยวกับ "ทฤษฎีการคำนวณ : Theory of Computation" เริ่มตั้งแต่ทำความรู้จักกับความรู้พื้นฐานทางคณิตศาสตร์ ไฟไนต์ออโตมาตา นิพจน์เรกูลาร์ ความสัมพันธ์ระหว่างภาษาเรกูลาร์และไวยากรณ์เรกูลาร์ ไวยากรณ์คอนเท็กซ์ฟรี ภาษาคอนเท็กซ์ฟรี การพิสูจน์ความไม่เป็นคอยเท็กซ์ฟรีของภาษา คุณสมบัติของภาษาคอนเท็กซ์ฟรี ทัวริงแมซีน รวมถึงเนื้อหาขั้นสูงของทฤษฎีการคำนวณ ถ่ายทอดเนื้อหาโดยละเอียด เป็นลำดับขั้นตอน พร้อมตัวอย่างหลากหลาย และยังมีแบบฝึกหัดท้ายบท สำหรับทบทวนความรู้ความเข้าใจอีกด้วย

บทที่ 1 ความรู้พื้นฐานทางคณิตศาสตร์
บทที่ 2 ไฟไนต์ออโตมาตา
บทที่ 3 นิพจน์เรกูลาร์เเละไวยากรณ์เรกูลาร์
บทที่ 4 คุณสมบัติของภาษาเรกูลาร์
บทที่ 5 ไวยากรณ์คอนเท็กซ์ฟรีเเละภาษาคอนเท็กซ์ฟรี
บทที่ 6 พุชดาวน์ออโตมาตา
บทที่ 7 การพิสูจน์ความม่เป็นคอนเท็กซ์ฟรีของภาษา เเละคุณสมบัติของภาษาคอนเท็กซ์ฟรี
บทที่ 8 ทัวริงเเมชีน
บทที่ 9 เนื้อหาขั้นสูงของทฤษฎีการคำนวณ