\begin{frame}{Example}
  \vspace{-1ex}%
  %   \begin{minipage}{.49\textwidth}
  %     \;\;\input{tm1.pdf_t}
  %   \end{minipage}%
  \begin{minipage}{.49\textwidth}
    \ \\[1ex]\hspace*{-1.5ex}%
    \scalebox{0.9}{
      \begin{tikzpicture}[default,node distance=20mm,->,s/.style={minimum size=6mm,inner sep=0}]
        \node (q0) [state,s] {$q_0$}; \draw ($(q0) + (0mm,8mm)$) -- (q0); 
        \node (q1) [state,s,below of=q0] {$q_1$};
        \node (q2) [state,s,below of=q1] {$q_2$};
        \node (q3) [state,s,below of=q2] {$q_3$};
        \node (q4) [state,s,right of=q0] {$q_4$};
        \node (q5) [fstate,s,right of=q1] {$q_5$};
      
        \mpause[1]{ \draw (q0) to node [label,left,pos=0.5] {$a/0$ $R$} (q1); }

        \mpause{ 
          \draw (q1) to[sloop=180] node [label,below,pos=0.25] {$a/a$ $R$} (q1);
          \draw (q1) to[sloop=0] node [label,below,pos=0.75] {$1/1$ $R$} (q1); 
        }

        \mpause{ \draw (q1) to node [label,left,pos=0.65] {$b/1$ $R$} (q2); }

        \mpause{
          \draw (q2) to[sloop=180] node [label,below,pos=0.25] {$b/b$ $R$} (q2);
          \draw (q2) to[sloop=0] node [label,below,pos=0.75] {$2/2$ $R$} (q2);
        }

        \mpause{ \draw (q2) to node [label,left,pos=0.65] {$c/2$ $L$} (q3); }
        
        \mpause{
          \draw (q3) to[sloop=-130] node [label,below,pos=0.5] {$a/a$ $L$} (q3);
          \draw (q3) to[sloop=-70] node [label,below,pos=0.5,xshift=2mm] {$1/1$ $L$} (q3);
          \draw (q3) to[sloop=-10] node [label,right,pos=0.5] {$b/b$ $L$} (q3);
          \draw (q3) to[sloop=50] node [label,right,pos=0.6] {$2/2$ $L$} (q3);
        }

        \mpause{ \draw (q3) to[out=180,in=180,distance=1.8cm] node [label,left] {$0/0$ $R$} (q0); }

        \mpause{ \draw (q0) to node [label,above] {$1/1$ $R$} (q4); }

        \mpause{ 
          \draw (q4) to[sloop=90] node [label,above,pos=0.5] {$2/2$ $R$} (q4);
          \draw (q4) to[sloop=-135] node [label,below,pos=0.5] {$1/1$ $R$} (q4);
        }

        \mpause{ \draw (q4) to node [label,right] {$\Box/\Box$ $L$} (q5); }
      \end{tikzpicture}
    }
  \end{minipage}%
  \pause\pause\pause\pause\pause\pause\pause\pause\pause\pause
  \begin{minipage}{.30\textwidth}
    \begin{talign}
      \mpause[1]{& \alert{q_0}aabbcc} \\
      \mpause{\vdash& 0\alert{q_1}abbcc} \\
      \mpause{\vdash& 0a\alert{q_1}bbcc} \\
      \mpause{\vdash& 0a1\alert{q_2}bcc} \\
      \mpause{\vdash& 0a1b\alert{q_2}cc} \\
      \mpause{\vdash& 0a1\alert{q_3}b2c} \\
      \mpause{\vdash& 0a\alert{q_3}1b2c} \\
      \mpause{\vdash& 0\alert{q_3}a1b2c} \\
      \mpause{\vdash& \alert{q_3}0a1b2c} \\
      \mpause{\vdash& 0\alert{q_0}a1b2c} \\
      \mpause{\vdash^*& 00\alert{q_0}1122} \\
      \mpause{\vdash& 001\alert{q_4}122} \\
      \mpause{\vdash^*& 001122\alert{q_4}} \\
      \mpause{\vdash& 00112\alert{q_5}2}
    \end{talign}
  \end{minipage}%
  \begin{minipage}{.15\textwidth}
    \begin{talign}
      \mpause{& \alert{q_0} aabbbcc} \\
      \mpause{\vdash^+& 0\alert{q_0}a1bb2c} \\
      \mpause{\vdash^+& 00\alert{q_0}11b22} \\
      \mpause{\vdash& 001\alert{q_4}1b22} \\
      \mpause{\vdash& 0011\alert{q_4}b22}
    \end{talign}
    \vspace{4.7cm}
  \end{minipage}
\end{frame}