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