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