ความเท่าเทียมกันของสอง DFAs เป็นปัญหาที่ตัดสินใจได้หรือไม่?


11

หากกำหนด DFA สองตัวปัญหาในการค้นหาว่าพวกเขาสร้างภาษาเดียวกันเป็นปัญหาที่ตัดสินใจได้หรือไม่

ฉันรู้แล้วว่าความเท่าเทียมกันของสอง CFL นั้นไม่สามารถตัดสินใจได้

แต่สิ่งที่เกี่ยวกับความเท่าเทียมกันของสอง DFAs? การพิจารณาปัญหาส่วนใหญ่ของ DFA นั้นสามารถตัดสินใจได้ซึ่งเป็นการตัดสินใจเช่นนี้หรือไม่


1
ใช่มันสามารถเปลี่ยนได้ในเวลาเชิงเส้น drona.csa.iisc.ernet.in/~deepakd/atc-common/…
abc

1
ยินดีต้อนรับสู่วิทยาการคอมพิวเตอร์! คุณลองทำอะไร คุณติดอยู่ที่ไหน เราไม่ต้องการเพียงแค่ให้คุณแก้ปัญหา เราต้องการให้คุณเข้าใจ อย่างไรก็ตามเนื่องจากเราไม่รู้ว่าปัญหาพื้นฐานของคุณคืออะไรดังนั้นเราจึงไม่สามารถช่วยได้ ดูที่นี่สำหรับเคล็ดลับในการถามคำถามเกี่ยวกับปัญหาการออกกำลังกาย หากคุณไม่แน่ใจวิธีการปรับปรุงคำถามของคุณทำไมไม่ถามไปรอบ ๆ ในวิทยาการคอมพิวเตอร์พูดคุย ?
Raphael

คำตอบ:


22

A1,A2AΔL(A1)ΔL(A2):=(L(A1)L(A2))(L(A2)L(A1))L(AΔ)=

AΔ(F1×F2¯)(F1¯×F2)

L(AΔ)


3

D1D2D1D2D1D2

D1D2


1
ฉันเชื่อว่าคุณกำลังสับสน "ความเท่าเทียม" ของ DFA และความเท่าเทียมกัน
einpoklum

@ einpoklum ใช่ฉันใช้คำว่า "ความเท่าเทียม" เป็นคำพ้องความหมายของ "ความเท่าเทียม" เพราะ OP ใช้คำว่า "ความเท่าเทียมกัน"
fade2black

2
ทั้งสองนั้นไม่เหมือนกัน แม้หลังจากการลด, ออโตจะไม่เท่ากัน เรารู้ว่าพวกมันเป็นไอโซมอร์ฟิคซึ่งแน่นอนว่าสามารถตัดสินใจได้ (ถ้ายากกว่าความเท่าเทียมกัน)
Raphael
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.