Grading Notes:

Let Σ = {0,1,+,=} and
ADD = {x=y+z | x,y,z are binary integers and x is the sum of y and z}
  1. Give 4 strings that belong to the language ADD.
  2. Use the Pumping Lemma to show that ADD is not regular.