[Termination tools] SRS syntax

[Johannes Waldmann]

what about:

  ( RULES "aabb" -> "bbbaaa" "c" -> "" )

advantages:
* follows TRS syntax, needs no delimiters (+)
* need no special provision for empty string

disadvantage:
* restricted to "one-letter letters"

(+) implicit delimiting is rather a design flaw of the TRS syntax :-)

-- 
-- Johannes Waldmann,  Tel/Fax: (0341) 3076 6479 / 6480 --
------ http://www.imn.htwk-leipzig.de/~waldmann/ ---------