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