[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message]

Forest Automata formalism

• From: Paul Prescod <papresco@t...>
• To: xml-dev <xml-dev@i...>, tigue@o..., macherius@d..., Sean Mc Grath <digitome@i...>
• Date: Tue, 20 Oct 1998 11:49:33 -0400

Several people have asked me about my paper on Forest Automata.
Unfortunately, I haven't been able to find time to compile a decent
bibliography, nor add the code examples I hoped to, but I'm going to
release it anyhow. There is a partial(?) bibliography on Robin Cover's
SGML/XML page.

My paper (sans biblio) can be found at:

http://www.prescod.net/forest/shorttut

Forest Automata theory is a formalism for describing SGML/XML validation.
The formalism makes clear some obvious extensions to SGML/XML
validationand can be used as a source of ideas and answers relating to DTD
parameterization, "data types" (lexical data types),
validation-in-context, query languages etc.

Hopefully I will find time or funding to expand this paper eventually,
because there are many interesting highways and biways that it hints at
but does not explore.

 Paul Prescod  - http://itrc.uwaterloo.ca/~papresco

4'33" is rarely performed as an encore.	- Steve Newcomb
(for info about 4'33":
	http://www.lenzo.com/~sburke/stuff/cage_433.html
	http://www.intrex.net/rwgarr/johncage.htm)



xml-dev: A list for W3C XML Developers. To post, mailto:xml-dev@i...
Archived as: http://www.lists.ic.ac.uk/hypermail/xml-dev/
To (un)subscribe, mailto:majordomo@i... the following message;
(un)subscribe xml-dev
To subscribe to the digests, mailto:majordomo@i... the following message;
subscribe xml-dev-digest
List coordinator, Henry Rzepa (mailto:rzepa@i...)

• Follow-Ups:
  • Re: Forest Automata formalism
    • From: "Ingo Macherius" <macherius@d...>

• Prev by Date: Re: DTD Question
• Next by Date: Re: Whitespace in EMPTY model
• Previous by thread: Whitespace in EMPTY model
• Next by thread: Re: Forest Automata formalism
• Index(es):
  • Date
  • Thread