Morphocompletion for #267 ⟨a, b | abba=bab⟩

Back:⟨a, b | abba=bab⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. abba ⇒ bab
2. babbba ⇒ abbbab
3. aabbbabb ⇒ babbbba
4. babbbbaa ⇒ aabbbbab
5. babbbbaba ⇒ ababbbbab
6. abaabbbbab ⇒ babbbbbaa
7. abbbabbbba ⇒ bbabbbbab
8. abababbbbab ⇒ babbbbbaba
9. abbbabbbbba ⇒ bbbabbbbab
10. babbbbbaaba ⇒ abaabbbbbab
11. abaababbbbab ⇒ babbbbbabaa
...

Collecting factors up to length 7, frequency 4:

Length 2:[2/0] bb, [2/1] ba, [2/2] ab, [2/3] aa
Length 3:[3/0] bbb, [3/1] bab, [3/2] abb, [3/3] bba
Length 4:[4/0] bbba, [4/1] babb, [4/2] abbb, [4/3] bbbb
Length 5:[5/0] babbb, [5/1] bbbba, [5/2] bbbab, [5/3] abbbb
Length 6:[6/0] babbbb, [6/1] bbbbab, [6/2] abbbba, [6/3] abbbab

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. abc ⇒ cb
3. bcb ⇒ cbc
4. cbca ⇒ bcc
5. acbc ⇒ cbb
6. cbcca ⇒ bbcc
7. accbc ⇒ cbbb
8. abbcc ⇒ cbbca
9. bccbc ⇒ cbccb
10. cbccca ⇒ bbbcc
11. acccbc ⇒ cbbbb
12. acbbcc ⇒ cbbbca
13. abbbcc ⇒ cbbcca
14. bcccbc ⇒ cbccbb
15. cbcccca ⇒ bbbbcc
16. accccbc ⇒ cbbbbb
17. accbbcc ⇒ cbbbbca
18. acbbbcc ⇒ cbbbcca
19. abbbbcc ⇒ cbbccca
20. bccccbc ⇒ cbccbbb
...

Collecting factors up to length 6, frequency 7:

Length 2:[2/0] bc, [2/1] cc, [2/2] cb, [2/3] ac, [2/4] bb, [2/5] ab, [2/6] ca
Length 3:[3/0] cbc, [3/1] bcc, [3/2] ccc, [3/3] acc, [3/4] ccb, [3/5] bbc, [3/6] abb
Length 4:[4/0] bbcc, [4/1] ccbc, [4/2] bccc, [4/3] cbcc, [4/4] abbb, [4/5] acbb, [4/6] accb
Length 5:[5/0] cccbc, [5/1] bbbcc, [5/2] cbbcc, [5/3] cbccc, [5/4] bcccc, [5/5] bcccb, [5/6] bccca

Considering [length 2 / frequency 0] bc=d.

Step 3

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