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