| Back: | ⟨a, b | aaab=b, abba=b⟩ |
|---|
Completion settings:
Axiom: aaab=b.
Defines rule #3.
Referenced by [3], [4], [7], [8], [11], [13].
Axiom: abba=b.
Referenced by [3], [4], [8], [10], [12].
Overlap of [1] aaab=b with [2] abba=b:
Critical pair: aab=bba.
Flip LHS and RHS.
Defines rule #2.
Overlap of [2] abba=b with [1] aaab=b:
Critical pair: abbb=baab.
Flip LHS and RHS.
Overlap of [3] bba=aab with [4] baab=abbb:
Critical pair: babbb=aabab.
Referenced by [6].
Overlap of [5] babbb=aabab with [3] bba=aab:
Critical pair: babaab=aababa.
Reduce LHS:
| [4] | ba(baab) |
| [4] | ⇒ (baab)bb |
| ⇒ abbbbb |
Overlap of [1] aaab=b with [6] abbbbb=aababa:
Critical pair: aaaababa=bbbbb.
Reduce LHS:
| [1] | a(aaab)aba |
| ⇒ ababa |
Flip LHS and RHS.
Defines rule #5.
Referenced by [9].
Overlap of [4] baab=abbb with [6] abbbbb=aababa:
Critical pair: baaababa=abbbbbbb.
Reduce LHS:
| [1] | b(aaab)aba |
| [3] | ⇒ (bba)ba |
| [2] | ⇒ a(abba) |
| ⇒ ab |
Reduce RHS:
| [6] | (abbbbb)bb |
| ⇒ aabababb |
Flip LHS and RHS.
Referenced by [10].
Overlap of [7] bbbbb=ababa with [7] bbbbb=ababa:
Critical pair: bababa=ababab.
Defines rule #6.
Overlap of [8] aabababb=ab with [2] abba=b:
Critical pair: aababb=aba.
Overlap of [1] aaab=b with [10] aababb=aba:
Critical pair: aaba=babb.
Flip LHS and RHS.
Defines rule #4.
Overlap of [10] aababb=aba with [2] abba=b:
Critical pair: aabb=abaa.
Flip LHS and RHS.
Referenced by [13].
Overlap of [1] aaab=b with [12] abaa=aabb:
Critical pair: aaaabb=baa.
Reduce LHS:
| [1] | a(aaab)b |
| ⇒ abb |
Flip LHS and RHS.
Defines rule #1.