Morphocompletion for #2617 ⟨a, b | abbaab=aaba⟩

Back:⟨a, b | abbaab=aaba⟩

Solved by morph:2/1,4/1. (See Morphocompletion.)

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. abbaab ⇒ aaba
2. abbaaaba ⇒ aababaab
3. aababaabbbaab ⇒ aababaababa
4. aabaabaabbbaab ⇒ aabaabaababa
5. aabaaabaabbbaab ⇒ aabaaabaababa
6. aababaabbbaaaba ⇒ aababaabababaab
7. aabaaaabaabbbaab ⇒ aabaaaabaababa
8. aabaabaabbbaaaba ⇒ aabaabaabababaab
...

Collecting factors up to length 7, frequency 4:

Length 2:[2/0] aa, [2/1] ab, [2/2] ba, [2/3] bb
Length 3:[3/0] aab, [3/1] baa, [3/2] aba, [3/3] abb
Length 4:[4/0] aaba, [4/1] baab, [4/2] abaa, [4/3] bbaa
Length 5:[5/0] aabaa, [5/1] bbaab, [5/2] aaaba, [5/3] abaab
Length 6:[6/0] aabaab, [6/1] bbbaab, [6/2] baaaba, [6/3] abbbaa

Considering [length 2 / frequency 1] ab=c.

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. ab ⇒ c
2. acc ⇒ cbacb
3. aca ⇒ cbac
4. cbacbbac ⇒ cbcbacba
5. cbacbbcbac ⇒ cbcbacbaa
6. cbacbbcbcbac ⇒ cbcbacbaaa
7. cbacbbcbcbcbac ⇒ cbcbacbaaaa
8. cbcbacbcacbbac ⇒ cbcbacbccbacba
9. cbacbbcbcbcbcbac ⇒ cbcbacbaaaaa
10. cbcbacbcbcbacbbbac ⇒ cbcbacbcbcbacbca
11. cbcbacbcacbbcbac ⇒ cbcbacbccbacbaa
12. cbacbbcbcbcbcbcbac ⇒ cbcbacbaaaaaa
13. cbcbacbcacbbcbcbac ⇒ cbcbacbccbacbaaa
14. cbacbbcbcbcbcbcbcbac ⇒ cbcbacbaaaaaaa
...

Collecting factors up to length 6, frequency 7:

Length 2:[2/0] cb, [2/1] ac, [2/2] bc, [2/3] ba, [2/4] bb, [2/5] ca, [2/6] cc
Length 3:[3/0] bac, [3/1] bcb, [3/2] cbc, [3/3] cba, [3/4] acb, [3/5] cbb, [3/6] bbc
Length 4:[4/0] cbac, [4/1] cbcb, [4/2] bcbc, [4/3] bcba, [4/4] bacb, [4/5] acbb, [4/6] cbbc
Length 5:[5/0] bcbac, [5/1] cbacb, [5/2] bcbcb, [5/3] cbcba, [5/4] cbcbc, [5/5] acbbc, [5/6] bacbb

Considering [length 4 / frequency 1] cbcb=d.

Step 3

Rewriting system is complete. See ⟨a, b | abbaab=aaba⟩.