Morphocompletion for #2609 ⟨a, b | ababba=baba⟩

Back:⟨a, b | ababba=baba⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. ababba ⇒ baba
2. ababbbaba ⇒ babbaba
3. ababbbbaba ⇒ babbbaba
4. ababbbbbaba ⇒ babbbbaba
5. ababbbabbaba ⇒ babbabbaba
6. ababbbbbbaba ⇒ babbbbbaba
...

Collecting factors up to length 7, frequency 4:

Length 2:[2/0] ba, [2/1] ab, [2/2] bb
Length 3:[3/0] aba, [3/1] bab, [3/2] bbb, [3/3] bba
Length 4:[4/0] abab, [4/1] baba, [4/2] babb, [4/3] bbbb
Length 5:[5/0] ababb, [5/1] bbaba, [5/2] bbbab, [5/3] babbb
Length 6:[6/0] ababbb, [6/1] bbbaba, [6/2] bbbbab, [6/3] babbbb

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

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. ccbc ⇒ bcc
2. acbc ⇒ cc
3. ba ⇒ c
4. ccbbcc ⇒ bcbcc
5. acbbcc ⇒ cbcc
6. ccbbbcc ⇒ bcbbcc
7. ccbbcbcc ⇒ bcbcbcc
8. acbbbcc ⇒ cbbcc
9. acbbcbcc ⇒ cbcbcc
10. ccbbbbcc ⇒ bcbbbcc
11. ccbbbcbcc ⇒ bcbbcbcc
12. ccbbcbbcc ⇒ bcbcbbcc
13. acbbbbcc ⇒ cbbbcc
14. acbbbcbcc ⇒ cbbcbcc
15. acbbcbbcc ⇒ cbcbbcc
16. ccbbbbbcc ⇒ bcbbbbcc
17. acbbbbbcc ⇒ cbbbbcc
...

Collecting factors up to length 6, frequency 7:

Length 2:[2/0] cc, [2/1] bb, [2/2] bc, [2/3] cb, [2/4] ac
Length 3:[3/0] bcc, [3/1] cbb, [3/2] bbc, [3/3] acb, [3/4] ccb, [3/5] bbb, [3/6] cbc
Length 4:[4/0] bbcc, [4/1] acbb, [4/2] ccbb, [4/3] cbbb, [4/4] bbbc, [4/5] cbbc, [4/6] cbcc
Length 5:[5/0] bbbcc, [5/1] acbbb, [5/2] ccbbb, [5/3] cbbcc, [5/4] bcbcc, [5/5] acbbc, [5/6] ccbbc

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

Step 3

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