Note on the negative base xor sequence $n{\oplus }_{-b}(-n)$

Abstract

We prove a relationship between certain integer expressions involving operators similar to the binary exclusive or. This gives a proof and generalization of a result conjectured about sequence A178729 in Sloane's Online Encyclopedia of Integer Sequences. We use transducers to prove this result.