ทฤษฎีการคำนวณ รูปแบบการคำนวณและทฤษฎีที่เกี่ยวข้อง

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