32 \makeatother

    32 \makeatother

    33 

    33 

    34 \lstset{morekeywords={def,if,then,else,write,read},keywordstyle=\color{codepurple}\bfseries}

    34 \lstset{morekeywords={def,if,then,else,write,read},keywordstyle=\color{codepurple}\bfseries}

    35 

    35 

    36 % beamer stuff

    36 % beamer stuff

    38 \newcommand{\bl}[1]{\textcolor{blue}{#1}}       

    38 \newcommand{\bl}[1]{\textcolor{blue}{#1}}       

    39 

    39 

    40 

    40 

    41 \begin{document}

    41 \begin{document}

    42 

    42 

    43 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

    43 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

    44 \begin{frame}[t]

    44 \begin{frame}[t]

    45 \frametitle{%

    45 \frametitle{%

    46   \begin{tabular}{@ {}c@ {}}

    46   \begin{tabular}{@ {}c@ {}}

    47   \\[-3mm]

    47   \\[-3mm]

    49   \LARGE Formal Languages (9)\\[3mm] 

    49   \LARGE Formal Languages (9)\\[3mm] 

    50   \end{tabular}}

    50   \end{tabular}}

    51 

    51 

    52   \normalsize

    52   \normalsize

    53   \begin{center}

    53   \begin{center}