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.