⟨a, b | abbaaab=aaba⟩

Format:	Pretty Plain
Word to reduce:
	Tips: Lowercase letters stand for generators. Spaces are ignored. Numbers repeat the previous letter, e.g. `b90`.
Reduction strategy:	Leftmost Rightmost
Path to normal form:	1 1

Reduction order:
- Left-to-right recursive path with deg(b) = deg(d) = 0, b < d; deg(c) = deg(a) = 1, c < a
Auxiliary generators:
1. aab=c
2. abbcb=d
Certificate: derivations of all rewriting rules from the defining relations.
Morphocompletion: how the auxiliary generators were found.

#	Rule	Proof
1.	(cb)² ⇒ ad	[6]
2.	adcb ⇒ cbad	[8]
3.	ab²cb ⇒ d	[3]
4.	dacb ⇒ c²	[15]
5.	a²b ⇒ c	[2]
6.	ab²ad ⇒ dcb	[7]
7.	c³b ⇒ da²d	[18]
8.	dcbacb ⇒ cac	[16]
9.	ca² ⇒ dac	[11]
10.	aca ⇒ cbac	[9]
11.	ab²ac ⇒ ca	[5]
12.	ab²a²d ⇒ cabcb	[10]
13.	cac²b ⇒ dcba²d	[22]
14.	cbacb²cb ⇒ acd	[12]
15.	cacbad ⇒ dacdcb	[20]
16.	cbacb²ad ⇒ acdcb	[21]
17.	ac²bad ⇒ cbacdcb	[19]
18.	c²acb²cb ⇒ da²cd	[26]
19.	c²bacdcb ⇒ dcba(ad)²	[36]
20.	c²acb²ad ⇒ da²cdcb	[34]
21.	cacbac ⇒ dac²a	[17]
22.	cbacb²ac ⇒ ac²a	[13]
23.	cabacb²cb ⇒ ab²a²cd	[25]
24.	ac²abcb ⇒ cbacb²a²d	[23]
25.	ac²bac ⇒ cbac²a	[14]
26.	ab²a²c² ⇒ cabcbacb	[24]
27.	ab²a²cdcb ⇒ cabacb²ad	[32]
28.	da²dacdcb ⇒ cdcba(ad)²	[52]
29.	c²bac²b²cb ⇒ dcba²cd	[27]
30.	c²bac²a ⇒ dcba²dac	[31]
31.	c²bac²b²ad ⇒ dcba²cdcb	[35]
32.	c²acb²ac ⇒ da²c²a	[29]
33.	cabacb²ac ⇒ cab(cba)²	[28]
34.	dcba²dacdcb ⇒ c²b(ada)²d	[47]
35.	da²dac²b²cb ⇒ cdcba²cd	[56]
36.	da²dac²a ⇒ cdcba²dac	[45]
37.	da²dac²b²ad ⇒ cdcba²cdcb	[68]
38.	c²bac²b²ac ⇒ dcba²c²a	[30]
39.	cabcbacbc²b ⇒ ab²a²cda²d	[39]
40.	cab(cba)²bcb ⇒ cabacb²a²d	[54]
41.	cab(cba)²a ⇒ ab²a²cdac	[37]
42.	dcba²dac²b²cb ⇒ c²bada²cd	[49]
43.	dcba²dac²a ⇒ c²b(ada)²c	[46]
44.	dcba²dac²b²ad ⇒ c²bada²cdcb	[51]
45.	ac²abacb²ad ⇒ cbacb²a²cdcb	[33]
46.	da²dac²b²ac ⇒ cdcba²c²a	[67]
47.	c²bac³abcb ⇒ dcba²c²ba²d	[48]
48.	cab(cba)²c²b ⇒ cabacb²ada²d	[41]
49.	cab(cba)³d ⇒ ab²a(acd)²cb	[40]
50.	cabacb²(ada)²d ⇒ cabcba²dacdcb	[61]
51.	dcba²dac²b²ac ⇒ c²bada²c²a	[50]
52.	da²dac³abcb ⇒ cdcba²c²ba²d	[58]
53.	cabcbacbcacb²cb ⇒ ab²(a²cd)²	[42]
54.	cabcbacbcacb²ad ⇒ ab²(a²cd)²cb	[44]
55.	cabc(bac)³ ⇒ ab²a²cdac²a	[38]
56.	cab(cba)²bacb²cb ⇒ cabacb²a²cd	[53]
57.	cab(cba)²bacb²ad ⇒ cabacb²a²cdcb	[63]
58.	cabcba²dac²b²cb ⇒ cabacb²ada²cd	[64]
59.	cabacb²ada²c² ⇒ cabcba²dac²ab	[70]
60.	cabacb²ada²cdcb ⇒ cabcba²dac²b²ad	[66]
61.	cabacb²(ada)²c ⇒ cabcba²dac²a	[57]
62.	dcba²dac³abcb ⇒ c²bada²c²ba²d	[55]
63.	c²bac³abacb²ad ⇒ d(cba²c)²dcb	[59]
64.	cabcbacbcacb²ac ⇒ ab²a²cda²c²a	[43]
65.	cab(cba)²bacb²ac ⇒ cabacb²a²c²a	[62]
66.	cabcba²dac²aba ⇒ cabcba²dac²b²ac	[75]
67.	da²dac³abacb²ad ⇒ cd(cba²c)²dcb	[60]
68.	cabcba²dac²abc²b ⇒ cabacb²ada²cda²d	[71]
69.	cabcba²dac²b²acdcb ⇒ cabacb²(ada)³d	[77]
70.	cabcba²dac²b²acb²cb ⇒ cabcba²dac²abd	[78]
71.	cabcba²dac(cb²a)²d ⇒ cabcba²dac²abdcb	[80]
72.	dcba²dac³abacb²ad ⇒ c²bada²c²ba²cdcb	[69]
73.	cabcba²d(ac²b²)²cb ⇒ cabacb²a(da²)²cd	[84]
74.	cabcba²dac²b²ac²a ⇒ cabacb²(ada)³c	[76]
75.	cabcba²da(c²b²a)²d ⇒ cabacb²a(da²)²cdcb	[87]
76.	cabcba²dac²(b²ac)² ⇒ cabcba²dac²abca	[79]
77.	cabcba²dac(cb²a)²ad ⇒ cabcba²dac²(abc)²b	[81]
78.	cabcba²da(c²b²a)²c ⇒ cabacb²a(da²)²c²a	[85]
79.	cabcba²dac²abcacb²cb ⇒ cabacb²ad(a²cd)²	[72]
80.	cabcba²dac²abcacb²ad ⇒ cabacb²ad(a²cd)²cb	[74]
81.	cabcba²dac²b²ac³abcb ⇒ cabacb²a(da²)²c²ba²d	[82]
82.	cabcba²dac²abcacb²ac ⇒ cabacb²a(da²c)²ca	[73]
83.	cabcba²dac(cb²a)²ac² ⇒ cabcba²dac²(abc)²bacb	[83]
84.	cabcba²dac(cab)²acb²ad ⇒ cabcba²dac(cb²a)²acdcb	[86]
85.	cabcba²dac²b²ac³abacb²ad ⇒ cabacb²a(da²)²c²ba²cdcb	[88]
86.	cabcba²dac(cb²a)²acdcba(ad)² ⇒ cabcba²dac²(abc)²ba²dacdcb	[90]
87.	cabcba²dac(cb²a)²acdcba²c² ⇒ (cabcba²dac²ab)²	[92]
88.	cabcba²dac²b²acb²(a²cdcb)² ⇒ cabcba²dac²(abc)²ba²dac²b²ad	[91]
89.	cabcba²dac(cb²a)²acdcba²dac ⇒ cabcba²dac²(abc)²ba²dac²a	[89]

Up:	Monoids with two generators and one relation
Prev:	#5382 ⟨a, b \| abbaaab=aaab⟩
Next:	#5384 ⟨a, b \| abbaaab=aabb⟩

#5383 ⟨a, b | abbaaab=aaba⟩

Quick links

Properties

Rewriting system