equal
deleted
inserted
replaced
513 \item Mark all pairs that accepting and non-accepting states |
513 \item Mark all pairs that accepting and non-accepting states |
514 \item For all unmarked pairs \bl{(q, p)} and all characters \bl{c} tests wether |
514 \item For all unmarked pairs \bl{(q, p)} and all characters \bl{c} tests wether |
515 \begin{center} |
515 \begin{center} |
516 \bl{($\delta$(q,c), $\delta$(p,c))} |
516 \bl{($\delta$(q,c), $\delta$(p,c))} |
517 \end{center} |
517 \end{center} |
518 are marked. If yes, then also mark bl{(q, p)} |
518 are marked. If yes, then also mark \bl{(q, p)} |
519 \item Repeat last step until no chance. |
519 \item Repeat last step until no chance. |
520 \item All unmarked pairs can be merged. |
520 \item All unmarked pairs can be merged. |
521 \end{enumerate} |
521 \end{enumerate} |
522 |
522 |
523 \end{frame}} |
523 \end{frame}} |