| Back: | ⟨a, b | aba=aa, aaab=ba⟩ |
|---|
Completion settings:
Axiom: aba=aa.
Referenced by [3], [4], [5], [6], [7].
Axiom: aaab=ba.
Referenced by [3], [5], [6], [7].
Overlap of [2] aaab=ba with [1] aba=aa:
Critical pair: aaaa=baa.
Flip LHS and RHS.
Overlap of [1] aba=aa with [3] baa=aaaa:
Critical pair: aaaaa=aaa.
Referenced by [5].
Overlap of [3] baa=aaaa with [2] aaab=ba:
Critical pair: baba=aaaaaab.
Reduce LHS:
| [1] | b(aba) |
| [3] | ⇒ (baa) |
| ⇒ aaaa |
Reduce RHS:
| [4] | (aaaaa)ab |
| [2] | ⇒ a(aaab) |
| [1] | ⇒ (aba) |
| ⇒ aa |
Defines rule #1.
Referenced by [6].
Overlap of [5] aaaa=aa with [2] aaab=ba:
Critical pair: aba=aab.
Reduce LHS:
| [1] | (aba) |
| ⇒ aa |
Flip LHS and RHS.
Defines rule #3.
Referenced by [7].
Overlap of [1] aba=aa with [6] aab=aa:
Critical pair: abaa=aaab.
Reduce LHS:
| [1] | (aba)a |
| ⇒ aaa |
Reduce RHS:
| [2] | (aaab) |
| ⇒ ba |
Flip LHS and RHS.
Defines rule #2.