| Back: | ⟨a, b | aba=ab, aaabb=b⟩ |
|---|
Completion settings:
Axiom: aba=ab.
Referenced by [3].
Axiom: aaabb=b.
Referenced by [4], [5], [6], [7].
Overlap of [1] aba=ab with [1] aba=ab:
Critical pair: abab=abba.
Reduce LHS:
| [1] | (aba)b |
| ⇒ abb |
Flip LHS and RHS.
Referenced by [4].
Overlap of [2] aaabb=b with [3] abba=abb:
Critical pair: aaabb=ba.
Reduce LHS:
| [2] | (aaabb) |
| ⇒ b |
Flip LHS and RHS.
Defines rule #1.
Referenced by [5].
Overlap of [4] ba=b with [2] aaabb=b:
Critical pair: bb=baabb.
Reduce RHS:
| [4] | (ba)abb |
| [4] | ⇒ (ba)bb |
| ⇒ bbb |
Flip LHS and RHS.
Referenced by [6].
Overlap of [2] aaabb=b with [5] bbb=bb:
Critical pair: aaabb=bb.
Reduce LHS:
| [2] | (aaabb) |
| ⇒ b |
Flip LHS and RHS.
Defines rule #2.
Referenced by [7].
Overlap of [2] aaabb=b with [6] bb=b:
Critical pair: aaab=b.
Defines rule #3.