0 votes 0 votes Let $\sum=\{0,1,+,=\}$ and $ADD=\{x=y+z|x,y,z$ $\text{are binary integers,and}$ $x$ $\text{is the sum of}$ $y$ $\text{and}$ $z\}.$ Show that $\text{ADD}$ is not a regular. Theory of Computation michael-sipser theory-of-computation finite-automata regular-language proof descriptive + – admin asked Apr 30, 2019 admin 288 views answer comment Share Follow See all 0 reply Please log in or register to add a comment.