[Termination tools] SRS syntax

[Claude Marche]

As I said twice before, I have examples of SRSs where symbols are non
single-letter, you may look at the web page, tpdb/SRS

Now, there is a nice syntactic sugar that one may want to use in SRSs,
which is the use of exponents, like

a ^ 6 (b c) ^ 7 -> ....

Question to authors of SRS tools: would it be hard to you to support
this syntax ? With a lex/yacc parser it is quite easy. Another
possibility would be to use the tool I'm currently writing for
checking syntax of such files: this tool may also output the SRS into
another syntax. 

This remark also applies to TRS syntax: the syntax checker may also
output the system into another syntax. For example it could be an XML
one, I know people would be interested in.

So, comments ?

- Claude

-- 
| Claude Marché           | mailto:Claude.Marche at lri.fr |
| LRI - Bât. 490          | http://www.lri.fr/~marche/  |
| Université de Paris-Sud | phoneto: +33 1 69 15 64 85  |
| F-91405 ORSAY Cedex     | faxto: +33 1 69 15 65 86    |