| Back: | ⟨a, b | ababba=aab⟩ |
|---|
Completion settings:
Axiom: ababba=aab.
Defines rule #1.
Referenced by [2], [3], [4], [6], [7].
Overlap of [1] ababba=aab with [1] ababba=aab:
Critical pair: ababbaab=aabbabba.
Reduce LHS:
| [1] | (ababba)ab |
| ⇒ aabab |
Flip LHS and RHS.
Defines rule #3.
Overlap of [1] ababba=aab with [2] aabbabba=aabab:
Critical pair: ababbaabab=aababbabba.
Reduce LHS:
| [1] | (ababba)abab |
| ⇒ aababab |
Reduce RHS:
| [1] | a(ababba)bba |
| ⇒ aaabbba |
Defines rule #2.
Referenced by [4], [5], [6], [7].
Overlap of [1] ababba=aab with [3] aababab=aaabbba:
Critical pair: ababbaaabbba=aabababab.
Reduce LHS:
| [1] | (ababba)aabbba |
| ⇒ aabaabbba |
Reduce RHS:
| [3] | (aababab)ab |
| ⇒ aaabbbaab |
Defines rule #5.
Overlap of [2] aabbabba=aabab with [3] aababab=aaabbba:
Critical pair: aabbabbaaabbba=aababababab.
Reduce LHS:
| [2] | (aabbabba)aabbba |
| ⇒ aababaabbba |
Reduce RHS:
| [3] | (aababab)abab |
| ⇒ aaabbbaabab |
Defines rule #7.
Overlap of [3] aababab=aaabbba with [1] ababba=aab:
Critical pair: aabaab=aaabbbaba.
Flip LHS and RHS.
Defines rule #4.
Overlap of [3] aababab=aaabbba with [1] ababba=aab:
Critical pair: aababaab=aaabbbaabba.
Flip LHS and RHS.
Defines rule #6.