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

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

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

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

$A_1,A_2$$A_\Delta$$L(A_1) \Delta L(A_2) := (L(A_1) \setminus L(A_2)) \cup (L(A_2) \setminus L(A_1))$$L(A_\Delta) = \emptyset$

$A_\Delta$$(F_1 \times \overline{F_2}) \cup (\overline{F_1} \times F_2)$

$L(A_\Delta)$

$D_1$$D_2$$D_1$$D_2$$D_1$$D_2$

$D_1$$D_2$