| Back: | ⟨a, b | ab=aa, bbbbbb=b⟩ |
|---|
Completion settings:
Axiom: ab=aa.
Defines rule #1.
Referenced by [3].
Axiom: bbbbbb=b.
Defines rule #2.
Referenced by [3].
Overlap of [1] ab=aa with [2] bbbbbb=b:
Critical pair: ab=aabbbbb.
Reduce LHS:
| [1] | (ab) |
| ⇒ aa |
Reduce RHS:
| [1] | a(ab)bbbb |
| [1] | ⇒ aa(ab)bbb |
| [1] | ⇒ aaa(ab)bb |
| [1] | ⇒ aaaa(ab)b |
| [1] | ⇒ aaaaa(ab) |
| ⇒ aaaaaaa |
Flip LHS and RHS.
Defines rule #3.