Email this page to a friend

Term rewriting system

(TRS) A collection of rewrite rules used to transform terms (expressions, strings in some formal language) into equivalent terms.

See reduction.

< Previous Terms	Terms Containing term rewriting system	Next Terms >
terminal server Terminal User Interface Terminate and Stay Resident termination analysis terminator	graph rewriting system TRS	Terms Of Service ternary terpri terrabyte Terse