\begin{frame}{Example}
  \begin{exampleblock}{}
    Consider the TM $M$ with $\Sigma=\{a,b\}$, $\Gamma=\Sigma\cup\{\Box\}$, $F=\{q_1\}$ and
    \begin{talign}
      \delta(q_0,a) = \{(q_0,b,R)\} &&
      \delta(q_0,b) = \{(q_1,b,L)\}
    \end{talign}
    Note that $L(M) = L(a^*b(a+b)^*)$ \textcolor{gray}{$= L((a+b)^*b(a+b)^*)$}
    \pause\medskip
    
    For input $x$, $M$ takes at most $|x|$ steps. So we take \alert{$p(k)=k$}.
    \pause\bigskip
    
    The \emph{tile types} are:
    \begin{center}
      \input{tikz/tiles_example.tex}
    \end{center}
    for every $c\in\Gamma$.
    \pause\medskip

    \hfill\textcolor{gray}{continued on the next slide\ldots}
  \end{exampleblock} 
\end{frame}