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

By reading a explanation by James Clark, I now think that maybe I've
heard about this theorem of the regular language in the university.
(Of course that doesn't mean I understand it...)

What's the name of this theorem?

regards,
--
Kohsuke KAWAGUCHI                          +1 650 786 0721
Sun Microsystems