| Back: | ⟨a, b | aba=aab, bbab=b⟩ |
|---|
Completion settings:
Axiom: aba=aab.
Flip LHS and RHS.
Defines rule #2.
Referenced by [3].
Axiom: bbab=b.
Referenced by [3], [4], [5], [6].
Overlap of [1] aab=aba with [2] bbab=b:
Critical pair: aab=ababab.
Reduce LHS:
| [1] | (aab) |
| ⇒ aba |
Flip LHS and RHS.
Referenced by [4].
Overlap of [2] bbab=b with [3] ababab=aba:
Critical pair: bbaba=babab.
Reduce LHS:
| [2] | (bbab)a |
| ⇒ ba |
Flip LHS and RHS.
Referenced by [5].
Overlap of [2] bbab=b with [4] babab=ba:
Critical pair: bba=bab.
Flip LHS and RHS.
Defines rule #1.
Referenced by [6].
Overlap of [2] bbab=b with [5] bab=bba:
Critical pair: bbba=b.
Defines rule #3.