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: Type-assignment (was Re: Are we losing out because of grammars?)

> To distinguish the two types of ambiguity, we need two terms.  How about  
> ambiguity of datatype assignment and ambiguity of interpretation?

I strongly suggest to use "ambiguity of datatype" and "ambiguity of
labels", because when we say "interpretation", it should refer to
"things" that we get (datatypes, labels, or whatever)

> Kawaguchi-san's algorithm for detecting ambiguity of interpretation looks 

To be precise, in RELAX, when a grammar is unambiguous in terms of
labels, it automatically ensures unambiguity of datatypes.

In other words, unless the grammar is proven to be unambiguous in terms
of datatype, the grammar cannot be said to be unambiguous in terms of

Am I right?

> Is it possible to detect ambiguity of datatype assignment by 
> examining a TREX pattern?

This's another interesting question... Let me see...

E-Mail: k-kawa@bigfoot.com