Nalezení reduktu deterministického konečného automatu \item Ze vstupního DFA $A$ eliminujeme stavy nedosažitelné z počátečního stavu. |
Podmnožinová konstrukce (FA z NFA)\pojem{Podmnožinová konstrukce} začíná s NFA $N=(Q_N,\Sigma,\delta_N,q_0,F_N)$. Cílem je popis deterministického DFA $D=(Q_D,\Sigma,\delta_D,\{q_0\},F_D)$, pro který $L(N)=L(D)$. |