Given two deterministic finite automata A and B, it is decidable whether they accept the same language.
Δοθέντων δύο ντετερμινιστικών πεπερασμένων αυτομάτων Α και Β, μπορεί να αποφασιστεί εάν αποδέχονται την ίδια γλώσσα.