\begin{frame}{Example Computation}
  \begin{exampleblock}{}
    \begin{center}
      \input{tikz/npda1.tex}
    \end{center}
    Stepwise reading of the word $aabb$:
    \begin{talign}
      (q_0,aabb,0) 
      \mpause[1]{&\vdash (q_0,abb,10)} \\
      \mpause{&\vdash (q_0,bb,110)} \\
      \mpause{&\vdash (q_1,b,10)} \\
      \mpause{&\vdash (q_1,\lambda,0)} \\
      \mpause{&\vdash (q_2,\lambda,\lambda)}
    \end{talign}
  \end{exampleblock}  
\end{frame}