\begin{frame}
  \frametitle{Pattern}

  Pattern of a redex or rewrite rule:
  \begin{center}
  \includegraphics[height=.5\textheight]{../graphics/pattern}
  \end{center}
  \begin{align*}
    F(G(x,S(0)),y,H(z)) \to G(x,z)
  \end{align*}
\end{frame}