Morphocompletion for #2289 ⟨a, b | aabbbba=bba⟩

Back:⟨a, b | aabbbba=bba⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. aabbbba ⇒ bba
2. aabbbbbba ⇒ bbbba
3. aabbbbbbbba ⇒ bbbbbba
4. aabbbbbbbbbba ⇒ bbbbbbbba
5. aabbbbbbbbbbbba ⇒ bbbbbbbbbba
6. aabbbbbbbbbbbbbba ⇒ bbbbbbbbbbbba
7. aabbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbba
8. aabbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbba
9. aabbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbba
10. aabbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbba
11. aabbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbba
12. aabbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbba
13. aabbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbba
14. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbba
15. aabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbba ⇒ bbbbbbbbbbbbbbbbbbbbbbbbbbbbbba
...

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] aabbbb, [6/2] bbbbba, [6/3] abbbbb, [6/4] abbbba
Length 7:[7/0] bbbbbbb, [7/1] bbbbbba, [7/2] aabbbbb, [7/3] abbbbbb

Considering [length 4 / frequency 1] bbba=c.

Step 2

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