\begin{frame} \begin{block}{} \begin{center}{\Large Examples of Term Rewriting Systems}\end{center} \end{block} \end{frame}