| Back: | ⟨a, b | aaab=b, ababa=b⟩ |
|---|
Completion settings:
Axiom: aaab=b.
Defines rule #6.
Referenced by [3], [4], [6], [8].
Axiom: ababa=b.
Referenced by [3], [4], [5], [6].
Overlap of [1] aaab=b with [2] ababa=b:
Critical pair: aab=baba.
Flip LHS and RHS.
Defines rule #5.
Referenced by [7].
Overlap of [2] ababa=b with [1] aaab=b:
Critical pair: ababb=baab.
Flip LHS and RHS.
Overlap of [2] ababa=b with [2] ababa=b:
Critical pair: abb=bba.
Flip LHS and RHS.
Defines rule #3.
Referenced by [6], [7], [9], [10].
Overlap of [2] ababa=b with [4] baab=ababb:
Critical pair: abaababb=bab.
Reduce LHS:
| [4] | a(baab)abb |
| [5] | ⇒ aaba(bba)bb |
| [4] | ⇒ aa(baab)bbb |
| [1] | ⇒ (aaab)abbbbb |
| ⇒ babbbbb |
Referenced by [7].
Overlap of [6] babbbbb=bab with [5] bba=abb:
Critical pair: babbbabb=baba.
Reduce LHS:
| [5] | bab(bba)bb |
| [3] | ⇒ (baba)bbbb |
| ⇒ aabbbbb |
Reduce RHS:
| [3] | (baba) |
| ⇒ aab |
Referenced by [8].
Overlap of [1] aaab=b with [7] aabbbbb=aab:
Critical pair: aaab=bbbbb.
Reduce LHS:
| [1] | (aaab) |
| ⇒ b |
Flip LHS and RHS.
Defines rule #1.
Referenced by [9].
Overlap of [8] bbbbb=b with [5] bba=abb:
Critical pair: bbbabb=ba.
Reduce LHS:
| [5] | b(bba)bb |
| ⇒ babbbb |
Defines rule #2.
Referenced by [10].
Overlap of [9] babbbb=ba with [5] bba=abb:
Critical pair: babbabb=baa.
Reduce LHS:
| [5] | ba(bba)bb |
| [4] | ⇒ (baab)bbb |
| [9] | ⇒ a(babbbb)b |
| ⇒ abab |
Flip LHS and RHS.
Defines rule #4.