String Equivalence

Two strings $x,y$ are equal if:

• $|x|=|y|$
• $x_i=y_i,\forall i$