Morphocompletion for #3783 ⟨a, b | ababbabaab=a⟩

Back:⟨a, b | ababbabaab=a⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aaabb ⇒ ababa
2. aabaabb ⇒ aabbaba
3. ababaabb ⇒ ababbaba
4. ababaabba ⇒ ababbabaa
5. aabbabaab ⇒ ababbabaa
6. ababbabaab ⇒ a
7. ababaabaab ⇒ aababbabaa
8. aaababaabb ⇒ aaababbaba
9. ababababbabaa ⇒ aaab
10. aaababbabbaba ⇒ aaab
11. aabbabababbabaa ⇒ aabaab
12. ababbabababbabaa ⇒ ababaab
13. aaababbbabbabaa ⇒ aaabab
14. ababababbabababa ⇒ aaababb
...

Collecting factors up to length 7, frequency 4:

Length 2:[2/0] ab, [2/1] ba, [2/2] aa, [2/3] bb
Length 3:[3/0] aba, [3/1] bab, [3/2] aab, [3/3] abb
Length 4:[4/0] abab, [4/1] baba, [4/2] abaa, [4/3] aabb
Length 5:[5/0] ababa, [5/1] babaa, [5/2] abaab, [5/3] abbab
Length 6:[6/0] abbaba, [6/1] bbabaa, [6/2] ababab, [6/3] ababba

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

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ab ⇒ c
2. ccbcac ⇒ a
3. ccacb ⇒ ccbca
4. ccaccb ⇒ ccbcccbccca
5. ccbcccbcaa ⇒ ccac
6. ccbcccbcccccbcaa ⇒ ccacc
7. aac ⇒ ccccbcaa
8. ccbcccbcccacac ⇒ ccaa
9. acbcac ⇒ ccbcaa
10. acacb ⇒ acbca
11. ccacaccb ⇒ accbccca
12. aaa ⇒ ccccbcccacac
13. acbcaa ⇒ ccbcccacac
14. accbcaa ⇒ ccacac
15. acbcccbcaa ⇒ acac
16. accbcccccbcaa ⇒ ccacacc
17. accacac ⇒ ccccbcccacaa
18. acbcccacac ⇒ ccbcccacaa
19. accbcccacac ⇒ ccacaa
20. acbcccbcccacac ⇒ acaa
...

Collecting factors up to length 6, frequency 7:

Length 2:[2/0] ac, [2/1] cc, [2/2] cb, [2/3] ca, [2/4] bc, [2/5] aa
Length 3:[3/0] cac, [3/1] ccb, [3/2] cbc, [3/3] ccc, [3/4] acb, [3/5] caa, [3/6] cca
Length 4:[4/0] ccbc, [4/1] acac, [4/2] bcaa, [4/3] ccac, [4/4] bccc, [4/5] cbcc, [4/6] acbc
Length 5:[5/0] cbcaa, [5/1] cacac, [5/2] cbccc, [5/3] ccbcc, [5/4] ccaca, [5/5] ccbca, [5/6] cccbc

Considering [length 5 / frequency 0] cbcaa=d.

Step 3

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