Morphocompletion for #1378 ⟨a, b | aaabbbaaab=1⟩

Back:⟨a, b | aaabbbaaab=1⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. bbaaa ⇒ aaabb
2. baaabbba ⇒ abaaabbb
3. aaabbbbba ⇒ babaaabbb
4. aaabaaabbb ⇒ 1
5. baaabaaabb ⇒ 1
6. aaabbabaaabbb ⇒ bba
7. baaabaaaaaabb ⇒ aaa
8. aaabaaaaaabbbb ⇒ baaa
9. aaabbaabaaabbb ⇒ bbaa
10. aaabbbbabaaabbb ⇒ bbbba
...

Collecting factors up to length 7, frequency 4:

Length 2:[2/0] aa, [2/1] bb, [2/2] ba, [2/3] ab
Length 3:[3/0] aaa, [3/1] aab, [3/2] bbb, [3/3] baa
Length 4:[4/0] aaab, [4/1] baaa, [4/2] aabb, [4/3] abbb
Length 5:[5/0] aaabb, [5/1] aabbb, [5/2] baaab, [5/3] abaaa
Length 6:[6/0] aaabbb, [6/1] baaabb, [6/2] aaabaa, [6/3] aabaaa

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

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ca ⇒ ac
2. cbb ⇒ bbc
3. aaa ⇒ c
4. cbcb ⇒ bcbc
5. cbccb ⇒ bccbc
6. bcbcb ⇒ bbcbc
7. bbbcbc ⇒ 1
8. bcbccb ⇒ bbccbc
9. bbbcba ⇒ abbbcb
10. bbbcbac ⇒ a
11. bcbcccb ⇒ bbcccbc
12. bbccbcb ⇒ c
13. bbbbccbc ⇒ cb
14. bbbcbaac ⇒ aa
15. bbbbcccbc ⇒ ccb
16. bbbcbabbc ⇒ abb
...

Collecting factors up to length 6, frequency 7:

Length 2:[2/0] cb, [2/1] bb, [2/2] bc, [2/3] cc, [2/4] aa, [2/5] ba, [2/6] ac
Length 3:[3/0] bcb, [3/1] bbb, [3/2] cbc, [3/3] bbc, [3/4] ccb, [3/5] bcc, [3/6] cba
Length 4:[4/0] bbbc, [4/1] bcbc, [4/2] bccb, [4/3] bcba, [4/4] bbcb, [4/5] ccbc, [4/6] bbbb
Length 5:[5/0] bbbcb, [5/1] bbcba, [5/2] bbbbc, [5/3] bcbcc, [5/4] bbccb, [5/5] bcccb, [5/6] bccbc

Considering [length 3 / frequency 0] bcb=d.

Step 3

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