#4675 ⟨a, b | aababbba=baa⟩

Up:Monoids with two generators and one relation
Prev:#4674 ⟨a, b | aababbba=abb⟩
Next:#4676 ⟨a, b | aababbba=bab⟩

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. a2ea2(ea)3 ⇒ ea2 [22]
2. a2ea(ae)3e ⇒ eae [23]
3. a2ed ⇒ e [13]
4. a2ea(ae)3d ⇒ ead [26]
5. de ⇒ a(ae)4d [21]
6. da2 ⇒ a2(ea)3 [17]
7. dae ⇒ a(ae)3e [19]
8. dad ⇒ a(ae)3d [25]
9. a2ea(ae)3c ⇒ eac [24]
10. dac ⇒ a(ae)3c [20]
11. ce ⇒ a(ae)2d [18]
12. ca2 ⇒ a2ea [15]
13. cae ⇒ a2e2 [16]
14. cd ⇒ dc [6]
15. cad ⇒ e [4]
16. cac ⇒ a2ec [9]
17. c3 ⇒ d [3]
18. be ⇒ a3e2d [14]
19. ba2 ⇒ aca [5]
20. bae ⇒ a3eaed [27]
21. bad ⇒ adc [10]
22. bac ⇒ ac2 [8]
23. abab3 ⇒ c [2]
# ab:aababbba=baa reversed:ae/d/c/b ababbb=c,ccc=d,cad=e morph:6/1,3/0,3/0
aaeaaeaeaea=eaa
aaeaaeaeaee=eae
aaed=e
aaeaaeaeaed=ead
de=aaeaeaeaed
daa=aaeaeaea
dae=aaeaeaee
dad=aaeaeaed
aaeaaeaeaec=eac
dac=aaeaeaec
ce=aaeaed
caa=aaea
cae=aaee
cd=dc
cad=e
cac=aaec
ccc=d
be=aaaeed
baa=aca
bae=aaaeaed
bad=adc
bac=acc
ababbb=c