equal
deleted
inserted
replaced
31 \LARGE Compilers and \\[-1mm] |
31 \LARGE Compilers and \\[-1mm] |
32 \LARGE Formal Languages (1)\\[-3mm] |
32 \LARGE Formal Languages (1)\\[-3mm] |
33 \end{tabular}} |
33 \end{tabular}} |
34 |
34 |
35 \begin{center} |
35 \begin{center} |
36 \includegraphics[scale=0.3]{pics/ante1.jpg}\hspace{5mm} |
36 %\includegraphics[scale=0.3]{pics/ante1.jpg}\hspace{5mm} |
37 \includegraphics[scale=0.31]{pics/ante2.jpg}\\ |
37 %\includegraphics[scale=0.31]{pics/ante2.jpg}\\ |
38 \footnotesize\textcolor{gray}{Antikythera automaton, 100 BC (Archimedes?)} |
38 %\footnotesize\textcolor{gray}{Antikythera automaton, 100 BC (Archimedes?)} |
39 \end{center} |
39 \end{center} |
40 |
40 |
41 \normalsize |
41 \normalsize |
42 \begin{center} |
42 \begin{center} |
43 \begin{tabular}{ll} |
43 \begin{tabular}{ll} |
654 \begin{frame}[c] |
654 \begin{frame}[c] |
655 \frametitle{The Meaning of Matching} |
655 \frametitle{The Meaning of Matching} |
656 |
656 |
657 \begin{bubble}[10cm] |
657 \begin{bubble}[10cm] |
658 \large |
658 \large |
659 A regular expression \bl{$r$} matches a string \bl{$s$} |
659 A regular expression \bl{$r$} matches a string~\bl{$s$} |
660 provided |
660 provided |
661 |
661 |
662 \begin{center} |
662 \begin{center} |
663 \bl{$s \in L(r)$}\\ |
663 \bl{$s \in L(r)$}\\ |
664 \end{center} |
664 \end{center} |