eine Sprachoperation, die das Durchmischen der Wörter zweier Sprachen \({L}_{1}\subseteq {\Sigma}_{1}^{*}\) und \({L}_{2}\subseteq {\Sigma}_{2}^{*}\) modelliert.

Für zwei Wörter w₁ ∈ L₁ und w₂ ∈ L₂ ist der Shuffle w₁ || w₂ als \begin{eqnarray}\begin{array}{lll}{w}_{1}||{w}_{2} & = & \{{u}_{1}{v}_{1}{u}_{2}{v}_{2}\ldots {u}_{n}{v}_{n}|{u}_{i}\in {X}^{*},{v}_{i}\in {Y}^{*},\\ & & 1\le i\le n,\\ & & {u}_{1}{u}_{2}\ldots {u}_{n}={w}_{1},{v}_{1}{v}_{2}\ldots {v}_{n}={w}_{2}\}\end{array}\end{eqnarray} definiert. Beispielsweise ist \begin{eqnarray}ab\,||\,cd=\{abcd,\,acbd,\,acdb,\,cabd,\,cdab\}.\end{eqnarray} Für Sprachen gilt dann \begin{eqnarray}{L}_{1}||{L}_{2}=\displaystyle \mathop{\bigcup}\limits_{{w}_{1}\in {L}_{1},{w}_{2}\in {L}_{2}}{w}_{1}\,||\,{w}_{2}.\end{eqnarray}Der Shuffle zweier Sprachen entsteht als Menge der möglichen Ereignisfolgen eines Systems, wenn die beiden Argumentsprachen die möglichen Ereignisfolgen zweier unabhängig voneinander arbeitender Teilsysteme beschreiben.