[Home] [By Thread] [By Date] [Recent Entries]
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@f...
|

Cart



