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