• From: "Fuchs, Matthew" <matthew.fuchs@c...>
• To: 'Kohsuke KAWAGUCHI' <kohsukekawaguchi@y...>, xml-dev@l...
• Date: Tue, 09 Oct 2001 15:10:28 -0700

Ask Makoto - this is what he told me, and I didn't see any reason to doubt
his veracity about his own work.  By the way, if one looks closely one
notices that XDuce, the basis for Trex, is really a reproduction of Makoto's
work from another direction, so XDuce should suffer the same issues (common
to type-inference systems).

Matthew

> -----Original Message-----
> From: Kohsuke KAWAGUCHI [mailto:kohsukekawaguchi@y...]
> Sent: Tuesday, October 09, 2001 3:01 PM
> To: Fuchs, Matthew; xml-dev@l...
> Subject: Re:  Adam Bosworth on XML and W3C
> 
> 
> 
> > I mentioned Murata Makoto's brilliant work with 
> forest-automata as an
> > expanded model for markup is that to gain the full 
> expressive power of his
> > work one needs to accept (in the worst case) bottom-up 
> parsing (eliminates
> > stream-based applications) and either exponential-time 
> preprocessing (merely
> > processing an unknown schema may be prohibitively expensive) or
> > exponential-time validation (there are some schemas for 
> which parsing is
> > effectively impossible).
> 
> This is very interesting. Would you please show me an example that
> causes exponential-time compilation or validation?
> 
> 
> regards,
> ----------------------
> K.Kawaguchi
> E-Mail: kohsukekawaguchi@y...
> 

• Follow-Ups:
  • RE: Adam Bosworth on XML and W3C
    • From: Murali Mani <mani@C...>

• Prev by Date: Re: Adam Bosworth on XML and W3C
• Next by Date: Re: standards vs. the public
• Previous by thread: Re: Adam Bosworth on XML and W3C
• Next by thread: RE: Adam Bosworth on XML and W3C
• Index(es):
  • Date
  • Thread