Morphocompletion for #1723 ⟨a, b | aabbabbaa=a⟩

Back:⟨a, b | aabbabbaa=a⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. abbaaa ⇒ aaabba
2. abbabbaa ⇒ aabbabba
3. aaabbabba ⇒ a
4. aaabbaabbabba ⇒ abbaa
5. aaabbaabbaabbabba ⇒ abbaabbaa
6. aaabbaabbaabbaabbabba ⇒ abbaabbaabbaa
7. aaabbaabbaabbaabbaabbabba ⇒ abbaabbaabbaabbaa
8. aaabbaabbaabbaabbaabbaabbabba ⇒ abbaabbaabbaabbaabbaa
9. aaabbaabbaabbaabbaabbaabbaabbabba ⇒ abbaabbaabbaabbaabbaabbaa
10. aaabbaabbaabbaabbaabbaabbaabbaabbabba ⇒ abbaabbaabbaabbaabbaabbaabbaa
11. aaabbaabbaabbaabbaabbaabbaabbaabbaabbabba ⇒ abbaabbaabbaabbaabbaabbaabbaabbaa
...

Collecting factors up to length 8, frequency 7:

Length 2:[2/0] aa, [2/1] ba, [2/2] ab, [2/3] bb
Length 3:[3/0] bba, [3/1] abb, [3/2] aab, [3/3] baa, [3/4] aaa, [3/5] bab
Length 4:[4/0] abba, [4/1] aabb, [4/2] bbaa, [4/3] baab, [4/4] aaab, [4/5] bbab, [4/6] babb
Length 5:[5/0] aabba, [5/1] abbaa, [5/2] bbaab, [5/3] baabb, [5/4] babba, [5/5] aaabb, [5/6] abbab
Length 6:[6/0] bbaabb, [6/1] baabba, [6/2] abbaab, [6/3] aabbaa, [6/4] bbabba, [6/5] aaabba, [6/6] abbabb
Length 7:[7/0] bbaabba, [7/1] abbaabb, [7/2] aabbaab, [7/3] baabbaa, [7/4] abbabba, [7/5] aaabbaa, [7/6] aabbabb

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

Step 2

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