| Back: | ⟨a, b | abbbaaaaab=b⟩ |
|---|
Completion settings:
Axiom: abbbaaaaab=b.
Defines rule #6.
Referenced by [2], [3], [4], [5], [6].
Overlap of [1] abbbaaaaab=b with [1] abbbaaaaab=b:
Critical pair: abbbaaaab=bbbaaaaab.
Defines rule #5.
Referenced by [3].
Overlap of [2] abbbaaaab=bbbaaaaab with [1] abbbaaaaab=b:
Critical pair: abbbaaab=bbbaaaaabbbaaaaab.
Reduce RHS:
| [1] | bbbaaaa(abbbaaaaab) |
| ⇒ bbbaaaab |
Defines rule #4.
Referenced by [4].
Overlap of [3] abbbaaab=bbbaaaab with [1] abbbaaaaab=b:
Critical pair: abbbaab=bbbaaaabbbaaaaab.
Reduce RHS:
| [1] | bbbaaa(abbbaaaaab) |
| ⇒ bbbaaab |
Defines rule #3.
Referenced by [5].
Overlap of [4] abbbaab=bbbaaab with [1] abbbaaaaab=b:
Critical pair: abbbab=bbbaaabbbaaaaab.
Reduce RHS:
| [1] | bbbaa(abbbaaaaab) |
| ⇒ bbbaab |
Defines rule #2.
Referenced by [6].
Overlap of [5] abbbab=bbbaab with [1] abbbaaaaab=b:
Critical pair: abbbb=bbbaabbbaaaaab.
Reduce RHS:
| [1] | bbba(abbbaaaaab) |
| ⇒ bbbab |
Defines rule #1.