| Back: | ⟨a, b | abaabba=aaab⟩ |
|---|
Completion settings:
Axiom: abaabba=aaab.
Defines rule #1.
Referenced by [2], [3], [4], [6], [7].
Overlap of [1] abaabba=aaab with [1] abaabba=aaab:
Critical pair: abaabbaaab=aaabbaabba.
Reduce LHS:
| [1] | (abaabba)aab |
| ⇒ aaabaab |
Flip LHS and RHS.
Defines rule #3.
Overlap of [1] abaabba=aaab with [2] aaabbaabba=aaabaab:
Critical pair: abaabbaaabaab=aaabaabbaabba.
Reduce LHS:
| [1] | (abaabba)aabaab |
| ⇒ aaabaabaab |
Reduce RHS:
| [1] | aa(abaabba)abba |
| ⇒ aaaaababba |
Defines rule #2.
Referenced by [4], [5], [6], [7].
Overlap of [1] abaabba=aaab with [3] aaabaabaab=aaaaababba:
Critical pair: abaabbaaaaababba=aaabaabaabaab.
Reduce LHS:
| [1] | (abaabba)aaaababba |
| ⇒ aaabaaaababba |
Reduce RHS:
| [3] | (aaabaabaab)aab |
| ⇒ aaaaababbaaab |
Defines rule #5.
Overlap of [2] aaabbaabba=aaabaab with [3] aaabaabaab=aaaaababba:
Critical pair: aaabbaabbaaaaababba=aaabaabaabaabaab.
Reduce LHS:
| [2] | (aaabbaabba)aaaababba |
| ⇒ aaabaabaaaababba |
Reduce RHS:
| [3] | (aaabaabaab)aabaab |
| ⇒ aaaaababbaaabaab |
Defines rule #7.
Overlap of [3] aaabaabaab=aaaaababba with [1] abaabba=aaab:
Critical pair: aaabaaaab=aaaaababbaba.
Flip LHS and RHS.
Defines rule #4.
Overlap of [3] aaabaabaab=aaaaababba with [1] abaabba=aaab:
Critical pair: aaabaabaaaab=aaaaababbaaabba.
Flip LHS and RHS.
Defines rule #6.