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}