maude-help AT lists.siebelschool.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] Why is (1 + 2 - 3) Ambiguous?

From: "Ziad H. Najem" <najem AT acm.kuniv.edu>
To: maude-help AT cs.uiuc.edu
Subject: [Maude-help] Why is (1 + 2 - 3) Ambiguous?
Date: Mon, 30 May 2011 18:24:53 +0300 (AST)
Importance: Normal
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

Core Maude 2.6 reports the expression (1+2-3) is ambiguous (as shown below)

Shouldn't the gather rules (associativity) resolve the ambiguity?

- Ziad

-------
Maude> red in INT : 1 + 2 - 3 .
Warning: <standard input>, line 2: ambiguous term, two parses are:
1 + (2 - 3)
-versus-
(1 + 2) - 3

Arbitrarily taking the first as correct.
reduce in INT : 1 + (2 - 3) .
rewrites: 2 in 0ms cpu (0ms real) (~ rewrites/second)
result Zero: 0
------

[Maude-help] Why is (1 + 2 - 3) Ambiguous?, Ziad H. Najem, 05/30/2011
- Re: [Maude-help] Why is (1 + 2 - 3) Ambiguous?, Chucky Ellison, 05/30/2011
  - [Maude-help] Several questions?, Michael George Hart, 05/31/2011
    - Re: [Maude-help] Several questions?, Steven Eker, 05/31/2011