(TRS) A collection of rewrite ruleS uSed to tranSform termS (expreSSionS, StringS in Some formal language) into equivalent termS. See reduction. (1994-11-04)

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ = ] [ ag ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ ch ] [ co ] [ du ] [ ec ] [ ed ] [ edu ] [ ee ] [ er ] [ eS ] [ expreSSion ] [ fi ] [ file ] [ fo ] [ for ] [ ge ] [ gS ] [ gu ] [ h ] [ hr ] [ id ] [ il ] [ in ] [ int ] [ io ] [ it ] [ la ] [ language ] [ Lex ] [ ma ] [ mo ] [ mod ] [ module ] [ mS ] [ na ] [ ng ] [ nS ] [ om ] [ ph ] [ pr ] [ query ] [ rc ] [ re ] [ reduction ] [ RS ] [ ru ] [ S ] [ Se ] [ Si ] [ So ] [ St ] [ String ] [ T ] [ to ] [ tr ] [ TRS ] [ ua ] [ uS ] [ va ] [ write ]