| Back: | ⟨a, b | abbaaaab=b⟩ |
|---|
Completion settings:
Axiom: abbaaaab=b.
Defines rule #5.
Referenced by [2], [3], [4], [5].
Overlap of [1] abbaaaab=b with [1] abbaaaab=b:
Critical pair: abbaaab=bbaaaab.
Defines rule #4.
Referenced by [3].
Overlap of [2] abbaaab=bbaaaab with [1] abbaaaab=b:
Critical pair: abbaab=bbaaaabbaaaab.
Reduce RHS:
| [1] | bbaaa(abbaaaab) |
| ⇒ bbaaab |
Defines rule #3.
Referenced by [4].
Overlap of [3] abbaab=bbaaab with [1] abbaaaab=b:
Critical pair: abbab=bbaaabbaaaab.
Reduce RHS:
| [1] | bbaa(abbaaaab) |
| ⇒ bbaab |
Defines rule #2.
Referenced by [5].
Overlap of [4] abbab=bbaab with [1] abbaaaab=b:
Critical pair: abbb=bbaabbaaaab.
Reduce RHS:
| [1] | bba(abbaaaab) |
| ⇒ bbab |
Defines rule #1.