| Back: | ⟨a, b | aab=ab, bbbab=a⟩ |
|---|
Completion settings:
Axiom: aab=ab.
Axiom: bbbab=a.
Referenced by [3], [4], [5], [6], [8], [10], [11], [12].
Overlap of [1] aab=ab with [2] bbbab=a:
Critical pair: aaa=abbbab.
Reduce RHS:
| [2] | a(bbbab) |
| ⇒ aa |
Referenced by [7].
Overlap of [2] bbbab=a with [2] bbbab=a:
Critical pair: bbbaa=abbab.
Flip LHS and RHS.
Overlap of [4] abbab=bbbaa with [4] abbab=bbbaa:
Critical pair: abbbbbaa=bbbaabab.
Reduce RHS:
| [1] | bbb(aab)ab |
| [2] | ⇒ (bbbab)ab |
| [1] | ⇒ (aab) |
| ⇒ ab |
Overlap of [5] abbbbbaa=ab with [1] aab=ab:
Critical pair: abbbbbab=abb.
Reduce LHS:
| [2] | abb(bbbab) |
| ⇒ abba |
Referenced by [9].
Overlap of [5] abbbbbaa=ab with [3] aaa=aa:
Critical pair: abbbbbaa=aba.
Reduce LHS:
| [5] | (abbbbbaa) |
| ⇒ ab |
Flip LHS and RHS.
Overlap of [2] bbbab=a with [7] aba=ab:
Critical pair: bbbab=aa.
Reduce LHS:
| [2] | (bbbab) |
| ⇒ a |
Flip LHS and RHS.
Defines rule #3.
Referenced by [9].
Overlap of [4] abbab=bbbaa with [7] aba=ab:
Critical pair: abbab=bbbaaa.
Reduce LHS:
| [6] | (abba)b |
| ⇒ abbb |
Reduce RHS:
| [8] | bbb(aa)a |
| [8] | ⇒ bbb(aa) |
| ⇒ bbba |
Referenced by [10].
Overlap of [2] bbbab=a with [9] abbb=bbba:
Critical pair: bbbbbba=abb.
Flip LHS and RHS.
Referenced by [11].
Overlap of [2] bbbab=a with [10] abb=bbbbbba:
Critical pair: bbbbbbbbba=ab.
Flip LHS and RHS.
Defines rule #2.
Referenced by [12].
Overlap of [2] bbbab=a with [11] ab=bbbbbbbbba:
Critical pair: bbbbbbbbbbbba=a.
Defines rule #1.