| Back: | ⟨a, b | aaa=1, ababbbbb=1⟩ |
|---|
Completion settings:
Axiom: aaa=1.
Axiom: ababbbbb=1.
Referenced by [3], [6], [7], [8], [9], [18], [20], [22].
Overlap of [1] aaa=1 with [2] ababbbbb=1:
Critical pair: aa=babbbbb.
Defines rule #3.
Referenced by [4], [10], [11], [13], [14], [15].
Overlap of [1] aaa=1 with [3] aa=babbbbb:
Critical pair: babbbbba=1.
Referenced by [5], [10], [12].
Overlap of [4] babbbbba=1 with [4] babbbbba=1:
Critical pair: babbbb=bbbbba.
Flip LHS and RHS.
Referenced by [6], [7], [8], [9].
Overlap of [2] ababbbbb=1 with [5] bbbbba=babbbb:
Critical pair: abababbbb=a.
Referenced by [10].
Overlap of [2] ababbbbb=1 with [5] bbbbba=babbbb:
Critical pair: ababbabbbb=ba.
Referenced by [12].
Overlap of [2] ababbbbb=1 with [5] bbbbba=babbbb:
Critical pair: ababbbbabbbb=bbba.
Referenced by [13].
Overlap of [2] ababbbbb=1 with [5] bbbbba=babbbb:
Critical pair: ababbbbbabbbb=bbbba.
Reduce LHS:
| [2] | (ababbbbb)abbbb |
| ⇒ abbbb |
Flip LHS and RHS.
Defines rule #2.
Referenced by [11], [13], [14], [15], [18].
Overlap of [1] aaa=1 with [6] abababbbb=a:
Critical pair: aaa=bababbbb.
Reduce LHS:
| [3] | (aa)a |
| [4] | ⇒ (babbbbba) |
| ⇒ 1 |
Flip LHS and RHS.
Referenced by [11].
Overlap of [10] bababbbb=1 with [9] bbbba=abbbb:
Critical pair: babaabbbb=a.
Reduce LHS:
| [3] | bab(aa)bbbb |
| ⇒ babbabbbbbbbbb |
Referenced by [14], [18], [19].
Overlap of [7] ababbabbbb=ba with [4] babbbbba=1:
Critical pair: abab=baba.
Flip LHS and RHS.
Referenced by [18].
Overlap of [8] ababbbbabbbb=bbba with [9] bbbba=abbbb:
Critical pair: abaabbbbbbbb=bbba.
Reduce LHS:
| [3] | ab(aa)bbbbbbbb |
| ⇒ abbabbbbbbbbbbbbb |
Overlap of [11] babbabbbbbbbbb=a with [9] bbbba=abbbb:
Critical pair: babbabbbbbbbbabbbb=abbba.
Reduce LHS:
| [9] | babbabbbb(bbbba)bbbb |
| [9] | ⇒ babba(bbbba)bbbbbbbb |
| [3] | ⇒ babb(aa)bbbbbbbbbbbb |
| ⇒ babbbabbbbbbbbbbbbbbbbb |
Overlap of [13] abbabbbbbbbbbbbbb=bbba with [9] bbbba=abbbb:
Critical pair: abbabbbbbbbbbbbbabbbb=bbbabbba.
Reduce LHS:
| [9] | abbabbbbbbbb(bbbba)bbbb |
| [9] | ⇒ abbabbbb(bbbba)bbbbbbbb |
| [9] | ⇒ abba(bbbba)bbbbbbbbbbbb |
| [3] | ⇒ abb(aa)bbbbbbbbbbbbbbbb |
| ⇒ abbbabbbbbbbbbbbbbbbbbbbbb |
Flip LHS and RHS.
Referenced by [16].
Overlap of [15] bbbabbba=abbbabbbbbbbbbbbbbbbbbbbbb with [14] babbbabbbbbbbbbbbbbbbbb=abbba:
Critical pair: bbabbba=abbbabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb.
Referenced by [17].
Overlap of [16] bbabbba=abbbabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb with [14] babbbabbbbbbbbbbbbbbbbb=abbba:
Critical pair: babbba=abbbabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb.
Defines rule #6.
Referenced by [18].
Overlap of [17] babbba=abbbabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb with [11] babbabbbbbbbbb=a:
Critical pair: babba=abbbabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabbbbbbbbb.
Reduce RHS:
| [9] | abbbabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb(bbbba)bbbbbbbbb |
| [9] | ⇒ abbbabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb(bbbba)bbbbbbbbbbbbb |
| [9] | ⇒ abbbabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb(bbbba)bbbbbbbbbbbbbbbbb |
| [9] | ⇒ abbbabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb(bbbba)bbbbbbbbbbbbbbbbbbbbb |
| [9] | ⇒ abbbabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb(bbbba)bbbbbbbbbbbbbbbbbbbbbbbbb |
| [9] | ⇒ abbbabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb(bbbba)bbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| [9] | ⇒ abbbabbbbbbbbbbbbbbbbbbbbbbbbbbbbb(bbbba)bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| [9] | ⇒ abbbabbbbbbbbbbbbbbbbbbbbbbbbb(bbbba)bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| [9] | ⇒ abbbabbbbbbbbbbbbbbbbbbbbb(bbbba)bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| [9] | ⇒ abbbabbbbbbbbbbbbbbbbb(bbbba)bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| [9] | ⇒ abbbabbbbbbbbbbbbb(bbbba)bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| [9] | ⇒ abbbabbbbbbbbb(bbbba)bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| [9] | ⇒ abbbabbbbb(bbbba)bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| [9] | ⇒ abbbab(bbbba)bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| [12] | ⇒ abb(baba)bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| [12] | ⇒ ab(baba)bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| [12] | ⇒ a(baba)bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| [2] | ⇒ a(ababbbbb)bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| ⇒ abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
Referenced by [19].
Overlap of [11] babbabbbbbbbbb=a with [18] babba=abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb:
Critical pair: abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb=a.
Overlap of [2] ababbbbb=1 with [19] abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb=a:
Critical pair: aba=bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb.
Defines rule #4.
Referenced by [22].
Overlap of [13] abbabbbbbbbbbbbbb=bbba with [19] abbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb=a:
Critical pair: abba=bbbabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb.
Defines rule #5.
Overlap of [2] ababbbbb=1 with [20] aba=bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb:
Critical pair: bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb=1.
Defines rule #1.