maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] bad tokens

From: YUJIAN FU <yujian.fu AT aamu.edu>
To: "maude-help AT cs.uiuc.edu" <maude-help AT cs.uiuc.edu>
Subject: [Maude-help] bad tokens
Date: Thu, 15 Jul 2010 14:39:03 -0500
Accept-language: en-US
Acceptlanguage: en-US
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

Dear Maude supportors:

There is a bad token for init0, and d0 for my maude file. Besides, it does
not expect PvalB. It looks like right. How do I fix the bad token and
unexpected *? Would you mind to help me to take a look at the current code?
Really appreciate it.. The maude file was attached.

Yujian Fu
Alabama A&M University

Attachment: PMMC.maude
Description: PMMC.maude

[Maude-help] bad tokens, YUJIAN FU, 07/15/2010