Morphocompletion for #3193 ⟨a, b | abaaabbaaab=1⟩

Back:⟨a, b | abaaabbaaab=1⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. abaaaaa ⇒ aaaaaab
2. baaaba ⇒ abaaab
3. abaaaba ⇒ aabaaab
4. baaabaaa ⇒ aaabaaab
5. baaabab ⇒ abaaabb
6. baaabaab ⇒ aabaaabb
7. abaaabbaa ⇒ aaabbaaab
8. aaababaaabb ⇒ 1
9. baaaaaabaaabb ⇒ aa
10. aaaaaabbabaaabb ⇒ abaa
...

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] aaa, [3/1] baa, [3/2] aba, [3/3] aab, [3/4] abb, [3/5] bab, [3/6] bba
Length 4:[4/0] baaa, [4/1] aaab, [4/2] abaa, [4/3] aaaa, [4/4] aaba, [4/5] aabb, [4/6] abab
Length 5:[5/0] baaab, [5/1] abaaa, [5/2] aaaba, [5/3] aaabb, [5/4] aaaaa, [5/5] aabab, [5/6] baaaa
Length 6:[6/0] baaaba, [6/1] baaabb, [6/2] abaaab, [6/3] aaabab, [6/4] baaaaa, [6/5] aabaaa, [6/6] aaabaa
Length 7:[7/0] abaaabb, [7/1] baaabaa, [7/2] aaabaaa, [7/3] aaaaaab, [7/4] babaaab, [7/5] aaabbaa, [7/6] aaababa

Considering [length 5 / frequency 0] baaab=c.

Step 2

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