equal
deleted
inserted
replaced
405 \end{center}\pause |
405 \end{center}\pause |
406 |
406 |
407 Whether a string \bl{$s$} is accepted by \bl{$A$}? |
407 Whether a string \bl{$s$} is accepted by \bl{$A$}? |
408 |
408 |
409 \begin{center} |
409 \begin{center} |
410 \hspace{5mm}\bl{$\hat{\delta}(\mbox{Q}_0, s) \in F$} |
410 \hspace{5mm}\bl{$\widehat{\delta}(\mbox{Q}_0, s) \in F$} |
411 \end{center} |
411 \end{center} |
412 \end{frame} |
412 \end{frame} |
413 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
413 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
414 |
414 |
415 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
415 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
706 \end{tikzpicture}} |
706 \end{tikzpicture}} |
707 % |
707 % |
708 |
708 |
709 \small |
709 \small |
710 \mbox{}\\\medskip |
710 \mbox{}\\\medskip |
711 We (1) need to introduce a new starting state and (2) connect it to the original two starting states. |
711 We can just put both automata together. |
712 \end{frame} |
712 \end{frame} |
713 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
713 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
714 |
714 |
715 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
715 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
716 \begin{frame}[c] |
716 \begin{frame}[c] |