Gammar for SIGNS

[Till Mossakowski <till@Informatik.Uni-Bremen.DE>]

Dear friends,

I just have noticed that the following comment that I have
sent to Peter on 26th May has not been implemented in CASL 1.0.1.

   The grammar produces shift-reduce conflicts conerning
   the { } within SIGNS. I have therefore redesigned it as follows:

   SIGNS ::= NO_BRACKET_SIGNS


   PLACE-TOKEN-ID  ::= PLACE TOKEN-ID
                     | PLACE
                     | { ID }
                     | [ ID ]
                     | { }
                     | [ ]

   This works quite well (though there are still conflicts).

Now if things remain as they are currently in 1.0.1, I see no
way how to write a parser for CASL using yacc technology.
Does anyone see such a possibility?
If not, I would strongly argue to change the grammar,
as indicated above.

The ML-yacc and ML-lex grammars that we use
can be found under

http://www.informatik.uni-bremen.de/cofi/CASL.grm
http://www.informatik.uni-bremen.de/cofi/CASL.lex

Sorry for having recognized this so late.

Greetings,
Till
-----------------------------------------------------------------------------
Till Mossakowski                Phone +49-421-218-4683, monday: +49-4252-1859
Dept. of Computer Science       Fax +49-421-218-3054
University of Bremen            till@informatik.uni-bremen.de           
P.O.Box 330440, D-28334 Bremen  http://www.informatik.uni-bremen.de/~till
-----------------------------------------------------------------------------