equal
deleted
inserted
replaced
579 |
579 |
580 \end{frame} |
580 \end{frame} |
581 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
581 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
582 |
582 |
583 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
583 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
584 \mode<presentation>{ |
584 \begin{frame}[t] |
585 \begin{frame}[t] |
585 \frametitle{Compiling Whiles} |
586 \frametitle{\begin{tabular}{c}Compiling Whiles\end{tabular}} |
|
587 |
586 |
588 {\Large\bl{$\text{while}\;b\;\text{do}\;cs$}}\bigskip\bigskip |
587 {\Large\bl{$\text{while}\;b\;\text{do}\;cs$}}\bigskip\bigskip |
589 |
588 |
590 \onslide<2->{Case }\only<2>{{\bf True}:}\only<3>{{\bf False}:} |
589 \onslide<2->{Case }\only<2>{{\bf True}:}\only<3>{{\bf False}:} |
591 |
590 |
613 \draw (A2) edge [skip loop] (A3); |
612 \draw (A2) edge [skip loop] (A3); |
614 \draw (A3) edge [->, red, line width=1mm] (A4);} |
613 \draw (A3) edge [->, red, line width=1mm] (A4);} |
615 \end{tikzpicture} |
614 \end{tikzpicture} |
616 \end{center} |
615 \end{center} |
617 |
616 |
618 |
617 \end{frame} |
619 \end{frame}} |
618 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
620 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
619 |
621 |
620 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
622 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
621 \begin{frame}[t] |
623 \mode<presentation>{ |
622 \frametitle{Compiling Whiles} |
624 \begin{frame}[t] |
|
625 \frametitle{\begin{tabular}{c}Compiling Whiles\end{tabular}} |
|
626 |
623 |
627 {\Large\bl{while $b$ do $cs$}} |
624 {\Large\bl{while $b$ do $cs$}} |
628 |
625 |
629 \begin{center} |
626 \begin{center} |
630 \bl{\begin{tabular}{lcl} |
627 \bl{\begin{tabular}{lcl} |
638 \multicolumn{3}{l}{$\quad\phantom{(}@\; \text{goto}\;l_{wbegin}$}\\ |
635 \multicolumn{3}{l}{$\quad\phantom{(}@\; \text{goto}\;l_{wbegin}$}\\ |
639 \multicolumn{3}{l}{$\quad\phantom{(}@\;l_{wend}:, E')$}\\ |
636 \multicolumn{3}{l}{$\quad\phantom{(}@\;l_{wend}:, E')$}\\ |
640 \end{tabular}} |
637 \end{tabular}} |
641 \end{center} |
638 \end{center} |
642 |
639 |
643 \end{frame}} |
640 \end{frame} |
644 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
641 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
645 |
642 |
646 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
643 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
647 \mode<presentation>{ |
644 \mode<presentation>{ |
648 \begin{frame}[t] |
645 \begin{frame}[t] |