⟨a, b | aababa=babba⟩

Up:

Monoids with two generators and one relation

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

Auxiliary generators:
1. c = babba
Reduction order:
- Right-to-left recursive path with deg(b) = deg(c) = 0, b < c; deg(a) = 1
Certificate: derivations of all rewriting rules from the defining relations.

#	Rule	Proof
1.	babc ⇒ cb²a	[4]
2.	bab²a ⇒ c	[2]
3.	cabac ⇒ bab²cb²a	[8]
4.	(bab²)²c ⇒ cacb²a	[9]
5.	a²cbc ⇒ bab²cb²a	[12]
6.	bab²cacbc ⇒ ca(cb²)²a	[16]
7.	a²cb²c ⇒ cacb²a	[11]
8.	bab²cacb²c ⇒ cacb³ab²c	[15]
9.	ca(ba)² ⇒ bab²c	[7]
10.	a²cb²a ⇒ bab²c	[10]
11.	bab²cacb²a ⇒ cacb²c	[14]
12.	a²bac ⇒ cb²a	[6]
13.	a²cb³ab²c ⇒ cacb²c	[17]
14.	bab²cacb³ab²c ⇒ (cacb²)²a	[18]
15.	a²(ba)² ⇒ c	[3]

# ab:aababa=babba reversed:bc/a babba=c magic:0 babc=cbba babba=c cabac=babbcbba babbbabbc=cacbba aacbc=babbcbba babbcacbc=cacbbcbba aacbbc=cacbba babbcacbbc=cacbbbabbc cababa=babbc aacbba=babbc babbcacbba=cacbbc aabac=cbba aacbbbabbc=cacbbc babbcacbbbabbc=cacbbcacbba aababa=c

Up:	Monoids with two generators and one relation
Prev:	#5698 ⟨a, b \| aababa=babab⟩
Next:	#5700 ⟨a, b \| aababa=babbb⟩

#5699 ⟨a, b | aababa=babba⟩

Quick links

Properties

Rewriting system