#4008 ⟨a, b | aaababbba=ba⟩

Up:Monoids with two generators and one relation
Prev:#4007 ⟨a, b | aaababbba=ab⟩
Next:#4009 ⟨a, b | aaababbba=bb⟩

Quick links

  1. Properties
  2. Rewriting system

Properties

Rewriting system

Format:
Word to reduce:
Tips:
  • Lowercase letters stand for generators.
  • Spaces are ignored.
  • Numbers repeat the previous letter, e.g. b90.
Reduction strategy:
Path to normal form: 1 
1
#RuleProof
1. b2a ⇒ a3bac [3]
2. b2c ⇒ ca2bac [15]
3. a3babc ⇒ ba3bac [5]
4. a(a2bac)2 ⇒ c [14]
5. ca(ab)2c ⇒ bca2bac [17]
6. a3baba3bac ⇒ ba [13]
7. ca(ab)2a3bac ⇒ bc [4]
# ab:aaababbba=ba ac/b bbbba=c morph:5/2
bba=aaabac
bbc=caabac
aaababc=baaabac
aaabacaabac=c
caababc=bcaabac
aaababaaabac=ba
caababaaabac=bc