OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.

 


Help: OASIS Mailing Lists Help | MarkMail Help

relax-ng message

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [Elist Home]


Subject: 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

out2

out3

out4

out5



[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [Elist Home]


Powered by eList eXpress LLC