Lists Home |
Date Index |
- From: Paul Janssens <email@example.com>
- To: firstname.lastname@example.org
- Date: Fri, 26 Mar 1999 16:14:16 +0100
Lars Marius Garshol wrote:
> It is a limitation of DTDs and was introduced because without this
> operator element content models are easily mapped to finite state
> automatons, but the introduction of the '&' separator makes automaton
> generation much more difficult.
> Existing SGML parsers already do this, and there are some research
> papers giving algorithms for this, but the designers felt that this
> was one of the things that would have to go in the simplification from
> SGML to XML.
Please correct me if I am wrong here but isn't that trivial?
(you may get a BIG automaton, but it's not difficult to generate)
X -> A & B & C ;
can be expressed as
X -> A X_A | B X_B | C X_C ;
X_A -> B X_AB | C X_AC ;
X_B -> A X_AB | C X_BC ;
X_C -> A X_AC | B X_BC ;
X_AB -> C X_ABC ;
X_BC -> A X_ABC ;
X_AC -> B X_ABC ;
X_ABC -> ;
and it's 'easily' visualised by the number of possible shortest paths
between two opposing points on a hypercube.
xml-dev: A list for W3C XML Developers. To post, mailto:email@example.com
Archived as: http://www.lists.ic.ac.uk/hypermail/xml-dev/ and on CD-ROM/ISBN 981-02-3594-1
To (un)subscribe, mailto:firstname.lastname@example.org the following message;
To subscribe to the digests, mailto:email@example.com the following message;
List coordinator, Henry Rzepa (mailto:firstname.lastname@example.org)