OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.

 


Help: OASIS Mailing Lists Help | MarkMail Help

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: deterministic content model?




Gary Stephenson wrote:

> I am still trying to get my head around how I would even approach checking
> for non-determinism.

How is your validator implemented?  If you're using
one of the canonical automaton construction approaches
(i.e., each content particle becomes a state, and transitions
are determined by the connectors and occurrence indicators),
then it's fairly straightforward: just check if there
is a pair of transitions from any state to two different
states with the same label.


--Joe English

  jenglish@flightlab.com