#5404 ⟨a, b | abbabba=baab⟩

Up:Monoids with two generators and one relation
Prev:#5403 ⟨a, b | abbabba=abbb⟩
Next:#5405 ⟨a, b | abbabba=babb⟩

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. cab ⇒ bac2 [4]
2. ac2ba ⇒ ba2c [5]
3. c3ba ⇒ bcac [7]
4. ac2a2b ⇒ ba3c2 [6]
5. c3a2b ⇒ bca2c2 [8]
6. b2a ⇒ c [2]
7. ba2b ⇒ ac2 [3]
# ab:abbabba=baab ac/b bba=c morph:3/0
cab=bacc
accba=baac
cccba=bcac
accaab=baaacc
cccaab=bcaacc
bba=c
baab=acc