Chapter 0 introduction to theory of computation
1 like955 views
เอกสารประกอบการบรรยาย วิชา Theory of Computation
Chapter 0 introduction to theory of computation
- 1. ทำความรู้จักกับทฤษฎีการคำนวณ (Theory of Computation) อ.อธิศ ปทุมวรรณ มหาวิทยาลัยนเรศวร
- 2. ทฤษฎีการคำนวณ Discrete Mathematics Compliers Theory of Computation Computer Programming 2 Natural Language Processing Search Engine ทฤษฎีการคำนวณ: ทำความรู้จักกับทฤษฎีการคำนวณ
- 3. การศึกษาทฤษฎีการคำนวณ } การคำนวณทั้งหมดพิจารณาเป็น ปัญหา และ การหาคำตอบของ ปัญหา } ตัวแบบในการแก้ปัญหา เรียกว่า เครื่องจักร (Machine) } สามารถนำเครื่องจักรมาต่อรวมกันเพื่อแก้ปัญหาที่ซับซ้อนมากขึ้น 3 ทฤษฎีการคำนวณ: ทำความรู้จักกับทฤษฎีการคำนวณ
- 4. ปัญหา } เป็นปัญหาตัดสินใจ (Decision Problem) } มีคำตอบเพียงสองแบบคือ “ใช่” หรือ “ไม่ใช่” เลขจำนวนนี้เป็นจำนวนเต็มคู่หรือไม่ เลขจำนวนเต็มบวก 4 ตัวแบบในการแก้ปัญหา ใช่/ไม่ใช่ ทฤษฎีการคำนวณ: ทำความรู้จักกับทฤษฎีการคำนวณ
- 5. ปัญหา และ การแก้ปัญหา ปัญหาตัดสินใจ เลขจำนวนนี้เป็นจำนวนเต็มคู่หรือไม่ ภาษา S = {x | x = 2n, n = 1,2,3,...} ส่วนนำเข้า เลขจำนวนเต็มบวก x=6 5 เครื่องจักร ตรวจสอบ ผลลัพธ์ ! S = {x | x = 2n, n = 1,2,3,...} ตัวแบบในการแก้ปัญหา ทฤษฎีการคำนวณ: ทำความรู้จักกับทฤษฎีการคำนวณ ใช่/ไม่ใช่
- 6. คำถามที่ต้องตอบ } จะนิยามเซ็ต ให้สอดคล้องกับปัญหาได้อย่างไร } จะให้เครื่องจักรหลายเครื่องทำงานพร้อมกันอย่างไร } มีปัญหาอะไรที่เครื่องจักรไม่สามารถตอบปัญหาได้ 6 ทฤษฎีการคำนวณ: ทำความรู้จักกับทฤษฎีการคำนวณ
- 7. เรียนทฤษฎีการคำนวณไปเพื่ออะไร? } การใช้งานคอมพิวเตอร์ ต้องการความเข้าใจในการทำงานและ วิเคราะห์ผลของการทำงานอย่างถ่องแท้ จึงต้องเข้าใจในทฤษฎีการ คำนวณอย่างถ่องแท้ } ความเข้าใจอย่างถ่องแท้ในกระบวนการทำงานของคอมพิวเตอร์จะ ช่วยให้สามารถแก้ปัญหา หรือ สร้างสรรค์งานได้อย่างมี ประสิทธิภาพ } ทฤษฎีการคำนวณเป็นศาสตร์ที่มีความท้าทาย ช่วยให้รู้จักการ วางแผน พิสูจน์ และแก้ปัญหาอย่างเป็นระบบ 7 ทฤษฎีการคำนวณ: ทำความรู้จักกับทฤษฎีการคำนวณ
- 8. ทฤษฎีการคำนวณ ประเด็นที่ต้องศึกษา เครื่องมือและเทคนิคทางคณิตศาสตร์ที่เกี่ยวข้อง ไฟไนต์ออโตมาต้า นิพจน์เรกูลาร์ ไวยากรณ์เรกูลาร์ และ คุณสมบัติของภาษาเรกูลาร์ ไวยากรณ์คอนเท็กซ์ฟรี และ ภาษาคอนเท็กซ์ฟรี พุชดาวน์ออโตมาตา คุณสมบัติความ เป็น/ไม่เป็น คอนเท็กซ์ฟรีของภาษา ทัวริ่งแมชชีน ภาษาลำดับวนซ้ำ และ ปัญหาการตัดสินใจ ฟังก์ชันที่สามารถคำนวณได้ และ ความซับซ้อนของการคำนวณ 8 ทฤษฎีการคำนวณ: ทำความรู้จักกับทฤษฎีการคำนวณ