228/365
\begin{frame}
\frametitle{Dependency Pairs, Examples}

\begin{example}
\vspace{-1em}
\begin{align*}
R = \{ \; {\rm A}(x,{\rm s}(y)) &\to {\rm s}({\rm A}(x,y)),\\
          {\rm A}(x,{\rm 0}) &\to x \;\}
\end{align*}
\vspace{-3.5em}

\pause
\begin{align*}
\DP(R) = \{\;
  {\rm A}_\#(x,{\rm s}(y)) &\to {\rm s}_\#({\rm A}(x,y)),\\
  {\rm A}_\#(x,{\rm s}(y)) &\to {\rm A}_\#(x,y)
\;\}
\end{align*}
\vspace{-1.5em}
\end{example}

\end{frame}