| Back: | ⟨a, b | abbaaab=babb⟩ |
|---|
Completion settings:
Axiom: abbaaab=babb.
Defines rule #4.
Referenced by [4], [5], [6], [8], [9], [12], [14], [16], [17].
Axiom: bbabb=c.
Defines rule #6.
Referenced by [3], [5], [6], [9], [10], [11], [12], [13], [14], [15].
Overlap of [2] bbabb=c with [2] bbabb=c:
Critical pair: bbac=cabb.
Defines rule #2.
Overlap of [1] abbaaab=babb with [1] abbaaab=babb:
Critical pair: abbaababb=babbbaaab.
Flip LHS and RHS.
Defines rule #10.
Referenced by [9], [10], [11].
Overlap of [1] abbaaab=babb with [2] bbabb=c:
Critical pair: abbaaac=babbbabb.
Reduce RHS:
| [2] | bab(bbabb) |
| ⇒ babc |
Referenced by [7].
Overlap of [2] bbabb=c with [1] abbaaab=babb:
Critical pair: bbbabb=caaab.
Reduce LHS:
| [2] | b(bbabb) |
| ⇒ bc |
Defines rule #1.
Referenced by [7].
Simplify [5] abbaaac=babc.
Reduce RHS:
| [6] | ba(bc) |
| ⇒ bacaaab |
Defines rule #3.
Referenced by [8].
Overlap of [1] abbaaab=babb with [7] abbaaac=bacaaab:
Critical pair: abbaabacaaab=babbbaaac.
Flip LHS and RHS.
Defines rule #9.
Overlap of [1] abbaaab=babb with [4] babbbaaab=abbaababb:
Critical pair: abbaaaabbaababb=babbabbbaaab.
Reduce RHS:
| [2] | ba(bbabb)baaab |
| ⇒ bacbaaab |
Defines rule #14.
Overlap of [2] bbabb=c with [4] babbbaaab=abbaababb:
Critical pair: babbaababb=cbaaab.
Defines rule #12.
Overlap of [4] babbbaaab=abbaababb with [4] babbbaaab=abbaababb:
Critical pair: babbbaaaabbaababb=abbaababbabbbaaab.
Reduce RHS:
| [2] | abbaaba(bbabb)baaab |
| ⇒ abbaabacbaaab |
Defines rule #16.
Overlap of [10] babbaababb=cbaaab with [1] abbaaab=babb:
Critical pair: babbaabbabb=cbaaabaaab.
Reduce LHS:
| [2] | babbaa(bbabb) |
| ⇒ babbaac |
Defines rule #5.
Overlap of [10] babbaababb=cbaaab with [2] bbabb=c:
Critical pair: babbaabac=cbaaababb.
Defines rule #7.
Overlap of [9] abbaaaabbaababb=bacbaaab with [1] abbaaab=babb:
Critical pair: abbaaaabbaabbabb=bacbaaabaaab.
Reduce LHS:
| [2] | abbaaaabbaa(bbabb) |
| ⇒ abbaaaabbaac |
Defines rule #8.
Referenced by [16].
Overlap of [9] abbaaaabbaababb=bacbaaab with [2] bbabb=c:
Critical pair: abbaaaabbaabac=bacbaaababb.
Defines rule #11.
Referenced by [17].
Overlap of [1] abbaaab=babb with [14] abbaaaabbaac=bacbaaabaaab:
Critical pair: abbaabacbaaabaaab=babbbaaaabbaac.
Flip LHS and RHS.
Defines rule #13.
Overlap of [1] abbaaab=babb with [15] abbaaaabbaabac=bacbaaababb:
Critical pair: abbaabacbaaababb=babbbaaaabbaabac.
Flip LHS and RHS.
Defines rule #15.