We have that MIMA (Neumann MInimal MAchine) has the following commands:  I want to implement the Mima-command EQL adr (equal?) with the other Mima-commands. We have that for that command it holds the following: $$\text{Accu} \leftarrow \left\{\begin{matrix}-1 , &\text{ Accu }=M(adr)\\ 0 , &\text{otherwise}\end{matrix}\right.$$ I have done the following: My idea is to compute -M(adr) and then to add it to Accu, and then to check if it i <0. And then to compute the inverse of the result and check if it is <0. Is it correct? LCD const LDV adr NOT STV adr ADD adr STV adr JMN x LDC -1 JMP z x: LCD 0 z: NOT    JMN m    LDC -1    JMP n    m: LCD 0    n: STV adr Is the implementation correct? Could I improve something?
Implementation of function
algorithms;computation models