| Back: | ⟨a, b | aaaaabbaa=a⟩ |
|---|
Completion settings:
Axiom: aaaaabbaa=a.
Referenced by [2], [3], [4], [5], [6].
Overlap of [1] aaaaabbaa=a with [1] aaaaabbaa=a:
Critical pair: aaaaabba=aaaabbaa.
Flip LHS and RHS.
Referenced by [3], [4], [5], [6].
Overlap of [1] aaaaabbaa=a with [2] aaaabbaa=aaaaabba:
Critical pair: aaaaabbaaaaabba=aaabbaa.
Reduce LHS:
| [1] | (aaaaabbaa)aaabba |
| ⇒ aaaabba |
Flip LHS and RHS.
Referenced by [5].
Overlap of [2] aaaabbaa=aaaaabba with [2] aaaabbaa=aaaaabba:
Critical pair: aaaabbaaaaabba=aaaaabbaaabbaa.
Reduce LHS:
| [2] | (aaaabbaa)aaabba |
| [1] | ⇒ (aaaaabbaa)aabba |
| ⇒ aaabba |
Reduce RHS:
| [1] | (aaaaabbaa)abbaa |
| ⇒ aabbaa |
Flip LHS and RHS.
Referenced by [5].
Overlap of [4] aabbaa=aaabba with [1] aaaaabbaa=a:
Critical pair: aabba=aaabbaaaabbaa.
Reduce RHS:
| [3] | (aaabbaa)aabbaa |
| [2] | ⇒ (aaaabbaa)abbaa |
| [1] | ⇒ (aaaaabbaa)bbaa |
| ⇒ abbaa |
Flip LHS and RHS.
Defines rule #1.
Overlap of [1] aaaaabbaa=a with [2] aaaabbaa=aaaaabba:
Critical pair: aaaaaabba=a.
Defines rule #2.