Encapsulation Abstraction flip zero test goto exit “Atomic” operations Equality test (x.y) zero eq; add(x,y) can be flip eq;equality on 1.zero z0 test x flip eq; 2.zero z1 combined to test y flip eq;equality on only tum twice 3.equality test(x,y） 4.test eq goto 7 5.flip z0 generate 6.exit 7.zero t “Compound' 8.flip t 2-bitAdd(x,y) 9.equality test(x,t) operations! 10.test eq flip z1 92022/12/14 9 Encapsulation + Abstraction “Atomic” operations can be combined to generate “Compound” operations! 2-bitAdd(x,y) flip zero test goto exit …