$1\mathrm{.}53$ Let $=\{0,1,+,=\}$ and

ADD $=\{$x$=$y$+$z$|$ x$,$ y$,$ z are binary integers, and x is the sum of y and z$\}.$

Show that ADD is not regular.