วันอังคารที่ 4 พฤศจิกายน พ.ศ. 2557

Theory of Computation


อยากบอกรักเป็นภาษารูปนัย
หวังว่าเธอคงเข้าใจภาษานั้น
จะ Accept หรือ Reject ไม่ว่ากัน
Automata ของฉัน จะตรวจเอง

String หวานหวาน ที่ส่งไปให้
เธอได้รับ บ้างไหม ช่วงแถลง
Alphabet แต่ละตัว ที่แสดง
Transducer ช่วยจำแลง ลองแปลงดู

ถ้าเธอคิด ว่ามันยาก ลำบากนัก
Non-deterministic เห็นประจักษ์ แน่ชัดอยู่
Null ทั้งหลาย กำจัดได้ เพียงเธอรู้
ไม่ได้ขู่ Kleene ช่วยได้ ดูง่ายลง

Context Free ที่ฉัน นั้นมีให้
หากเธอใช้ รับรอง สมประสงค์
Ambiguous ที่มาทำ ให้มึนงง
คงหมดลง เพราะแพ้ทาง ข้อความรักเธอ...


ไม่มีความคิดเห็น: