| Back: | ⟨a, b | aabaaaaba=b⟩ |
|---|
Completion settings:
Axiom: aabaaaaba=b.
Defines rule #2.
Referenced by [2], [3], [4], [6], [12], [13], [15], [17].
Overlap of [1] aabaaaaba=b with [1] aabaaaaba=b:
Critical pair: aabaab=baaaba.
Defines rule #1.
Referenced by [4], [5], [10], [11], [12], [13], [15], [16].
Overlap of [1] aabaaaaba=b with [1] aabaaaaba=b:
Critical pair: aabaaaabb=babaaaaba.
Defines rule #4.
Referenced by [10], [13], [18].
Overlap of [2] aabaab=baaaba with [1] aabaaaaba=b:
Critical pair: aabb=baaabaaaaaba.
Flip LHS and RHS.
Defines rule #7.
Referenced by [6], [7], [8], [11], [14], [19].
Overlap of [2] aabaab=baaaba with [2] aabaab=baaaba:
Critical pair: aabbaaaba=baaabaaab.
Flip LHS and RHS.
Defines rule #3.
Referenced by [8], [9], [11], [15].
Overlap of [1] aabaaaaba=b with [4] baaabaaaaaba=aabb:
Critical pair: aabaaaaaabb=baabaaaaaba.
Defines rule #6.
Overlap of [4] baaabaaaaaba=aabb with [4] baaabaaaaaba=aabb:
Critical pair: baaabaaaaaaabb=aabbaabaaaaaba.
Defines rule #13.
Overlap of [5] baaabaaab=aabbaaaba with [4] baaabaaaaaba=aabb:
Critical pair: baaaaabb=aabbaaabaaaaaaba.
Flip LHS and RHS.
Defines rule #15.
Referenced by [12], [13], [14], [15].
Overlap of [5] baaabaaab=aabbaaaba with [5] baaabaaab=aabbaaaba:
Critical pair: baaaaabbaaaba=aabbaaabaaaab.
Flip LHS and RHS.
Defines rule #9.
Referenced by [12], [13], [15], [16], [17], [18].
Overlap of [2] aabaab=baaaba with [3] aabaaaabb=babaaaaba:
Critical pair: aabbabaaaaba=baaabaaaaabb.
Flip LHS and RHS.
Defines rule #8.
Referenced by [12].
Overlap of [4] baaabaaaaaba=aabb with [6] aabaaaaaabb=baabaaaaaba:
Critical pair: baaabaaabaabaaaaaba=aabbaaaaabb.
Reduce LHS:
| [5] | (baaabaaab)aabaaaaaba |
| [5] | ⇒ aab(baaabaaab)aaaaaba |
| [2] | ⇒ (aabaab)baaabaaaaaaba |
| ⇒ baaababaaabaaaaaaba |
Defines rule #18.
Referenced by [19].
Overlap of [8] aabbaaabaaaaaaba=baaaaabb with [2] aabaab=baaaba:
Critical pair: aabbaaabaaaabaaaba=baaaaabbab.
Reduce LHS:
| [9] | (aabbaaabaaaab)aaaba |
| [9] | ⇒ baaa(aabbaaabaaaab)a |
| [10] | ⇒ (baaabaaaaabb)aaabaa |
| [1] | ⇒ aabbabaa(aabaaaaba)a |
| ⇒ aabbabaaba |
Flip LHS and RHS.
Defines rule #5.
Referenced by [13].
Overlap of [8] aabbaaabaaaaaaba=baaaaabb with [3] aabaaaabb=babaaaaba:
Critical pair: aabbaaabaaaababaaaaba=baaaaabbaaabb.
Reduce LHS:
| [9] | (aabbaaabaaaab)abaaaaba |
| [2] | ⇒ baaaaabba(aabaab)aaaaba |
| [12] | ⇒ (baaaaabbab)aaabaaaaaba |
| [1] | ⇒ aabbab(aabaaaaba)aaaaba |
| ⇒ aabbabbaaaaba |
Flip LHS and RHS.
Defines rule #10.
Overlap of [8] aabbaaabaaaaaaba=baaaaabb with [4] baaabaaaaaba=aabb:
Critical pair: aabbaaabaaaaaaaabb=baaaaabbaabaaaaaba.
Defines rule #17.
Overlap of [8] aabbaaabaaaaaaba=baaaaabb with [6] aabaaaaaabb=baabaaaaaba:
Critical pair: aabbaaabaaaabaabaaaaaba=baaaaabbaaaaabb.
Reduce LHS:
| [9] | (aabbaaabaaaab)aabaaaaaba |
| [5] | ⇒ baaaaab(baaabaaab)aaaaaba |
| [2] | ⇒ baaa(aabaab)baaabaaaaaaba |
| [5] | ⇒ (baaabaaab)abaaabaaaaaaba |
| [2] | ⇒ aabba(aabaab)aaabaaaaaaba |
| [1] | ⇒ aabbaba(aabaaaaba)aaaaaba |
| ⇒ aabbababaaaaaba |
Flip LHS and RHS.
Defines rule #14.
Overlap of [2] aabaab=baaaba with [9] aabbaaabaaaab=baaaaabbaaaba:
Critical pair: aabbaaaaabbaaaba=baaababaaabaaaab.
Flip LHS and RHS.
Defines rule #16.
Overlap of [9] aabbaaabaaaab=baaaaabbaaaba with [1] aabaaaaba=b:
Critical pair: aabbab=baaaaabbaaabaa.
Flip LHS and RHS.
Defines rule #11.
Overlap of [9] aabbaaabaaaab=baaaaabbaaaba with [3] aabaaaabb=babaaaaba:
Critical pair: aabbababaaaaba=baaaaabbaaabab.
Flip LHS and RHS.
Defines rule #12.
Overlap of [11] baaababaaabaaaaaaba=aabbaaaaabb with [4] baaabaaaaaba=aabb:
Critical pair: baaababaaabaaaaaaaabb=aabbaaaaabbaabaaaaaba.
Defines rule #19.