10/15
\begin{frame}{Automata are Ubiquitous}
  \begin{center}
    \begin{tikzpicture}[default,circ/.style={circle,fill=white,draw=cred,line width=1mm,minimum size=4.5mm},box/.style={black,rectangle,fill=orange!20,rounded corners=2mm,inner sep=1mm,align=left}]
      \amorse
      
      \draw \mypath{};
      \mypathnode{0}{Theory of computation};
      \mypathnode{1}{Pattern matching};
      \mypathnode{2}{Parsing};
      \mypathnode{3}{Hardware design};
      \mypathnode{4}{Software modelling};
      \mypathnode{5}{Compiler construction};
      \mypathnode{6}{Formal verification};
      \mypathnode{7}{Number theory};
      
      
%       \node [box] at (\anglestart+0*\anglestep:\angledistance) {\emph{Pattern matching}}; %\\ /[A-Z]\textbackslash w+/};
%       \node [box] at (\anglestart+1*\anglestep:\angledistance) {\emph{Parsing}};
%       \node [box] at (\anglestart+2*\anglestep:\angledistance) {\emph{Hardware design}};
%       \node [box] at (\anglestart+3*\anglestep:\angledistance) {\emph{Software modelling}};
%       \node [box] at (\anglestart+4*\anglestep:\angledistance) {\emph{Compiler construction}};
%       \node [box] at (\anglestart+5*\anglestep:\angledistance) {\emph{Formal verification}};
    \end{tikzpicture}
  \end{center}

  \note{
    Automata theory is the study of abstract machines, called automata.
    Automata are studied in computer science and mathematics.
    \bigskip
    
    In computer science, automata are ubiquitous.
    They indispensable for text processing.
    Think of pattern matching using regular expressions.
    Think of pushdown automata and context-free languages 
    which are crucial for parsing structured data such as XML and computer programs.
  }
\end{frame}