#3818 ⟨a, b | abbabbaaab=b⟩

Up:Monoids with two generators and one relation
Prev:#3817 ⟨a, b | abbabbaaab=a⟩
Next:#3819 ⟨a, b | abbabbabba=a⟩

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. ac3 ⇒ c2ac [10]
2. ac2ac ⇒ c2a2c [7]
3. ac2a2c ⇒ c [5]
4. ac2b ⇒ c2ab [9]
5. ac2ab ⇒ c2a2b [6]
6. ac2a2b ⇒ b [3]
7. bc ⇒ c3a2ba [8]
8. b2a ⇒ c [2]
9. b3 ⇒ c3a2b [4]
# ab:abbabbaaab=b reversed:ac/b bba=c morph:3/0
accc=ccac
accac=ccaac
accaac=c
accb=ccab
accab=ccaab
accaab=b
bc=cccaaba
bba=c
bbb=cccaab