Morphocompletion for #4527 ⟨a, b | aaababba=baa⟩

Back:⟨a, b | aaababba=baa⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aaababba ⇒ baa
2. aaababbbaa ⇒ babaa
3. aaababbbbaa ⇒ babbaa
4. aaababbbabaa ⇒ bababaa
5. aaababbbbbaa ⇒ babbbaa
6. aaababbbabbaa ⇒ bababbaa
7. aaababbbbabaa ⇒ babbabaa
...

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] baa, [3/2] bbb, [3/3] bab
Length 4:[4/0] aaab, [4/1] babb, [4/2] bbaa, [4/3] abab
Length 5:[5/0] aaaba, [5/1] ababb, [5/2] aabab, [5/3] babbb
Length 6:[6/0] aaabab, [6/1] aababb, [6/2] ababbb, [6/3] bbbbaa

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

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aaacaaacaaca ⇒ caa
2. aaacaaacaaccaa ⇒ cacaa
3. aaacaaacaacccaa ⇒ caccaa
4. baa ⇒ aaaca
5. bcaa ⇒ aaacaacaaacaaca
6. bacaa ⇒ aaaccaa
7. baccaa ⇒ aaacccaa
8. bacacaa ⇒ aaaccacaa
9. bacccaa ⇒ aaaccccaa
10. bacaccaa ⇒ aaaccaccaa
11. baccacaa ⇒ aaacccacaa
12. bacacacaa ⇒ aaaccacacaa
13. baccccaa ⇒ aaacccccaa
14. bacacccaa ⇒ aaaccacccaa
15. baccaccaa ⇒ aaacccaccaa
16. bacacaccaa ⇒ aaaccacaccaa
17. bacccacaa ⇒ aaaccccacaa
18. bacccccaa ⇒ aaaccccccaa
19. babc ⇒ cabb
20. babb ⇒ c
...

Collecting factors up to length 6, frequency 7:

Length 2:[2/0] aa, [2/1] ca, [2/2] ba, [2/3] ac, [2/4] cc, [2/5] bc, [2/6] bb
Length 3:[3/0] caa, [3/1] bac, [3/2] aca, [3/3] cca, [3/4] acc, [3/5] cac, [3/6] ccc
Length 4:[4/0] ccaa, [4/1] acaa, [4/2] bacc, [4/3] baca, [4/4] aaac, [4/5] aaca, [4/6] acca
Length 5:[5/0] bacac, [5/1] cccaa, [5/2] accaa, [5/3] aaaca, [5/4] baccc, [5/5] cacaa, [5/6] bacca

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

Step 3

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