In the question, the definition of shuffle states that each part ai/bi is of sigma-star, not of sigma. Meaning that for example the shuffle of A = {00}, B = {11} is {0011, 0110, 0101}, and not just {0101}, right?