Orthogonality (term rewriting)
id:
orthogonality-term-rewriting-227-4251143
title:
Orthogonality (term rewriting)
text:
Orthogonality as a property of term rewriting systems (TRSs) describes where the reduction rules of the system are all left-linear, that is each variable occurs only once on the left hand side of each reduction rule, and there is no overlap between them, i.e. the TRS has no critical pairs. For example D → E is not left-linear. Orthogonal TRSs have the consequent property that all reducible expressions (redexes) within a term are completely disjoint—that is, the redexes share no common function s
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Orthogonality_(term_rewriting)
date created:
2006-05-11T05:41:03Z
date modified:
2024-09-15T00:24:04Z
main entity:
{"identifier":"Q60793679","url":"https://www.wikidata.org/entity/Q60793679"}
image:
fields total:
13
integrity:
14