| Back: | ⟨a, b | aaaaabaa=a⟩ |
|---|
Completion settings:
Axiom: aaaaabaa=a.
Referenced by [2], [3], [4], [5], [6].
Overlap of [1] aaaaabaa=a with [1] aaaaabaa=a:
Critical pair: aaaaaba=aaaabaa.
Flip LHS and RHS.
Referenced by [3], [4], [5], [6].
Overlap of [1] aaaaabaa=a with [2] aaaabaa=aaaaaba:
Critical pair: aaaaabaaaaaba=aaabaa.
Reduce LHS:
| [1] | (aaaaabaa)aaaba |
| ⇒ aaaaba |
Flip LHS and RHS.
Referenced by [5].
Overlap of [2] aaaabaa=aaaaaba with [2] aaaabaa=aaaaaba:
Critical pair: aaaabaaaaaba=aaaaabaaabaa.
Reduce LHS:
| [2] | (aaaabaa)aaaba |
| [1] | ⇒ (aaaaabaa)aaba |
| ⇒ aaaba |
Reduce RHS:
| [1] | (aaaaabaa)abaa |
| ⇒ aabaa |
Flip LHS and RHS.
Referenced by [5].
Overlap of [4] aabaa=aaaba with [1] aaaaabaa=a:
Critical pair: aaba=aaabaaaabaa.
Reduce RHS:
| [3] | (aaabaa)aabaa |
| [2] | ⇒ (aaaabaa)abaa |
| [1] | ⇒ (aaaaabaa)baa |
| ⇒ abaa |
Flip LHS and RHS.
Defines rule #1.
Overlap of [1] aaaaabaa=a with [2] aaaabaa=aaaaaba:
Critical pair: aaaaaaba=a.
Defines rule #2.