relax-ng message

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

From: MURATA Makoto <EB2M-MRT@asahi-net.or.jp>
To: relax-ng@lists.oasis-open.org
Date: Thu, 25 Oct 2001 11:54:59 +0900

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

References:
- [relax-ng] Re: Algebraic characterization of RELAX NG patterns
  - From: Kohsuke KAWAGUCHI <kohsuke.kawaguchi@sun.com>