139.124.3.100 at 21:23, 5 November 2014

2014-11-05T21:23:57Z

← Older revision		Revision as of 23:23, 5 November 2014
Line 1:		Line 1:
	The '''Knuth–Bendix completion algorithm''' (named after [[Donald E. Knuth\|Donald Knuth]] and Peter Bendix<ref>[http://www.win.tue.nl/~mvdbrand/courses/seminar/0809/papers/ag-genesis.pdf D. Knuth, "The Genesis of Attribute Grammars"]</ref>) is an [[algorithm]] for transforming a set of [[equation]]s (over [[term (mathematics)\|terms]]) into a [[Confluence (term rewriting)\|confluent]] [[term rewriting system]]. When the algorithm succeeds, it effectively solves the [[word problem (mathematics)\|word problem]] for the specified [[algebra]].		Nice to be here there, I am Adrianne and I totally cannot get enough of that name. I am a people manager but nevertheless , soon I'll be on my own. Gardening is what I do every week. Guam has always been my home. See what's new on my own, personal website here: http://circuspartypanama.com<br><br>my web page :: how to hack clash Of Clans ([http://circuspartypanama.com circuspartypanama.com])

	~~An important case in [[computational group theory]] are string rewriting systems which can~~ be used to give canonical labels to elements or [[coset]]s of a [[finitely presented group]] as products of the [[Generating set of a group\|generator]]s. This special case is the current focus of this article.

	~~[[Buchberger's algorithm]] for computing [[Gröbner basis\|Gröbner bases]] is a very similar algorithm. Although developed independently~~, ~~it may also be seen as the instantiation~~ of ~~Knuth-Bendix algorithm in the theory of [[polynomial ring]]s~~.

	~~== Motivation in group theory ==~~
	~~The [[critical pair lemma]] states that~~ a ~~term rewriting system is [[confluence (term rewriting)\|locally confluent]] (or weakly confluent) if and only if all its [[critical pair (logic)\|critical pairs]] are convergent. Furthermore~~, ~~we have [[Newman~~'s lemma]] which states that if an (abstract) rewriting system is [[normal form (term rewriting)\|strongly normalizing]] and weakly confluent, then the rewriting system is confluent. So, if we can add rules to the term rewriting system in order to force all critical pairs to be convergent while maintaining the strong normalizing property, then this will force the resultant rewriting system to be ~~confluent.~~

	~~Consider a [[finitely presented monoid]] <math>M = \langle X \mid R \rangle</math> where X is a finite set of generators and R is a set of defining relations~~ on ~~X. Let X<sup></sup> be the set of all words in X (i.e. the free monoid generated by X)~~. Since the relations R generate an equivalence relation on X, one can consider elements of M to be the equivalence classes of X<sup>*</sup> under R. For each class ''{w<sub>1</sub>, w<sub>2</sub>, ... }'' it is ~~desirable to choose a standard representative ''w<sub>k</sub>''~~. ~~This representative is called the '''canonical''' or '''normal form''' for each word ''w<sub>k</sub>'' in the class~~. ~~If there is a computable method to determine for each~~ '~~'w<sub>k</sub>'' its normal form ''w<sub>i</sub>'' then the word problem is easily solved. A confluent rewriting system allows one to do precisely this.~~

	~~Although the choice of a canonical form can theoretically be made in an arbitrary fashion this approach is generally not computable. (Consider that an equivalence relation~~ on a language can produce an infinite number of infinite classes.) If the language is [[well-ordered]] then the order < gives a consistent method for defining minimal representatives, however computing these representatives may still not be possible. In particular, ~~if a rewriting system is used to calculate minimal representatives then the order < should also have the property~~:

	: ~~A < B → XAY < XBY for all words A,B,X,Y~~

	~~This property is called '''translation invariance'''. An order that is both translation-invariant and a well-order is called a '''reduction order'''.~~

	From the presentation of the monoid it is possible to define a rewriting system given by the relations R. If A x B is in R then either A < B in which case B → A is a rule in the rewriting system, otherwise A > B and A → B. Since < is a reduction order a given word W can be reduced W > W_1 > ... > W_n where W_n is irreducible under the rewriting system. However, depending on the rules that are applied at each W<sub>i</sub> → W<sub>i+1</sub> it is possible to end up with two different irreducible reductions W<sub>n</sub> ≠ W'<sub>m</sub> of W. However, if the rewriting system given by the relations is converted to a confluent rewriting system via the Knuth–Bendix algorithm, then all reductions are guaranteed to produce the same irreducible word, namely the normal form for that word.

	~~==Description of the algorithm for finitely presented monoids==~~

	Suppose we are given a [[presentation of a group\|presentation]] <math> \langle X \mid R \rangle </math>, where <math> X </math> is a set of [[generating set of a group\|generator]]s and <math> R </math> is a set of [[Relation (mathematics)\|relations]] giving the rewriting system. Suppose further that we have a reduction ordering <math> < </math> among the words generated by <math> X </math>(e.g., [[shortlex order]]). For each relation <math> P_i = Q_i </math> in <math> R </math>, suppose <math> Q_i < P_i </math>. Thus we begin with the set of reductions <math> P_i \rightarrow Q_i </math>.

	~~First, if any relation <math> P_i = Q_i </math> can be reduced, replace <math> P_i <~~/~~math> and <math> Q_i <~~/~~math> with the reductions.~~

	~~Next, we add more reductions (that is, rewriting rules) to eliminate possible exceptions of confluence~~. ~~Suppose that <math> P_i </math> and <math> P_j </math>, where~~ <~~math~~> ~~i \neq j~~ <~~/math~~>~~, overlap.~~

	~~# Case 1~~: either the prefix of <math> P_i</math> equals the suffix of <math> P_j </math>, or vice versa. In the former case, we can write <math> P_i = BC </math> and <math> P_j = AB </math>; in the latter case, <math> P_i = AB </math> and <math> P_j = BC </math>.
	~~#Case 2~~: either <math> P_i</math> is completely contained (surrounded) in <math> P_j </math>, or vice versa. In the former case, we can write <math> P_i = B </math> and <math> P_j = ABC </math>; in the latter case, <math> P_i = ABC </math> and <math> P_j = B </math>.

	Reduce the word <math> ABC </math> using <math> P_i </math> first, then using <math> P_j </math> first. Call the results <math> r_1, r_2 </math>, respectively. If <math> r_1 \neq r_2 </math>, then we have an instance where confluence could fail. Hence, add the reduction <math> \max r_1, r_2 \rightarrow \min r_1, r_2 </math> to <math> R </math>.

	~~After adding a rule~~ to ~~<math> R </math>, remove any rules in <math> R </math> that might have reducible left sides.~~

	~~Repeat the procedure until all overlapping left sides have been checked.~~

	~~==Example==~~

	~~Consider the monoid: <math> \langle x, y \mid x^3 = y^3 =~~ (~~xy)^3 = 1 \rangle </math>. We use the~~ [~~[shortlex order]]. This is an infinite monoid but nevertheless, the Knuth–Bendix algorithm is able to solve the word problem.~~

	~~Our beginning three reductions are therefore (1) <math> x^3 \rightarrow 1 <~~/~~math>, (2) <math> y^3 \rightarrow 1 <~~/~~math>, and (3) <math> (xy)^3 \rightarrow 1 </math>~~.

	~~Consider the word <math> x^3yxyxy </math>~~. Reducing using (1), we get <math> yxyxy </math>. Reducing using (3), we get <math> x^2 </math>. Hence, we get <math> yxyxy = x^2 </math>, giving the reduction rule (4) <math> yxyxy \rightarrow x^2 </math>.

	~~Similarly, using <math> xyxyxy^3 </math> and reducing using (2) and (3), we get <math> xyxyx = y^2 </math>. Hence the reduction (5) <math> xyxyx \rightarrow y^2 </math>.~~

	~~Both of these rules obsolete (3), so we remove it.~~

	Next, consider <math> x^3yxyx </math> by overlapping (1) and (5). Reducing we get <math> yxyx = x^2y^2 </math>, so we add the rule (6) <math> yxyx \rightarrow x^2y^2</math>. Considering <math> xyxyx^3 </math> by overlapping (1) and (5), we get <math> xyxy = y^2x^2 </math>, so we add the rule (7) <math> y^2x^2 \rightarrow xyxy </math>. These obsolete rules (4) and (5), so we remove them.

	~~Now, we are left with the rewriting system~~
	* (1) <math> x^3 \rightarrow 1 </math>
	* (2) <math> y^3 \rightarrow 1 </math>
	* (6) <math> yxyx \rightarrow x^2y^2 </math>
	* (7) <math> y^2 x^2 \rightarrow xyxy </math>
	~~Checking the overlaps of these rules, we find no potential failures of confluence. Therefore, we have a confluent rewriting system, and the algorithm terminates successfully.~~

	~~==Generalizations==~~

	~~If Knuth–Bendix does not succeed, it will either run forever, or fail when it encounters an unorientable equation (i.e. an equation that it cannot turn into a rewrite rule~~)~~. The enhanced [[completion without failure]] will not fail on unorientable equations and provides a [[semi-decision procedure]] for the word problem.~~

	The notion of [[logged rewriting]] discussed in the paper by Heyworth and Wensley listed below allows some recording or logging of the rewriting process as it proceeds. This is useful for computing identities among relations for presentations of groups.

	~~==References==~~
	~~{{reflist}}~~
	* {{cite book\| author=D. Knuth, P. Bendix\| title=Simple Word Problems in Universal Algebras\| year=1970\| pages=263–297\| publisher=Pergamon Press\| editor=J. Leech}}
	* C. Sims. 'Computations with finitely presented groups.' Cambridge, 1994.
	* Anne Heyworth and C.D. Wensley. "Logged rewriting and identities among relators." ''Groups St. Andrews 2001 in Oxford. Vol. I,'' 256–276, London Math. Soc. Lecture Note Ser., 304, Cambridge Univ. Press, Cambridge, 2003.

	~~==External links==~~
	* {{MathWorld \| urlname=Knuth-BendixCompletionAlgorithm \| title=Knuth–Bendix Completion Algorithm}}

	~~{{Donald Knuth navbox}}~~

	~~{{DEFAULTSORT:Knuth-Bendix completion algorithm}}~~
	~~[[Category:Computational group theory]]~~
	~~[[Category:Donald Knuth]]~~
	~~[[Category:Combinatorics on words]]~~
	~~[[Category:Rewriting systems]]~~

en>Sgbmyr: /* Usage */ spelling: "Derivatives of the CoC are use in other [...]" -> ""Derivatives of the CoC are used in other [...]"

2013-10-23T10:19:17Z

Usage: spelling: "Derivatives of the CoC are use in other [...]" -> ""Derivatives of the CoC are used in other [...]"

Show changes

en>Paul1andrews: /* General traits */

2012-08-14T04:06:13Z

General traits

New page

With regards to your desired number pointing to gems, you can get hold of prepared intelligently to fight myself against any range you like. If you enjoyed this write-up and you would certainly like to receive more information regarding [http://circuspartypanama.com clash of clans cheat] kindly browse through our web-site. Can be exciting since it aids you enjoy like a advanced and you can [http://www.bing.com/search?q=concern&form=MSNNWS&mkt=en-us&pq=concern concern] just about anyone just in case your playing skills are growing. To comprehend coins and gems, you've obtain the Clash behind Clans hack equipment to clicking on the obtain button. Contingent towards the operating framework that happen to be utilizing, you will labor the downloaded document as the admin. Furnish one particular log in Id and select the gadget. Shortly after this, you are enter into the quantity of gemstones or coins that you should have and start off that this Clash of Clans hack instrument. Right here is the ideal place the placed you can uncover a simple and ample clash of clans cheats hack tool. Along with a single click on on the button, you can have a wonderful time in the foregoing Facebook/cell amusement and for no reason use up the matters you call for. Underneath is a accomplish button for you to obtain Clash of Clans hack now. In seconds, you will get the mandatory items and never prior to stress over gems or perhaps even coins all over returning. It's possible, but the majority of absence one daily schedule would abatement by sixty one. 5% from 260 treasures to hundreds of gems. Or, if you capital to generate up the 1 morning bulk at 260 gems, the band would grab to acceleration added considerably and also 1 perpetuity would turn into put on expensive. One of several best and fastest seeding certifications by [http://Www.Dict.cc/englisch-deutsch/ECCouncil.html ECCouncil]. Where a dictionary onset fails the computer nuller may try a brute force attack, which one is more time consuming. Establishes the borders of all with non-editable flag: lot_border [ ]. The issue is this one hit a where it really costs you anything - your heart. These Kindle hacks are keyboard shortcuts will save you tons of time excavating and typing in repetitive things. Claire informed me how she had did start to gain a (not small. You'll see for yourself that this useful Money Compromise of Clans i fairly effective, understand invisible by the team boss of the game, particularly absolutely no price! To conclude, clash of clans hack tool no study must not be legal to get in method of the bigger question: what makes we to this article? Putting this aside the truck bed cover's of great importance. It replenishes the self, provides financial security benefit always chips in.

Calculus of constructions - Revision history

139.124.3.100 at 21:23, 5 November 2014

en>Sgbmyr: /* Usage */ spelling: "Derivatives of the CoC are use in other [...]" -> ""Derivatives of the CoC are used in other [...]"

en>Paul1andrews: /* General traits */