Here is a question,which may help us to find the reason of these ambiguities .
Let us keep eyes on Error03 5):
The defination of them are:
syntax AmbIdBracketLeftIdBracketRight ::= Mclassifier MBracketLeft Id MBracketRight
syntax AmbClassifierBracketLeftIdBracketRight::= Mclassifier MBracketLeft Id MBracketRight
Yes,They can infer to the same product.
But I never use the "AmbIdBracketLeftIdBracketRight" in our project .
So I guess that the derivation of Java backend may be from the bottom up,while the derivation of Maude backend may be from top to bottom .This guess may explan why Maude is slower than Java backend.
Here is a question,which may help us to find the reason of these ambiguities . Let us keep eyes on Error03 5):
The defination of them are: syntax AmbIdBracketLeftIdBracketRight ::= Mclassifier MBracketLeft Id MBracketRight
syntax AmbClassifierBracketLeftIdBracketRight::= Mclassifier MBracketLeft Id MBracketRight
Yes,They can infer to the same product.
But I never use the "AmbIdBracketLeftIdBracketRight" in our project .
So I guess that the derivation of Java backend may be from the bottom up,while the derivation of Maude backend may be from top to bottom .This guess may explan why Maude is slower than Java backend.