#1956 ⟨a, b | aabaabba=ba⟩

Up:Monoids with two generators and one relation
Prev:#1955 ⟨a, b | aabaabba=ab⟩
Next:#1957 ⟨a, b | aabaabba=bb⟩

Properties

Complete 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
  1. b2a ⇒ a2ba2c
  2. b2c ⇒ caba2c
  3. (ba2)2c ⇒ c
  4. (a2b)2c ⇒ c
  5. (a2ba2)2c ⇒ ba
  6. a(aba2c)2 ⇒ bc
  7. caba2bc ⇒ bcaba2c
  8. caba4ba2c ⇒ bc 
# ab:aabaabba=ba ac/b bbba=c frequency:4/1
bba=aabaac
bbc=cabaac
baabaac=c
aabaabc=c
aabaaaabaac=ba
aabaacabaac=bc
cabaabc=bcabaac
cabaaaabaac=bc

Right Cayley graph (truncated)

Left Cayley graph (truncated)