25 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
25 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
26 \begin{frame}[t] |
26 \begin{frame}[t] |
27 \frametitle{% |
27 \frametitle{% |
28 \begin{tabular}{@ {}c@ {}} |
28 \begin{tabular}{@ {}c@ {}} |
29 \\[-3mm] |
29 \\[-3mm] |
30 \LARGE Compilers and \\[-2mm] |
30 \LARGE Compilers and \\[-1mm] |
31 \LARGE Formal Languages\\[3mm] |
31 \LARGE Formal Languages\\[-5mm] |
32 \end{tabular}} |
32 \end{tabular}} |
33 |
33 |
34 \normalsize |
34 \normalsize |
35 \begin{center} |
35 \begin{center} |
36 \begin{tabular}{ll} |
36 \begin{tabular}{ll} |
37 Email: & christian.urban at kcl.ac.uk\\ |
37 Email: & christian.urban at kcl.ac.uk\\ |
38 %Office Hours: & Thursdays 12 -- 14\\ |
38 Office Hour: & Fridays 11 -- 12\\ |
39 %Location: & N7.07 (North Wing, Bush House)\\ |
39 Location: & N7.07 (North Wing, Bush House)\\ |
40 Slides \& Progs: & KEATS (also homework is there)\\ |
40 Slides \& Progs: & KEATS\\ |
|
41 Pollev: & \texttt{\alert{https://pollev.com/cfltutoratki576}}\\ |
41 \end{tabular} |
42 \end{tabular} |
42 \end{center} |
43 \end{center} |
43 |
44 |
44 \begin{center} |
45 \begin{center} |
45 \begin{tikzpicture} |
46 \begin{tikzpicture} |
46 \node[drop shadow,fill=white,inner sep=0pt] |
47 \node[drop shadow,fill=white,inner sep=0pt] |
47 {\footnotesize\rowcolors{1}{capri!10}{white} |
48 {\footnotesize\rowcolors{1}{capri!10}{white} |
1703 But requires that the automaton is \alert{completed}! |
1704 But requires that the automaton is \alert{completed}! |
1704 |
1705 |
1705 \end{frame} |
1706 \end{frame} |
1706 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1707 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1707 |
1708 |
|
1709 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
1710 { |
|
1711 \setbeamercolor{background canvas}{bg=cream} |
|
1712 \begin{frame}[c] |
|
1713 |
|
1714 \begin{center} |
|
1715 \begin{tikzpicture}[scale=1.5,>=stealth',very thick, |
|
1716 every state/.style={minimum size=0pt, |
|
1717 draw=blue!50,very thick,fill=blue!20}] |
|
1718 \node[state,initial] (q0) at (0,2) {$q_0$}; |
|
1719 \node[state,accepting] (q1) at (2,2) {$q_1$}; |
|
1720 \node[state] (q2) at (0,0) {$q_2$}; |
|
1721 \node[state] (q3) at (2,0) {$q_3$}; |
|
1722 |
|
1723 \path[->] (q0) edge[bend left] node[above] {\alert{$a$}} (q1) |
|
1724 (q1) edge[bend left] node[above] {\alert{$a$}} (q0) |
|
1725 (q2) edge[bend left] node[above] {\alert{$a$}} (q3) |
|
1726 (q3) edge[bend left] node[above] {\alert{$a$}} (q2) |
|
1727 (q0) edge[bend left] node[right] {\alert{$b$}} (q2) |
|
1728 (q2) edge[bend left] node[left] {\alert{$b$}} (q0) |
|
1729 (q1) edge[bend left] node[right] {\alert{$b$}} (q3) |
|
1730 (q3) edge[bend left] node[left] {\alert{$b$}} (q1); |
|
1731 \end{tikzpicture} |
|
1732 \end{center} |
|
1733 |
|
1734 \hfill{}Which language? |
|
1735 |
|
1736 \end{frame} |
|
1737 } |
|
1738 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
|
1739 |
|
1740 |
1708 |
1741 |
1709 \begin{frame}<1-15>[c] |
1742 \begin{frame}<1-15>[c] |
1710 |
1743 |
1711 \end{frame} |
1744 \end{frame} |
1712 |
1745 |