Re: Schemas: Different Strokes From Different Folks

[John Cowan <johnwcowan@gmail.com>]

On Thu, Jan 19, 2017 at 12:28 PM, Henry S. Thompson <ht@markup.co.uk> wrote:

The proof that context-free _languages_ are closed under union (see
for example (first one Google offered me) [1]) involves a relabelling
step for non-terminal symbols, precisely to avoid this 'capture'
problem.  A similar step would obviously be possible for RELAX NG.

Yes, I should have said "closed up to alpha conversion". 

--

GMail doesn't have rotating .sigs, but you can see mine at http://www.ccil.org/~cowan/signatures