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