Re: Schemas: Different Strokes From Different Folks
On Thu, Jan 19, 2017 at 12:28 PM, Henry S. Thompson <[email protected]> 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