Next: Automata
Up: Specification Files
 Previous: Terms
 
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