W3C home > Mailing lists > Public > www-dom@w3.org > July to September 2010

Re: Looking for help. Implementing a XML validation engine in JavaScript.

From: Casey Jordan <casey.jordan@jorsek.com>
Date: Tue, 10 Aug 2010 13:31:15 -0400
Message-ID: <AANLkTinvLQtwN=+cpo-Q5HtkD9ThvRKDj5N5i0Xr=LDo@mail.gmail.com>
To: "Henry S. Thompson" <ht@inf.ed.ac.uk>
Cc: Michael Kay <mike@saxonica.com>, "Cheney, Edward A SSG RES USAR USARC" <austin.cheney@us.army.mil>, xmlschema-dev@w3.org, www-dom@w3.org
Henry,

Is this considered "Strong determinism"? I think I came across this in the
code you pointed me too.

Thanks,

Casey

On Tue, Aug 10, 2010 at 1:25 PM, Henry S. Thompson <ht@inf.ed.ac.uk> wrote:

> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA1
>
> Casey Jordan writes:
>
> > <sequence>
> >     <element ref="e1"/>
> >     <choice minOccurs="2">
> >         <element ref="e2" maxOccurs="2"/>
> >         <element ref="e3"/>
> >     </choice>
> >     <element ref="e4"/>
> > </sequence>
> >
> > This can be seen as a regular expression e1( e2{1,2} | e3 ){2,2} e4. My
> > greedy algorithm cannot validate this correctly.
> >
> > Assuming input like <e1/><e2/><e2/><e4/>
>
> This problem is discussed in [1], which asserts that you need to fall
> back to pseudo-parallel or backtracking in such cases.  The Python
> code in XSV, which I pointed you to yesterday, implements this
> fallback.
>
> ht
> - --
>       Henry S. Thompson, School of Informatics, University of Edinburgh
>      10 Crichton Street, Edinburgh EH8 9AB, SCOTLAND -- (44) 131 650-4440
>                Fax: (44) 131 651-1426, e-mail: ht@inf.ed.ac.uk
>                       URL: http://www.ltg.ed.ac.uk/~ht/
>  [mail from me _always_ has a .sig like this -- mail without it is forged
> spam]
> -----BEGIN PGP SIGNATURE-----
> Version: GnuPG v1.2.6 (GNU/Linux)
>
> iD8DBQFMYYuRkjnJixAXWBoRAk1IAJoC+/plq5hesivHGcVJoxCwMn3MMACfRsZp
> SKwiRx0+ZdwKtHXRq8jOwjE=
> =tq8F
> -----END PGP SIGNATURE-----
>



-- 
--
Casey Jordan
Jorsek Software LLC.
"CaseyDJordan" on LinkedIn, Twitter & Facebook
Cell (585) 348 7399
Office (585) 239 6060
Jorsek.com


This message is intended only for the use of the Addressee(s) and may
contain information that is privileged, confidential, and/or exempt from
disclosure under applicable law.  If you are not the intended recipient,
please be advised that any disclosure  copying, distribution, or use of
the information contained herein is prohibited.  If you have received
this communication in error, please destroy all copies of the message,
whether in electronic or hard copy format, as well as attachments, and
immediately contact the sender by replying to this e-mail or by phone.
Thank you.
Received on Tuesday, 10 August 2010 17:31:48 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 22 June 2012 06:14:05 GMT