Morphocompletion for #1991 ⟨a, b | aabbaabb=ba⟩

Back:⟨a, b | aabbaabb=ba⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. aabbba ⇒ baaabb
2. aabbaabb ⇒ ba
3. aabbbbaaabb ⇒ baaabbabbba
4. baaabbabbaabb ⇒ aabbbba
5. aabbbbabaaabb ⇒ baaabbabbbaba
6. aabbaabaabbbba ⇒ baaaabbabbaabb
7. baaabbabbbaaabb ⇒ aabbbbaba
8. aabbbbababaaabb ⇒ baaabbabbbababa
9. baaabbabbbabaaabb ⇒ aabbbbababa
10. aabbbbabababaaabb ⇒ baaabbabbbabababa
11. baaabbabbbababaaabb ⇒ aabbbbabababa
...

Collecting factors up to length 7, frequency 4:

Length 2:[2/0] bb, [2/1] aa, [2/2] ba, [2/3] ab
Length 3:[3/0] abb, [3/1] aab, [3/2] baa, [3/3] bba
Length 4:[4/0] aabb, [4/1] baaa, [4/2] aaab, [4/3] bbba
Length 5:[5/0] aaabb, [5/1] baaab, [5/2] aabbb, [5/3] aabba
Length 6:[6/0] baaabb, [6/1] aabbbb, [6/2] abbbba, [6/3] abaaab

Considering [length 3 / frequency 0] abb=c.

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. abb ⇒ c
2. acba ⇒ baac
3. acac ⇒ ba
4. baacbb ⇒ acbc
5. abacbc ⇒ caacbb
6. baaccac ⇒ acbba
7. acbbaac ⇒ baaccba
8. abacbba ⇒ caaccac
9. caaccacbb ⇒ abacbbc
10. babaaccba ⇒ acbcaac
11. baaccbaac ⇒ acbbaba
12. acbcaacbb ⇒ babaaccbc
13. acbbabaac ⇒ baaccbaba
14. caaccaccac ⇒ abacbbba
15. acbcaaccac ⇒ babaaccbba
16. acaabacbbc ⇒ baaaccacbb
17. abacbbbaac ⇒ caaccaccba
18. baaccbabaac ⇒ acbbababa
19. acbbababaac ⇒ baaccbababa
20. acaabacbbba ⇒ baaaccaccac
...

Collecting factors up to length 6, frequency 7:

Length 2:[2/0] ac, [2/1] ba, [2/2] aa, [2/3] bb, [2/4] cb, [2/5] ab, [2/6] ca
Length 3:[3/0] aac, [3/1] acb, [3/2] baa, [3/3] aba, [3/4] cbb, [3/5] cac, [3/6] acc
Length 4:[4/0] baac, [4/1] acbb, [4/2] abac, [4/3] ccac, [4/4] aacc, [4/5] acbc, [4/6] baba
Length 5:[5/0] abacb, [5/1] acbba, [5/2] accac, [5/3] abaac, [5/4] baacc, [5/5] babaa, [5/6] caacc

Considering [length 2 / frequency 0] ac=d.

Step 3

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