Definice:
Nechť
M
je
DSKA
. Potom,
M
je
minimální
KA
, pokud
M
obsahuje pouze
rozlišitelné stavy
.
Tvrzení:
Pro každý DSKA
M
,
existuje
ekvivalentní minimální KA
M
m
.
Minim
ální
KA
Důkaz:
Použij následující algoritmus.
38
/44