let and be strings. then denotes the concatenation of and , that is, the string formed by making a copy of and following it by a copy of .
more precisely, if is the string composed of symbols and y is the string composed of symbols , then is the string of length .