Morphocompletion for #2017 ⟨a, b | aabbbbba=ba⟩

Back:⟨a, b | aabbbbba=ba⟩

Solved by morph:6/1. (See Morphocompletion.)

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. aabbbbba ⇒ ba
2. aabbbbbba ⇒ bba
3. aabbbbbbba ⇒ bbba
4. aabbbbbbbba ⇒ bbbba
5. aabbbbbbbbba ⇒ bbbbba
6. aabbbbbbbbbba ⇒ bbbbbba
7. aabbbbbbbbbbba ⇒ bbbbbbba
8. aabbbbbbbbbbbba ⇒ bbbbbbbba
9. aabbbbbbbbbbbbba ⇒ bbbbbbbbba
10. aabbbbbbbbbbbbbba ⇒ bbbbbbbbbba
11. aabbbbbbbbbbbbbbba ⇒ bbbbbbbbbbba
12. aabbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbba
13. aabbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbba
14. aabbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbba
15. aabbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbba
16. aabbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbba
17. aabbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbba
18. aabbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbba
19. aabbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbba
20. aabbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbba
...

Collecting factors up to length 8, frequency 7:

Length 2:[2/0] bb, [2/1] ba, [2/2] aa, [2/3] ab
Length 3:[3/0] bbb, [3/1] bba, [3/2] aab, [3/3] abb
Length 4:[4/0] bbbb, [4/1] bbba, [4/2] aabb, [4/3] abbb
Length 5:[5/0] bbbbb, [5/1] bbbba, [5/2] aabbb, [5/3] abbbb
Length 6:[6/0] bbbbbb, [6/1] bbbbba, [6/2] aabbbb, [6/3] abbbbb
Length 7:[7/0] bbbbbbb, [7/1] aabbbbb, [7/2] bbbbbba, [7/3] abbbbbb, [7/4] abbbbba

Considering [length 6 / frequency 1] bbbbba=c.

Step 2

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