03 Minimální DKA
$$
\require{mathtools}
\DeclarePairedDelimiter\ceil{\lceil}{\rceil}
\DeclarePairedDelimiter\floor{\lfloor}{\rfloor}
\newcommand{\dv}[1]{\frac{\mathrm{d}}{\mathrm{d} #1}}
\newcommand{\dvv}[2]{\frac{\mathrm{d} #1}{\mathrm{d} #2}}
$$
Minimální DKA
Automat nazvu minimální, v případě že neexistuje žádný jiný automat přijímající stejný jazyk, který by měl méně stavů
Nazýváme také “stavově minimální”
Pokud chceme porovnat, že jsou 2 DKA ekvivalentní, je potřeba je nejdříve zminimalizovat a poté porovnat
Postup viz video Elišky Šestákové: YouTube - Hledání ekvivalentních stavů deterministického konečného automatu
