| Back: | ⟨a, b | ab=aa, bbbaa=ba⟩ |
|---|
Completion settings:
Axiom: ab=aa.
Defines rule #1.
Referenced by [3].
Axiom: bbbaa=ba.
Referenced by [3], [4], [5], [6].
Overlap of [1] ab=aa with [2] bbbaa=ba:
Critical pair: aba=aabbaa.
Reduce LHS:
| [1] | (ab)a |
| ⇒ aaa |
Reduce RHS:
| [1] | a(ab)baa |
| [1] | ⇒ aa(ab)aa |
| ⇒ aaaaaa |
Flip LHS and RHS.
Defines rule #4.
Referenced by [4].
Overlap of [2] bbbaa=ba with [3] aaaaaa=aaa:
Critical pair: bbbaaa=baaaaa.
Reduce LHS:
| [2] | (bbbaa)a |
| ⇒ baa |
Flip LHS and RHS.
Referenced by [5].
Overlap of [2] bbbaa=ba with [4] baaaaa=baa:
Critical pair: bbbaa=baaaa.
Reduce LHS:
| [2] | (bbbaa) |
| ⇒ ba |
Flip LHS and RHS.
Defines rule #3.
Referenced by [6].
Overlap of [2] bbbaa=ba with [5] baaaa=ba:
Critical pair: bbba=baaa.
Defines rule #2.