Theory of Computation

A operation between two strings that returns the juxtaposing of y after x.