#4472 ⟨a, b | aaaabbba=aab⟩

Up:Monoids with two generators and one relation
Prev:#4471 ⟨a, b | aaaabbba=aaa⟩
Next:#4473 ⟨a, b | aaaabbba=aba⟩

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. a2b ⇒ c [2]
2. cacb2a ⇒ cab [6]
3. c(ab)2 ⇒ cacb2c [7]
4. a2cb2c ⇒ cab [5]
5. cabacb2c ⇒ cacb2cab [9]
6. a2cb2a ⇒ c [4]
7. cabacb2a ⇒ cacb2c [8]
# ab:aaaabbba=aab c/ba aab=c magic:0
aab=c
cacbba=cab
cabab=cacbbc
aacbbc=cab
cabacbbc=cacbbcab
aacbba=c
cabacbba=cacbbc