Shuffle (Interleaving) Product of Automata

A product automaton that advances one component per symbol recognizes the shuffle of the two languages.