(TRS) A collection of rewrite rules used to transform terms (expressions, strings in some formal language) into equivalent terms. See reduction. (1994-11-04)

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 ]