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