ทฤษฎีการคำนวณขั้นสูง

ทฤษฎีการคำนวณขั้นสูง


Lecture001.html	ทบทวนความรู้พื้นฐานเบื้องต้น
Lecture002.html	ออโตมาตาจำกัด (Finite automata)
Lecture003.html	นิพจน์ปกติ ภาษาปกติ ทฤษฎีบทตั้งการปั๊มขึ้นมาของสายอักขระของออโตมาตาจำกัด
Lecture004.html	การสมมูลกันของออโตมาตาจำกัด
Lecture005.html	ออโตมาตาแบบกดลง
Lecture006.html	ไวยากรณ์ไม่พึ่งบริบท และภาษาไม่พึ่งบริบท
Lecture007.html	รูปแบบบรรทัดฐานของไวยากรณ์ไม่พึ่งบริบท และการสมมูลกันของออโตมาตากดลงกับไวยากรณ์ไม่พึ่งบริบท
Lecture008.html	เครื่องทัวริงและเครื่องทัวริงครอบจักรวาล
Lecture009.html	ฟังก์ชันรีเคอร์ซีฟปฐมฐาน เซตรีเคอร์ซีฟ และเซตอาร์อี
Lecture010.html	ปัญหาที่ตัดสินได้และปัญหาที่ตัดสินไม่ได้ ทฤษฎีบทของไรซ์และปัญหาคู่กรณีของพีซีพี
Score.html	คะแนนสอบ
Syllabus.html	CSC610 ทฤษฎีการคำนวณขั้นสูง

Home | Next