| Back: | ⟨a, b | aaa=1, babbb=bba⟩ |
|---|
Completion settings:
Axiom: aaa=1.
Defines rule #3.
Referenced by [3].
Axiom: babbb=bba.
Flip LHS and RHS.
Defines rule #2.
Overlap of [2] bba=babbb with [1] aaa=1:
Critical pair: bb=babbbaa.
Reduce RHS:
| [2] | bab(bba)a |
| [2] | ⇒ ba(bba)bbba |
| [2] | ⇒ bababbbb(bba) |
| [2] | ⇒ bababbb(bba)bbb |
| [2] | ⇒ bababb(bba)bbbbbb |
| [2] | ⇒ babab(bba)bbbbbbbbb |
| [2] | ⇒ baba(bba)bbbbbbbbbbbb |
| ⇒ babababbbbbbbbbbbbbbb |
Flip LHS and RHS.
Referenced by [4], [5], [6], [7].
Overlap of [2] bba=babbb with [3] babababbbbbbbbbbbbbbb=bb:
Critical pair: bbb=babbbbababbbbbbbbbbbbbbb.
Reduce RHS:
| [2] | babb(bba)babbbbbbbbbbbbbbb |
| [2] | ⇒ bab(bba)bbbbabbbbbbbbbbbbbbb |
| [2] | ⇒ ba(bba)bbbbbbbabbbbbbbbbbbbbbb |
| [2] | ⇒ bababbbbbbbb(bba)bbbbbbbbbbbbbbb |
| [2] | ⇒ bababbbbbbb(bba)bbbbbbbbbbbbbbbbbb |
| [2] | ⇒ bababbbbbb(bba)bbbbbbbbbbbbbbbbbbbbb |
| [2] | ⇒ bababbbbb(bba)bbbbbbbbbbbbbbbbbbbbbbbb |
| [2] | ⇒ bababbbb(bba)bbbbbbbbbbbbbbbbbbbbbbbbbbb |
| [2] | ⇒ bababbb(bba)bbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| [2] | ⇒ bababb(bba)bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| [2] | ⇒ babab(bba)bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| [2] | ⇒ baba(bba)bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
| [3] | ⇒ (babababbbbbbbbbbbbbbb)bbbbbbbbbbbbbbbbbbbbbbbbbbb |
| ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbb |
Flip LHS and RHS.
Referenced by [5].
Overlap of [3] babababbbbbbbbbbbbbbb=bb with [4] bbbbbbbbbbbbbbbbbbbbbbbbbbbbb=bbb:
Critical pair: babababbb=bbbbbbbbbbbbbbbb.
Referenced by [6].
Overlap of [3] babababbbbbbbbbbbbbbb=bb with [5] babababbb=bbbbbbbbbbbbbbbb:
Critical pair: bbbbbbbbbbbbbbbbbbbbbbbbbbbb=bb.
Defines rule #1.
Referenced by [7].
Overlap of [3] babababbbbbbbbbbbbbbb=bb with [6] bbbbbbbbbbbbbbbbbbbbbbbbbbbb=bb:
Critical pair: babababb=bbbbbbbbbbbbbbb.
Defines rule #4.