L'égalité de deux DFA est-elle un problème décidable?

Donc, étant donné deux DFA, le problème de trouver s'ils génèrent la même langue est-il un problème décidable?

Je sais déjà que l'égalité de deux LFC n'est pas décidable

mais qu'en est-il de l'égalité de deux DFA? étant donné que la plupart des problèmes avec les DFA sont décidables, est-ce également décidable?

$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$