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