| Back: | ⟨a, b | ababbaaaab=b⟩ |
|---|
Completion settings:
Axiom: ababbaaaab=b.
Defines rule #5.
Referenced by [2], [3], [4], [5].
Overlap of [1] ababbaaaab=b with [1] ababbaaaab=b:
Critical pair: ababbaaab=babbaaaab.
Defines rule #4.
Referenced by [3].
Overlap of [2] ababbaaab=babbaaaab with [1] ababbaaaab=b:
Critical pair: ababbaab=babbaaaababbaaaab.
Reduce RHS:
| [1] | babbaaa(ababbaaaab) |
| ⇒ babbaaab |
Defines rule #3.
Referenced by [4].
Overlap of [3] ababbaab=babbaaab with [1] ababbaaaab=b:
Critical pair: ababbab=babbaaababbaaaab.
Reduce RHS:
| [1] | babbaa(ababbaaaab) |
| ⇒ babbaab |
Defines rule #2.
Referenced by [5].
Overlap of [4] ababbab=babbaab with [1] ababbaaaab=b:
Critical pair: ababbb=babbaababbaaaab.
Reduce RHS:
| [1] | babba(ababbaaaab) |
| ⇒ babbab |
Defines rule #1.