Aumata12

รหัสวิชา 418333 ภาษารูปนัยและทฤษฎีออโตมาตา ( Formal Language and Automata Theory)
แหล่ง code ที่นำมาทำโครงงาน 08/06/55 || บทนำทฤษฎีการคำนวณ ||   || 15/06/55 || นิยามของออโตมาจำกัด การออกแบบออโตมาตาจำกัด ||  || ไวยากรณ์ปกติ ||   || คุณสมบัติของภาษาปกติและการพิสูจน์ ||  || Context-Free Grammars ||  || Brute-Force Parsing ||  || ||   || Non Contex-Free Languages ||   || ||  || ||   || (ปกติจะสอนไม่ทัน) ||   || Halting Problem (ปกติจะสอนไม่ทัน แต่จะสรุปคำศัทพ์ที่สำคัญ) ||  || โจทย์เพิ่มเติม 1. กำหนดไวยากรณ์ต่อไปนี้ 1. E à E + T, 2. E à T, 3. T à T * F, 4. T à F, 5. F à (E), 6. F à id จงแสดงการตรวจสอบ **id + id * id ถูกต้องตามหลักไวยากรณ์หรือไม่ โดยวิธีการ CYK และ Earley Parser (ก่อนทำพิจารณาก่อนว่าสามารถ parser ได้หรือไม่) **
 * วิชาพื้นฐาน**
 * 418231 โครงสร้างข้อมูล (Data Structures)
 * 417271 คณิตศาสตร์เต็มหน่วยเบื้องต้น (Introductory Discrete Mathematics)
 * หมู่** 200 **วัน เวลา และสถานที่สอน**พุธและศุกร์ 12.30-14.00 น. SMC 114
 * หมู่** 1 **วัน เวลา และสถานที่สอน**พุธและศุกร์ 14.00-15.30 น. SMC 126
 * ผู้สอน / คณะผู้สอน** รศ.ดร. ชุลีรัตน์ จรัสกุลชัย
 *  @http://www.xvlnw.com/knowledge-readknowledge-id160.html  **
 * **สัปดาห์ที่** ||  **วัน เดือน ปี**  ||  **เนื้อหา**  ||  **กิจกรรมการเรียนการสอน**  ||
 * 1 ||  06/06/55
 * 2 ||  13/06/55
 * 3 ||  20/06/55   22/06/55  || ตัวดำเนินการปกติ วิธีลดจำนวนสถานะของออโตมาตาจำกัด ||   ||
 * 4 ||  27/06/55   29/06/55  || [[file:NondeterministcFinite Automata.pdf|ออโตมาตาแบบไม่แน่นอน]] ||   ||
 * 5 ||  07/07/55   09/07/55  || [[file:Regular Expressions (thai).pdf|Regular Expressions นิยามนิพจน์ปกติ ความสมมูลระหว่างออโตมาตาจำกัดและนิพจน์ปกติ]] ||   ||
 * 6 ||  14/07/55   16/07/55  || [[file:Regular Grammars (thai).pdf|Regular Grammars]]
 * 7 ||  21/07/55   23/07/55  || Properties Regular Languages
 * 8 ||   || (การสอบกลางภาค) || (สอบข้อเขียน) ||
 * 9 ||  11/08/55   18/08/55  || [[file:sutee-lectures/Context-Free Grammars (thai).pdf|ไวยากรณ์ไม่อิงบริบท]]
 * 10 ||  20/08/55   25/08/55  || ความกำกวมของไวยากรณ์ รูปแบบไวยากรณ์ของชอมสกี้
 * 11 ||  27/08/55  || ออโตมาตาแบบพูซดาวน์
 * 12 ||  01/09/55   03/09/55  || คุณสมบัติของภาษาไม่อิงบริบท
 * 13 ||  08/09/55   10/09/55  || [[file:sutee-lectures/Turing Machines (thai).pdf|เครื่องจักรทัวริ่ง]]
 * 14 ||  15/09/53  || เครื่องจักรทัวริ่งรูปแบบต่างๆ
 * 15 ||  17/09/55   22/09/55  || ปัญหาที่ตัดสินใจได้
 * 16 ||  24/09/55  || ปัญหาการหยุดและวิธีการพิสูจน์
 * 17 ||   || (การสอบปลายภาค) || (สอบข้อเขียน) ||
 *  2. กำหนดสายอักขระ bbbb ใช้ไวยากรณ์ในเอกสาร slides เรื่อง Earley Parser แสดงการ Parser **
 *  ขอเขียนด้วยมือค่ะ ส่งที่ max@learn เท่านั้น หมดเวลาตามเวลาเรียน **