https://wiki.haskell.org/index.php?title=Confluent_term_rewriting_system&feed=atom&action=historyConfluent term rewriting system - Revision history2024-03-19T08:52:51ZRevision history for this page on the wikiMediaWiki 1.35.5https://wiki.haskell.org/index.php?title=Confluent_term_rewriting_system&diff=19604&oldid=prevLemming: bold keyword2008-02-27T19:38:38Z<p>bold keyword</p>
<table class="diff diff-contentalign-left diff-editfont-monospace" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 19:38, 27 February 2008</td>
</tr><tr>
<td colspan="2" class="diff-lineno">Line 1:</td>
<td colspan="2" class="diff-lineno">Line 1:</td>
</tr>
<tr>
<td class="diff-marker">−</td>
<td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>In a confluent term rewriting system you will always end up in the same result if you apply rewriting rules in different order until no more rules can be applied.</div></td>
<td class="diff-marker">+</td>
<td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>In a <ins class="diffchange diffchange-inline">'''</ins>confluent term rewriting system<ins class="diffchange diffchange-inline">'''</ins> you will always end up in the same result if you apply rewriting rules in different order until no more rules can be applied.</div></td>
</tr>
<tr>
<td class="diff-marker"> </td>
<td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td>
<td class="diff-marker"> </td>
<td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td>
</tr>
<tr>
<td class="diff-marker"> </td>
<td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== See also ==</div></td>
<td class="diff-marker"> </td>
<td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== See also ==</div></td>
</tr>
</table>Lemminghttps://wiki.haskell.org/index.php?title=Confluent_term_rewriting_system&diff=18409&oldid=prevLemming at 16:46, 18 January 20082008-01-18T16:46:28Z<p></p>
<p><b>New page</b></p><div>In a confluent term rewriting system you will always end up in the same result if you apply rewriting rules in different order until no more rules can be applied.<br />
<br />
== See also ==<br />
* [http://en.wikipedia.org/wiki/Confluence_(term_rewriting) Wikipedia]<br />
<br />
[[Category:Glossary]]<br />
[[Category:Program transformation]]</div>Lemming