| Back: | ⟨a, b | aa=1, abbabab=bb⟩ |
|---|
Completion settings:
Axiom: aa=1.
Defines rule #4.
Axiom: abbabab=bb.
Referenced by [3], [4], [5], [6], [12].
Overlap of [1] aa=1 with [2] abbabab=bb:
Critical pair: abb=bbabab.
Flip LHS and RHS.
Defines rule #8.
Referenced by [4], [5], [7], [12].
Overlap of [2] abbabab=bb with [2] abbabab=bb:
Critical pair: abbabbb=bbbabab.
Reduce RHS:
| [3] | b(bbabab) |
| ⇒ babb |
Overlap of [3] bbabab=abb with [2] abbabab=bb:
Critical pair: bbabbb=abbbabab.
Reduce RHS:
| [3] | ab(bbabab) |
| ⇒ ababb |
Flip LHS and RHS.
Defines rule #5.
Overlap of [2] abbabab=bb with [5] ababb=bbabbb:
Critical pair: abbbbabbb=bbb.
Referenced by [8].
Overlap of [3] bbabab=abb with [5] ababb=bbabbb:
Critical pair: bbbbabbb=abbb.
Referenced by [8], [11], [13].
Overlap of [7] bbbbabbb=abbb with [7] bbbbabbb=abbb:
Critical pair: bbbbaabbb=abbbbabbb.
Reduce LHS:
| [1] | bbbb(aa)bbb |
| ⇒ bbbbbbb |
Reduce RHS:
| [6] | (abbbbabbb) |
| ⇒ bbb |
Defines rule #1.
Referenced by [9].
Overlap of [4] abbabbb=babb with [8] bbbbbbb=bbb:
Critical pair: abbabbb=babbbbbb.
Reduce LHS:
| [4] | (abbabbb) |
| ⇒ babb |
Flip LHS and RHS.
Defines rule #2.
Overlap of [4] abbabbb=babb with [9] babbbbbb=babb:
Critical pair: abbabb=babbbbb.
Defines rule #6.
Referenced by [12].
Overlap of [7] bbbbabbb=abbb with [9] babbbbbb=babb:
Critical pair: bbbbabb=abbbbbb.
Defines rule #3.
Overlap of [10] abbabb=babbbbb with [2] abbabab=bb:
Critical pair: abbbb=babbbbbabab.
Reduce RHS:
| [3] | babbb(bbabab) |
| ⇒ babbbabb |
Flip LHS and RHS.
Referenced by [13].
Overlap of [7] bbbbabbb=abbb with [12] babbbabb=abbbb:
Critical pair: bbbabbbb=abbbabb.
Flip LHS and RHS.
Defines rule #7.