| Back: | ⟨a, b | aab=ab, bbba=b⟩ |
|---|
Completion settings:
Axiom: aab=ab.
Defines rule #2.
Referenced by [3].
Axiom: bbba=b.
Referenced by [3], [4], [5], [6], [7].
Overlap of [2] bbba=b with [1] aab=ab:
Critical pair: bbbab=bab.
Reduce LHS:
| [2] | (bbba)b |
| ⇒ bb |
Flip LHS and RHS.
Overlap of [2] bbba=b with [3] bab=bb:
Critical pair: bbbb=bb.
Referenced by [5].
Overlap of [3] bab=bb with [2] bbba=b:
Critical pair: bab=bbbba.
Reduce LHS:
| [3] | (bab) |
| ⇒ bb |
Reduce RHS:
| [4] | (bbbb)a |
| ⇒ bba |
Flip LHS and RHS.
Referenced by [6].
Overlap of [3] bab=bb with [5] bba=bb:
Critical pair: babb=bbba.
Reduce LHS:
| [3] | (bab)b |
| ⇒ bbb |
Reduce RHS:
| [2] | (bbba) |
| ⇒ b |
Defines rule #3.
Referenced by [7].
Overlap of [2] bbba=b with [6] bbb=b:
Critical pair: ba=b.
Defines rule #1.