Morphocompletion for #4268 ⟨a, b | abaababba=ab⟩

Back:⟨a, b | abaababba=ab⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. abbbaaa ⇒ abaabab
2. abbabba ⇒ abababb
3. abababba ⇒ abaababb
4. abaababba ⇒ ab
5. abbbbaaa ⇒ abbaabab
6. abbbabba ⇒ abbababb
7. abbababba ⇒ abbaababb
8. abbaababba ⇒ abb
9. abbbbbaaa ⇒ abbbaabab
10. abaababababb ⇒ abbba
11. abaababaababb ⇒ abbbaa
12. abbbbabba ⇒ abbbababb
13. abbbaababba ⇒ abbb
14. abbaababababb ⇒ abbbba
15. abbbbaababba ⇒ abbbb
...

Collecting factors up to length 7, frequency 4:

Length 2:[2/0] ab, [2/1] ba, [2/2] bb, [2/3] aa
Length 3:[3/0] abb, [3/1] bba, [3/2] aba, [3/3] bab
Length 4:[4/0] abba, [4/1] abab, [4/2] babb, [4/3] abbb
Length 5:[5/0] babba, [5/1] ababb, [5/2] abbbb, [5/3] baaba
Length 6:[6/0] ababba, [6/1] baabab, [6/2] abaaba, [6/3] bbabba

Considering [length 2 / frequency 1] ba=c.

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ba ⇒ c
2. acacbc ⇒ ab
3. ccacbc ⇒ cb
4. accbca ⇒ ab
5. cccbca ⇒ cb
6. acacbb ⇒ accbc
7. ccacbb ⇒ cccbc
8. abbc ⇒ acacccbb
9. cbbc ⇒ ccacccbb
10. abcbc ⇒ accbb
11. cbcbc ⇒ cccbb
12. abcacbc ⇒ abb
13. cbcacbc ⇒ cbb
14. abccbca ⇒ abb
15. cbccbca ⇒ cbb
16. abbb ⇒ acacccbccbc
17. abcbb ⇒ accbccbc
18. cbcbb ⇒ cccbccbc
19. abcacbb ⇒ abccbc
20. cbcacbb ⇒ cbccbc
...

Collecting factors up to length 6, frequency 7:

Length 2:[2/0] bc, [2/1] cb, [2/2] bb, [2/3] ca, [2/4] ab, [2/5] ac, [2/6] cc
Length 3:[3/0] cbc, [3/1] cbb, [3/2] bca, [3/3] abc, [3/4] acb, [3/5] cac, [3/6] bbc
Length 4:[4/0] cbca, [4/1] acbb, [4/2] acbc, [4/3] cacb, [4/4] bcbb, [4/5] bcbc, [4/6] cbcb
Length 5:[5/0] cacbb, [5/1] ccbca, [5/2] cacbc, [5/3] bcacb, [5/4] cbcac, [5/5] abcac, [5/6] ccacb

Considering [length 3 / frequency 1] cbb=d.

Step 3

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