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

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

© Copyright by กรุง สินอภิรมย์สราญ