Re: [relax-ng] Re: Algebraic characterization of RELAX NG patterns

Kohsuke KAWAGUCHI wrote:

> What's the name of this theorem?

This is merely a rewrite of the Myphill-Nerode theorem.  A syntactic 
monoid is nothing but a right-left-invariant equivalence relationship 
of finite index.

Cheers,

Makoto