\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}