next up previous
Next: Automata Up: Specification Files Previous: Terms

Trss

A trs is introduced by the TRS keyword followed by the name of the TRS and by the list of rules.

Each rule has a left-handside and a right-handside separated by ->. Both the left-handside and the right-handside are terms.



Irene DURAND
2005-02-01