equal
deleted
inserted
replaced
592 $\bullet$ & $\texttt{mp}$ and \texttt{mem} unchanged\\ |
592 $\bullet$ & $\texttt{mp}$ and \texttt{mem} unchanged\\ |
593 \end{tabular} |
593 \end{tabular} |
594 \\\hline |
594 \\\hline |
595 \hfill\texttt{']'} & \begin{tabular}[t]{@{}l@{\hspace{2mm}}l@{}} |
595 \hfill\texttt{']'} & \begin{tabular}[t]{@{}l@{\hspace{2mm}}l@{}} |
596 \multicolumn{2}{@{}l}{if \texttt{mem(mp) != 0} then}\\ |
596 \multicolumn{2}{@{}l}{if \texttt{mem(mp) != 0} then}\\ |
597 $\bullet$ & $\texttt{pc = jumpLeft(prog, pc - 1 1, 0)}$\\ |
597 $\bullet$ & $\texttt{pc = jumpLeft(prog, pc - 1, 0)}$\\ |
598 $\bullet$ & $\texttt{mp}$ and \texttt{mem} unchanged\medskip\\ |
598 $\bullet$ & $\texttt{mp}$ and \texttt{mem} unchanged\medskip\\ |
599 \multicolumn{2}{@{}l}{otherwise if \texttt{mem(mp) == 0} then}\\ |
599 \multicolumn{2}{@{}l}{otherwise if \texttt{mem(mp) == 0} then}\\ |
600 $\bullet$ & $\texttt{pc} + 1$\\ |
600 $\bullet$ & $\texttt{pc} + 1$\\ |
601 $\bullet$ & $\texttt{mp}$ and \texttt{mem} unchanged\\ |
601 $\bullet$ & $\texttt{mp}$ and \texttt{mem} unchanged\\ |
602 \end{tabular}\\\hline |
602 \end{tabular}\\\hline |