Morphocompletion for #1804 ⟨a, b | abbaabaab=b⟩

Back:⟨a, b | abbaabaab=b⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aaabbb ⇒ baabab
2. aaabbab ⇒ baabaab
3. abbaabb ⇒ bbaabab
4. abbaabab ⇒ bbaabaab
5. abbaabaab ⇒ b
6. abbbaabab ⇒ baaababbb
7. bbaababaabab ⇒ abbb
8. bbaababaabaab ⇒ abbab
9. bbaabaabaabab ⇒ aabbb
10. bbaabaabaabaab ⇒ aabbab
11. abbbbaabaab ⇒ bbaababaabb
12. bbaabaaaababbb ⇒ ababbb
13. baababaababaabab ⇒ aaababbb
...

Collecting factors up to length 7, frequency 4:

Length 2:[2/0] ab, [2/1] ba, [2/2] aa, [2/3] bb
Length 3:[3/0] aab, [3/1] baa, [3/2] aba, [3/3] bab
Length 4:[4/0] baab, [4/1] aaba, [4/2] abab, [4/3] bbaa
Length 5:[5/0] baaba, [5/1] abaab, [5/2] bbaab, [5/3] aabab
Length 6:[6/0] baabab, [6/1] bbaaba, [6/2] aabaab, [6/3] baabaa

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

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ab ⇒ c
2. cbacac ⇒ b
3. acbc ⇒ cbaccacac
4. acbacc ⇒ b
5. accbc ⇒ cbaccaccaccacac
6. accbacc ⇒ cbaccaccacac
7. bbacac ⇒ cbacc
8. bbaccacac ⇒ cbc
9. bbaccaccacac ⇒ ccbacc
10. bbaccaccaccacac ⇒ ccbc
11. cbb ⇒ bbaccacc
12. cbcbaccacac ⇒ bbaccc
13. cbacb ⇒ bbacc
14. cbaccbaccacac ⇒ bbc
15. bbb ⇒ cbaccbaccacc
16. bbacb ⇒ cbaccbacc
17. bbaccb ⇒ cbcbaccacc
18. bbaccacb ⇒ cbcbacc
19. cbcbaccacb ⇒ bbacccbacc
20. cbcbaccaccacacacb ⇒ bbcbacc
...

Collecting factors up to length 6, frequency 7:

Length 2:[2/0] ac, [2/1] cb, [2/2] ca, [2/3] bb, [2/4] cc, [2/5] ba, [2/6] bc
Length 3:[3/0] cac, [3/1] acc, [3/2] bac, [3/3] bba, [3/4] acb, [3/5] cba, [3/6] cca
Length 4:[4/0] acac, [4/1] bbac, [4/2] bacc, [4/3] cbac, [4/4] ccac, [4/5] acca, [4/6] accb
Length 5:[5/0] cacac, [5/1] accac, [5/2] bbacc, [5/3] cbacc, [5/4] bacca, [5/5] cbcba, [5/6] ccaca

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

Step 3

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