Morphocompletion for #1983 ⟨a, b | aabbaaab=ba⟩

Back:⟨a, b | aabbaaab=ba⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. babaaab ⇒ aabbaba
2. aabbaaab ⇒ ba
3. aabbabaabaaab ⇒ babaaaaabbaba
4. aabbaaaaabbaba ⇒ baabaaab
5. baabaaababbaaab ⇒ aabbaaaaabbabba
6. aabbaaaaabaabbaba ⇒ baabaaabaab
7. aabbabababaabaaab ⇒ babababaaaaabbaba
8. aabbababaaaaabbaba ⇒ bababaabaaab
9. baabaaabaababbaaab ⇒ aabbaaaaabaabbabba
10. aabbaaaaabaabaabbaba ⇒ baabaaabaabaab
...

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] aba, [3/2] baa, [3/3] aaa
Length 4:[4/0] aabb, [4/1] aaab, [4/2] baba, [4/3] abba
Length 5:[5/0] aabba, [5/1] baaab, [5/2] bbaba, [5/3] baaba
Length 6:[6/0] abbaba, [6/1] aabbab, [6/2] abaaab, [6/3] aabbaa

Considering [length 2 / frequency 2] ba=c.

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ba ⇒ c
2. cabcca ⇒ bccaac
3. cabcccca ⇒ bccccaac
4. aabcc ⇒ ccaab
5. cabcaac ⇒ bca
6. cabcccaac ⇒ bccca
7. cabcccccaac ⇒ bccccca
8. aacabcc ⇒ ccaacab
9. bccaab ⇒ cabcc
10. bccccaab ⇒ cabcccc
11. aabcaac ⇒ ca
12. aabcbca ⇒ ccaacbcaac
13. aacacabcc ⇒ ccaacacab
14. bccaacab ⇒ cacabcc
15. cabcaab ⇒ bc
16. cabcccaab ⇒ bccc
17. cabcccccaab ⇒ bccccc
18. bccaacbcaac ⇒ cabcbca
19. aabcaab ⇒ c
20. ccaacbcaab ⇒ aabcbc
...

Collecting factors up to length 6, frequency 7:

Length 2:[2/0] ca, [2/1] ab, [2/2] cc, [2/3] aa, [2/4] bc, [2/5] ac, [2/6] cb
Length 3:[3/0] aab, [3/1] cab, [3/2] bcc, [3/3] aac, [3/4] caa, [3/5] abc, [3/6] cca
Length 4:[4/0] cabc, [4/1] caab, [4/2] caac, [4/3] abcc, [4/4] ccaa, [4/5] aabc, [4/6] bcca
Length 5:[5/0] cabcc, [5/1] ccaab, [5/2] ccaac, [5/3] bcaab, [5/4] bcaac, [5/5] bccaa, [5/6] abccc

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

Step 3

Rewriting system is complete. See ⟨a, b | aabbaaab=ba⟩.