Algoritmus: Problém ekvivalence
• Vstup: Dva minimální KA, M1a M2
• Výstup: ANO, pokud L(M1) = L(M2)     NE, pokud L(M1) ¹ L(M2)
• Metoda:
• if M1 má stejnou strukturu jako M2 až na
      pojmenování stavů
  then napiš(’ANO’)
  else napiš(’NE’)
Problém ekvivalence je pro KA rozhodnutelný
Celkově:
25/26