#2047 ⟨a, b | abaabbba=ba⟩

Up:Monoids with two generators and one relation
Prev:#2046 ⟨a, b | abaabbba=ab⟩
Next:#2048 ⟨a, b | abaabbba=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 ⇒ aba2c
  2. b2c ⇒ cba2c
  3. aba2bc ⇒ baba2c
  4. a(ba2c)2 ⇒ c
  5. cba2bc ⇒ bcba2c
  6. (aba)2ba2c ⇒ ba
  7. cba(ab)2a2c ⇒ bc 
# ab:abaabbba=ba ac/b bbbba=c frequency:5/1
bba=abaac
bbc=cbaac
abaabc=babaac
abaacbaac=c
cbaabc=bcbaac
abaababaac=ba
cbaababaac=bc

Right Cayley graph (truncated)

Left Cayley graph (truncated)