Maude-help mailing list

[Steven Eker <eker AT csl.sri.com>]

There is not way of getting hold of multiple parsings at the object level. 
Probably the appropriate place for user implemented disambiguation is at the 
metalevel, and in fact in the case of ambiguity, the metaParse() builtin 
operator returns the first two parses under the ambiguity() constructor. 
Currently there is no way to get any further parses.

Steven

On Monday 29 March 2010, wilson wrote:
> I understand that Maude could choose among multiple possible parsings
> via the specification of precedence values among operators(via the
> functional modules).
> 
> Would it be possible to explicitly "process" the multiple possible
> parsings via the functional or system module? Or via "hooked" C functions?
> 
> What I'm trying to do is to impose a "non-grammatical" approach in the
> process of choosing among the possible parsings.
> 
> It seems to me that rules for choosing among the parsings could be
> specified via the modules, but it doesn't provide any way for the user
> to actually process or even "take hold" of the multiple parsings deduced
> by Maude. Is this correct? Or is there a way of actually "taking hold"
> of those parsing candidates for processing?
> 
> Thank you so much.
> _______________________________________________
> Maude-help mailing list
> Maude-help AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/maude-help
>