คำถามติดแท็ก regular-expressions

คำถามเกี่ยวกับทฤษฎีนิพจน์ทั่วไปทั้งในแง่ของนิยามดั้งเดิมของคลีนและนิพจน์ทั่วไปของ POSIX

1
มีอัลกอริธึมอะไรบ้างในการสร้าง DFA ที่จดจำภาษาที่อธิบายโดย regex ที่ให้มา
หนังสือเรียนทั้งหมดของฉันใช้อัลกอริทึมเดียวกันในการสร้าง DFA ที่ได้รับ regex: อันดับแรกสร้าง NFA ที่รับรู้ภาษาของ regex จากนั้นใช้การสร้างชุดย่อย (aka "powerset") เปลี่ยน NFA ให้เป็น DFA ที่เทียบเท่า ( เลือกลด DFA) ฉันยังเคยได้ยินศาสตราจารย์กล่าวถึงการมีอัลกอริทึมอื่น ๆ มีใครรู้บ้างไหม? อาจเป็นหนึ่งที่ไปจาก regex โดยตรงกับ DFA โดยไม่ต้อง NFA กลาง?

2
อนุกรมวิธานของออโตมาแสดงออกปกติ
ฉันกำลังพยายามจัดทำอนุกรมวิธานของอัลกอริทึมสำหรับการแปลงนิพจน์ทั่วไปเป็นออโตมาตะเพื่อทำการทดสอบเชิงประจักษ์ของคุณสมบัติความซับซ้อนของพวกมันในโดเมนเฉพาะ ฉันรู้ชื่อที่ใหญ่กว่าหลายรายการเช่น ธ อมป์สัน "อัลกอริธึมการค้นหานิพจน์ทั่วไป", ธ อมป์สัน, 2511 Glushkov "อัลกอริทึมกำลังสองใหม่เพื่อแปลงนิพจน์ปกติให้เป็น Automaton", Ponty และอื่น ๆ อัล 1996 antimirov "อนุพันธ์บางส่วนของนิพจน์ทั่วไปและโครงสร้างออโตมาต้า จำกัด ", Antimirov, 1996 ติดตาม "ติดตาม Automata", Ilie, et. อัล, 2003; "การคำนวณนิพจน์อัตโนมัติ", Champarnaud, et. อัล 2002 Hromkovic "การแปลนิพจน์ปกติให้เป็น Nondeterministic Finite Automata ขนาดเล็กที่ไม่มี e", Hromkovic, et. อัล 2001 และคุณสมบัติที่แตกต่างของพวกเขา (epsilon-free-ness, ดิจิตัล, ขนาด, การย่อขนาดเป็นต้น) …

1
นิพจน์ปกติที่ไม่มีการสลับ
ฉันสงสัยว่าชุดภาษาใดบ้างที่ถูกสร้างขึ้นโดยข้อ จำกัด ของการแสดงออกปกติ สมมติว่าข้อ จำกัด ทั้งหมดมีสัญลักษณ์คงที่สำหรับแต่ละองค์ประกอบของΣΣ\Sigmaและเรียงต่อกัน จากนั้นแปดชั้นสามารถเกิดขึ้นได้จากการมีหรือไม่มีส่วนประกอบ / ปฏิเสธความเปลี่ยนแปลง / รวมและดาว Kleene (ใช่นิพจน์ปกติ 'ปกติ' ไม่มีCC^C แต่สะดวกที่นี่) การแสดงออกที่อนุญาตให้มีการสับเปลี่ยนและดาว Kleene โดยมีหรือไม่มีส่วนเติมเต็ม (การระเบิดสองครั้งแทนเลขชี้กำลังในหมู่เพื่อนคืออะไร) สร้างภาษาปกติขึ้นมา การแสดงออกที่ช่วยให้การสลับและเติมเต็ม แต่ไม่ใช่ดาว Kleene สร้างภาษาที่ปราศจากดาว การแสดงออกที่ช่วยให้การสลับ แต่ไม่เสริมหรือ Kleene Star สร้างภาษาที่แน่นอน แต่คลาสภาษาที่น่าสนใจใด ๆ สามารถสร้างขึ้นได้โดยไม่มีการสลับสับเปลี่ยน? หากไม่มีตัวดำเนินการสามตัวทั้งหมดที่สามารถสร้างได้คือคำเดียว ผู้ประกอบการเสริมไม่ได้ช่วยอะไรมากที่นี่ ด้วยดาว Kleene เพียงชั้นค่อนข้างน่าสนใจ ... มันไม่ชัดเจนว่าพวกเขาสามารถรับรู้ได้เร็วกว่าภาษาปกติ (มีสิ่งใดที่ไม่เป็นที่รู้จักเกี่ยวกับสิ่งเหล่านี้หรือไม่) ด้วยทั้งดาว Kleene และส่วนประกอบ ... คุณได้อะไรที่น่าสนใจบ้างไหม? ชั้นนี้มีชื่อหรือไม่? คำถามนี้ได้รับแรงบันดาลใจจากคำถาม Expression ปกติใน …
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.