\langle pop, s_i, s_o, s\rangle \Rightarrow
\langle s_i, s_o,\mathcal{D}(s)\rangle\\
{[add_{sos}]}\qquad
\langle pop, s_i, s_o, s\rangle \Rightarrow
\langle s_i, s_o,\mathcal{D}(s)\rangle\\
{[add_{sos}]}\qquad
-\langle add, s_i, s_o, s\rangle \Rightarrow
+&\langle add, s_i, s_o, s\rangle \Rightarrow
\langle subtract, s_i, s_o, s\rangle \Rightarrow
\langle s_i, s_o, \mathcal{SUB}(s)\rangle\\
\langle subtract, s_i, s_o, s\rangle \Rightarrow
\langle s_i, s_o, \mathcal{SUB}(s)\rangle\\
\langle multiply, s_i, s_o, s\rangle \Rightarrow
\langle s_i, s_o, \mathcal{MUL}(s)\rangle\\
\langle multiply, s_i, s_o, s\rangle \Rightarrow
\langle s_i, s_o, \mathcal{MUL}(s)\rangle\\
\langle divide, s_i, s_o, s\rangle \Rightarrow
\langle s_i, s_o, \mathcal{DIV}(s)\rangle\\
\langle divide, s_i, s_o, s\rangle \Rightarrow
\langle s_i, s_o, \mathcal{DIV}(s)\rangle\\
\langle mod, s_i, s_o, s\rangle \Rightarrow
\langle s_i, s_o, \mathcal{MOD}(s)\rangle\\
\langle mod, s_i, s_o, s\rangle \Rightarrow
\langle s_i, s_o, \mathcal{MOD}(s)\rangle\\
\langle duplicate, s_i, s_o, s\rangle \Rightarrow
\langle s_i, s_o, \mathcal{DUP}(s)\rangle\\
\langle duplicate, s_i, s_o, s\rangle \Rightarrow
\langle s_i, s_o, \mathcal{DUP}(s)\rangle\\
\langle not, s_i, s_o, s\rangle \Rightarrow
\langle s_i, s_o, \mathcal{NOT}(s)\rangle\\
\langle not, s_i, s_o, s\rangle \Rightarrow
\langle s_i, s_o, \mathcal{NOT}(s)\rangle\\
\langle greater, s_i, s_o, s\rangle \Rightarrow
\langle s_i, s_o, \mathcal{GRE}(s)\rangle\\
\langle greater, s_i, s_o, s\rangle \Rightarrow
\langle s_i, s_o, \mathcal{GRE}(s)\rangle\\
\langle pointer, s_i, s_o, s\rangle \Rightarrow
\langle s_i, s_o, \mathcal{D}(s)\rangle\\
\langle pointer, s_i, s_o, s\rangle \Rightarrow
\langle s_i, s_o, \mathcal{D}(s)\rangle\\
\langle push \: n, s_i, s_o, s\rangle \Rightarrow
\langle s_i, s_o, \mathcal{E}(n,s)\rangle\\
\langle push \: n, s_i, s_o, s\rangle \Rightarrow
\langle s_i, s_o, \mathcal{E}(n,s)\rangle\\
\langle roll, s_i, s_o, s\rangle \Rightarrow
\langle s_i, s_o, \mathcal{ROLL}(s)\rangle\\
\langle roll, s_i, s_o, s\rangle \Rightarrow
\langle s_i, s_o, \mathcal{ROLL}(s)\rangle\\
\langle innum, s_i, s_o, s\rangle \Rightarrow
\langle \mathcal{INN_{SI}}(s_i), s_o, \mathcal{INN_S}(s)\rangle\\
\langle innum, s_i, s_o, s\rangle \Rightarrow
\langle \mathcal{INN_{SI}}(s_i), s_o, \mathcal{INN_S}(s)\rangle\\
\langle outnum, s_i, s_o, s\rangle \Rightarrow
\langle s_i, \mathcal{OUTN_{SO}}(s_o),\mathcal{OUTN_S}(s)\rangle\\
\langle outnum, s_i, s_o, s\rangle \Rightarrow
\langle s_i, \mathcal{OUTN_{SO}}(s_o),\mathcal{OUTN_S}(s)\rangle\\
\langle inchar, s_i, s_o, s\rangle \Rightarrow
\langle s_i, s_o, s\rangle\\
\langle inchar, s_i, s_o, s\rangle \Rightarrow
\langle s_i, s_o, s\rangle\\
\langle outchar, s_i, s_o, s\rangle \Rightarrow
\langle s_i, s_o, s\rangle\\
\langle outchar, s_i, s_o, s\rangle \Rightarrow
\langle s_i, s_o, s\rangle\\
\langle switch, s_i, s_o, s\rangle \Rightarrow
\langle s_i, s_o, s\rangle\\
\langle switch, s_i, s_o, s\rangle \Rightarrow
\langle s_i, s_o, s\rangle\\