#13055 ⟨a, b | baa=aab, abba=b⟩

Up:Monoids with two generators and two relations
Prev:#13054 ⟨a, b | baa=aab, abba=a⟩
Next:#13056 ⟨a, b | baa=aab, abbb=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. ba2 ⇒ a2b [1]
2. ab2a ⇒ b [2]
3. (ba)2 ⇒ (ab)2 [6]
4. b3a ⇒ ab3 [3]
5. a3b2 ⇒ ba [4]
6. a2bab2 ⇒ b2a [5]
# ab:baa=aab,abba=b ab
baa=aab
abba=b
baba=abab
bbba=abbb
aaabb=ba
aababb=bba