Automata13

รหัสวิชา 418333 ภาษารูปนัยและทฤษฎีออโตมาตา ( Formal Language and Automata Theory)

เอกสารประกอบการสอน ดาวน์โหลดได้ที่ http://chulee.wikispaces.com/Aumata12 - นิสิตเขียนเมทธอดในการตรวจสอบไม่ชัดเจน น่าจะมีการแยกเป็นเมทธอดในการตรวจสอบ - การตรวจสอบ reserve word ควรเขียนเป็น loop มากกว่าตรวจเป็นคำ ๆ ||  || การบ้าน (เขียนด้วยมือเท่านั้น) การบ้านใช้ตำราของ Peter Linz 14 Use of equivalence defined in Example 1.4 to partition the set {2, 4, 5, 6, 9, 23, 24, 25, 31,37} into equivalence class 22. Draw a picture of the graph with vertices { v1, v2, v3} and edges {(v1,v1), (v1, v2), (v2, v3), (v2, v1), (v3, v1)), Emuerate all cycles with base v1 31. show that (3)^(1/2) is irrational || 19 มิ.ย. 56 || =แนวคิดของการพัฒนาโปรแกรม MouseCat=
 * วิชาพื้นฐาน **
 * 418231 โครงสร้างข้อมูล (Data Structures)
 * 417271 คณิตศาสตร์เต็มหน่วยเบื้องต้น (Introductory Discrete Mathematics)
 * หมู่ ** 200 ** วัน เวลา และสถานที่สอน ** พุธและศุกร์ 13.00-14.30 น. SMC 114
 * หมู่ ** 1 ** วัน เวลา และสถานที่สอน ** พุธและศุกร์ 14.30-16.00 น. SMC 126
 * วันที่ || รายละเอียดกิจกรรม || หมายเหตุ ||
 * 12/06/2013 || อธิบายรายละเอียดโครงการ โจทย์ โครงานดาวน์โหลดได้ที่ maxlearn || นิสิตที่ไม่มี code ของ editor ที่พัฒนามาจากวิชา 01418215 ควรเริ่มพัฒนาระบบงาน ||
 * 12/6/2013 || ประกาศชดเชย automata วันที่ 30 มิ.ย. ช่วงเช้า ภาคปกิต ช่วงบ่ายภาคพิเศษ ||  ||
 * 1/9/2013 || ผลการตรวจโครงการ
 * วันที่สั่งงาน || การบ้าน || กำหนดวันส่ง/วิธีการส่งงาน ||
 * 13/6/2013 || ข้อ 14/22/31

Part II
อัลกอริทึม ที่ต้องพัฒนา
 * Input ที่เข้ามาในส่วนที่ 2 (แม้ว่า ในโครงงานบอกว่าเหมือน Part I) เมื่อผ่านการตรวจสอบ Tokenization คือ ควรเก็บเป็น statement ตามประเภทของประโยคคำสั่ง MouseCat ที่กำหนดไว้ 7 ประเภท และแปลงเป็นสายอักขระ เพื่อใช้อัลกอริทึม ตามที่กำหนด
 * AlgoI : อัลกอริมในการตรวจสอบไวยากรณ์ (ใช้ LR พร้อมตารางการตรวจสอบ) เมื่อจบงานส่วนนี้ ควรได้กฎต่างๆ (เมื่อประมวลผลพบคำสั่ง Reduce ในตาราง Parser)
 * สิ่งที่ต้องออกแบบคือ การเก็บกฎ Record ควรเป็นอย่างไร และ Record type มีกี่ประเภท
 * ออกแบบ Record ของการเก็บ Ouput เพื่อนำไปใช้ในอัลกอริทึมต่อไป
 * AlgoII : อัลกอริึมในการ แสดง Derivation Rules ใช้ Input จาก ซึ่งเป็น Array ของกฎที่ใช้ และต้องนำมาสร้างผลลัพธ์ดังรูป (ซึ่งจะอ่าน input ย้อนหลังกลับ เพื่อหา Derivation ให้ครบ และพิมพ์ออกแบบย้อนกลับ
 * Rules || Derivation ||
 * P -->size int int begin L halt || size 30 40 begin L halt ||
 * L-- > L S ; || size 30 40 begin L S ; halt ||
 * xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx || xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx ||