1
ค้นหา DFA ที่เล็กที่สุดที่แยกสองคำโดยไม่ใช้การค้นหาแบบ brute force หรือไม่
รับสองสาย x และ y ฉันต้องการสร้าง DFA ขนาดต่ำสุดที่ยอมรับ x และปฏิเสธ y วิธีหนึ่งในการทำเช่นนี้คือการค้นหากำลังดุร้าย คุณระบุ DFA เริ่มด้วยขนาดเล็กที่สุด คุณลองแต่ละ DFA จนกว่าคุณจะพบที่ยอมรับ x และปฏิเสธ y ฉันต้องการทราบว่ามีวิธีอื่นที่รู้จักในการค้นหาหรือสร้าง DFA ขนาดต่ำสุดที่ยอมรับ x และปฏิเสธ y หรือไม่ กล่าวอีกนัยหนึ่งเราสามารถเอาชนะการค้นหากำลังดุร้ายได้หรือไม่? รายละเอียดเพิ่มเติม: (1) ฉันต้องการอัลกอริทึมในการหา DFA ขนาดต่ำสุดไม่ใช่ DFA ขนาดใกล้เคียงที่สุด (2) ฉันไม่เพียง แต่ต้องการทราบว่า DFA ขั้นต่ำเล็กหรือใหญ่เพียงใด (3) ตรงนี้ฉันแค่เน้นไปที่กรณีที่คุณมีสองสาย x และ y แก้ไข : ข้อมูลเพิ่มเติมสำหรับผู้อ่านที่สนใจ: สมมติว่าและy ที่มีสตริงไบนารีของความยาวที่มากที่สุดn …