Morphocompletion for #4334 ⟨a, b | abbaabaab=ba⟩

Back:⟨a, b | abbaabaab=ba⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. abbaabaab ⇒ ba
2. babaabaab ⇒ abbaababa
3. abbaabaaabbaababa ⇒ baabaabaab
4. baaabbbaabaababaab ⇒ ababbaabaaabbaabba
5. baabaabaabbbaabaab ⇒ abbaabaaabbaababba
6. babaabaaabbaababa ⇒ abbaaabbaababaaab
7. ababbaabaaabbaababba ⇒ baaabbbaabaab
8. abbaabaaabbaaabbaababa ⇒ baabaabaababaab
...

Collecting factors up to length 7, frequency 4:

Length 2:[2/0] ba, [2/1] ab, [2/2] aa, [2/3] bb
Length 3:[3/0] aab, [3/1] baa, [3/2] aba, [3/3] abb
Length 4:[4/0] baab, [4/1] aaba, [4/2] abba, [4/3] abaa
Length 5:[5/0] baaba, [5/1] abaab, [5/2] abbaa, [5/3] aabaa
Length 6:[6/0] baabaa, [6/1] abbaab, [6/2] bbaaba, [6/3] aabaab

Considering [length 3 / frequency 1] baa=c.

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. cbccbbcccbccbc ⇒ bcbcccbcccbccb
2. cbccbbcccbcccbcbc ⇒ bcccbbcccbcccbccb
3. cbccbbcccbcccbccb ⇒ bc
4. cbccbbcccbcbcbcccbcccbccb ⇒ bcbcccbcccbccbcbbcccbccbc
5. bcbcccbcccbccbcbbcccbcccbccb ⇒ cbccbbcccbcbc
6. bcbcccbcccbccbbccbbcccbcccbccb ⇒ cbccbbcccbccbbc
7. bcccbbcccbcccbccbcbbcccbcccbccb ⇒ cbccbbcccbcccbbc
8. ca ⇒ abccc
9. ba ⇒ abccb
10. aabccbbcccbcbc ⇒ cbcccbcccbccbcbbcccbcccbccb
11. aabccbbcccbccbc ⇒ cbcccbcccbccb
12. aabccbbcccbcccbcbc ⇒ cccbbcccbcccbccb
13. aabccbbcccbcccbccb ⇒ c
...

Collecting factors up to length 6, frequency 7:

Length 2:[2/0] cc, [2/1] cb, [2/2] bc, [2/3] bb, [2/4] aa, [2/5] ab
Length 3:[3/0] ccb, [3/1] cbc, [3/2] bcc, [3/3] ccc, [3/4] cbb, [3/5] bbc, [3/6] bcb
Length 4:[4/0] cbcc, [4/1] ccbc, [4/2] bccc, [4/3] cccb, [4/4] bccb, [4/5] cbbc, [4/6] bbcc
Length 5:[5/0] bcccb, [5/1] cccbc, [5/2] cbccb, [5/3] ccbcc, [5/4] cbccc, [5/5] cbbcc, [5/6] bbccc

Considering [length 2 / frequency 5] ab=d.

Step 3

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