Term rewriting system
(TRS) A collection of rewrite rules used to transform terms (expressions, strings in some formal language) into equivalent terms. See reduction.
(1994-11-04)
Read Also:
- Terms
noun 1. a word or group of words designating something, especially in a particular field, as atom in physics, quietism in theology, adze in carpentry, or district leader in politics. 2. any word or group of words considered as a member of a construction or utterance. 3. the time or period through which something lasts. […]
- Terms-of-service
noun 1. the contract for acceptable use of digital media as defined by the developer. Abbreviation: TOS, ToS.
- Terms of trade
plural noun 1. (economics, Brit) the ratio of export prices to import prices. It measures a nation’s trading position, which improves when export prices rise faster or fall slower than import prices
- Termwise
adverb, Mathematics. 1. term by term: The series can be integrated termwise. Two series are added termwise.
- Tern
noun 1. any of numerous aquatic birds of the subfamily Sterninae of the family Laridae, related to the gulls but usually having a more slender body and bill, smaller feet, a long, deeply forked tail, and a more graceful flight, especially those of the genus Sterna, as S. hirundo (common tern) of Eurasia and America, […]