Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Overlap_(term_rewriting)> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- Overlap_(term_rewriting) abstract "In mathematics, computer science and logic, overlap, as a property of the reduction rules in term rewriting system, describes a situation where a number of different reduction rules specify potentially contradictory ways of reducing a reducible expression (or redex) within a term. More precisely, if a number of different reduction rules share function symbols on the left hand side, overlap can occur. Often we do not consider trivial overlap with a redex and itself. For example, consider the term rewriting system defined by the reduction rules The term f(g(x), y) can be reduced via ρ1 to yield y, but it can also be reduced via ρ2 to yield f(f(x, x), y). Note how the redex g(x) is contained in the redex f(g(x), y). The result of reducing different redexes is described in a critical pair -- the critical pair arising out of this term rewriting system is (f(f(x, x), y), y).Overlap may occur with fewer than two reduction rules. Consider the term rewriting system defined by the reduction rule The term g(g(g(x))) has overlapping redexes, which can be either applied to the innermost occurrence or to the outermost occurrence of the g(g(x)) term.".
- Overlap_(term_rewriting) wikiPageID "5103096".
- Overlap_(term_rewriting) wikiPageRevisionID "436274954".
- Overlap_(term_rewriting) hasPhotoCollection Overlap_(term_rewriting).
- Overlap_(term_rewriting) subject Category:Rewriting_systems.
- Overlap_(term_rewriting) type Artifact100021939.
- Overlap_(term_rewriting) type Instrumentality103575240.
- Overlap_(term_rewriting) type Object100002684.
- Overlap_(term_rewriting) type PhysicalEntity100001930.
- Overlap_(term_rewriting) type RewritingSystems.
- Overlap_(term_rewriting) type System104377057.
- Overlap_(term_rewriting) type Whole100003553.
- Overlap_(term_rewriting) comment "In mathematics, computer science and logic, overlap, as a property of the reduction rules in term rewriting system, describes a situation where a number of different reduction rules specify potentially contradictory ways of reducing a reducible expression (or redex) within a term. More precisely, if a number of different reduction rules share function symbols on the left hand side, overlap can occur. Often we do not consider trivial overlap with a redex and itself.".
- Overlap_(term_rewriting) label "Overlap (term rewriting)".
- Overlap_(term_rewriting) sameAs m.0d2s2c.
- Overlap_(term_rewriting) sameAs Q7113758.
- Overlap_(term_rewriting) sameAs Q7113758.
- Overlap_(term_rewriting) sameAs Overlap_(term_rewriting).
- Overlap_(term_rewriting) wasDerivedFrom Overlap_(term_rewriting)?oldid=436274954.
- Overlap_(term_rewriting) isPrimaryTopicOf Overlap_(term_rewriting).