Shuffle automata

I find papers about automata for interleaving.  Such automata are called shuffle automata.

http://weslake.univ.gda.pl/~in/j.jedrzejowicz/

I have implemented it.  My implementation can handle (a? & b? & ... & z?).  

Here is the result.

Cheers,

Makoto