| Back: | ⟨a, b | aa=a, babbbbb=a⟩ |
|---|
Completion settings:
Axiom: aa=a.
Defines rule #3.
Referenced by [3], [4], [5], [11].
Axiom: babbbbb=a.
Referenced by [3], [4], [6], [7], [8], [9], [10], [11], [16], [17], [18], [19].
Overlap of [2] babbbbb=a with [2] babbbbb=a:
Critical pair: babbbba=aabbbbb.
Reduce RHS:
| [1] | (aa)bbbbb |
| ⇒ abbbbb |
Referenced by [4], [5], [6], [7].
Overlap of [2] babbbbb=a with [3] babbbba=abbbbb:
Critical pair: babbbbabbbbb=aabbbba.
Reduce LHS:
| [3] | (babbbba)bbbbb |
| ⇒ abbbbbbbbbb |
Reduce RHS:
| [1] | (aa)bbbba |
| ⇒ abbbba |
Flip LHS and RHS.
Referenced by [15].
Overlap of [3] babbbba=abbbbb with [1] aa=a:
Critical pair: babbbba=abbbbba.
Reduce LHS:
| [3] | (babbbba) |
| ⇒ abbbbb |
Flip LHS and RHS.
Referenced by [7].
Overlap of [3] babbbba=abbbbb with [3] babbbba=abbbbb:
Critical pair: babbbabbbbb=abbbbbbbbba.
Reduce LHS:
| [2] | babb(babbbbb) |
| ⇒ babba |
Referenced by [12].
Overlap of [5] abbbbba=abbbbb with [3] babbbba=abbbbb:
Critical pair: abbbbabbbbb=abbbbbbbbba.
Reduce LHS:
| [2] | abbb(babbbbb) |
| ⇒ abbba |
Flip LHS and RHS.
Overlap of [7] abbbbbbbbba=abbba with [2] babbbbb=a:
Critical pair: abbbbbbbba=abbbabbbbb.
Reduce RHS:
| [2] | abb(babbbbb) |
| ⇒ abba |
Referenced by [9].
Overlap of [8] abbbbbbbba=abba with [2] babbbbb=a:
Critical pair: abbbbbbba=abbabbbbb.
Reduce RHS:
| [2] | ab(babbbbb) |
| ⇒ aba |
Referenced by [10].
Overlap of [2] babbbbb=a with [9] abbbbbbba=aba:
Critical pair: baba=abba.
Overlap of [10] baba=abba with [2] babbbbb=a:
Critical pair: baa=abbabbbbb.
Reduce LHS:
| [1] | b(aa) |
| ⇒ ba |
Reduce RHS:
| [2] | ab(babbbbb) |
| ⇒ aba |
Flip LHS and RHS.
Simplify [6] babba=abbbbbbbbba.
Reduce RHS:
| [7] | (abbbbbbbbba) |
| ⇒ abbba |
Referenced by [15].
Overlap of [10] baba=abba with [11] aba=ba:
Critical pair: bba=abba.
Flip LHS and RHS.
Overlap of [13] abba=bba with [11] aba=ba:
Critical pair: abbba=bbaba.
Reduce RHS:
| [11] | bb(aba) |
| ⇒ bbba |
Referenced by [15].
Overlap of [13] abba=bba with [13] abba=bba:
Critical pair: abbbba=bbabba.
Reduce LHS:
| [4] | (abbbba) |
| ⇒ abbbbbbbbbb |
Reduce RHS:
| [12] | b(babba) |
| [14] | ⇒ b(abbba) |
| ⇒ bbbba |
Flip LHS and RHS.
Referenced by [16].
Overlap of [15] bbbba=abbbbbbbbbb with [2] babbbbb=a:
Critical pair: bbba=abbbbbbbbbbbbbbb.
Referenced by [17].
Overlap of [16] bbba=abbbbbbbbbbbbbbb with [2] babbbbb=a:
Critical pair: bba=abbbbbbbbbbbbbbbbbbbb.
Referenced by [18].
Overlap of [17] bba=abbbbbbbbbbbbbbbbbbbb with [2] babbbbb=a:
Critical pair: ba=abbbbbbbbbbbbbbbbbbbbbbbbb.
Defines rule #2.
Referenced by [19].
Overlap of [2] babbbbb=a with [18] ba=abbbbbbbbbbbbbbbbbbbbbbbbb:
Critical pair: abbbbbbbbbbbbbbbbbbbbbbbbbbbbbb=a.
Defines rule #1.