[BSUM.MKV]
[sum two binary numbers]
[[
A Markov Algorithm which will sum two binary
numbers presented in the form a+b=; for example
111110+011=
Each successive keystroke will show another step
in the Algorithm until the final sum is completed
and the auxiliary symbols are gone.
]]
(a0,0a)
(a1,1a)
(b0,0b)
(b1,1b)
(0*,1)
(1*,*0)
(*,1)
(0a,=0)
(0b,=1)
(1a,=1)
(1b,*=0)
(0+,+a)
(1+,+b)
(+a,0=+)
(+b,1=+)
(+,)
(=,)
[end]