Morphocompletion for #3800 ⟨a, b | abbaaaabba=b⟩

Back:⟨a, b | abbaaaabba=b⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. abbaaab ⇒ baaabba
2. abbaaaabba ⇒ b
3. abbaabaaabba ⇒ baaabbabaaab
4. abbaaaabbb ⇒ bbbaaaabba
5. baaabbabaaaabba ⇒ abbaab
6. abbaabaabaaabba ⇒ baaabbabaaabaab
7. abbaaaababbaab ⇒ baabbabaaaabba
8. baaabbababaaaabba ⇒ ababbaab
9. baaabbabaaabaaabba ⇒ abbaabaab
10. baaabbabababaaaabba ⇒ abababbaab
...

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] abb, [3/1] bba, [3/2] baa, [3/3] aab
Length 4:[4/0] abba, [4/1] baaa, [4/2] aaab, [4/3] aabb
Length 5:[5/0] aabba, [5/1] baaab, [5/2] abbaa, [5/3] aaabb
Length 6:[6/0] aaabba, [6/1] baaabb, [6/2] abbaaa, [6/3] abbaab

Considering [length 6 / frequency 0] aaabba=c.

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ab ⇒ ccbac
2. accbc ⇒ cccba
3. accba ⇒ c
4. ccbacbc ⇒ bcba
5. ccbacbac ⇒ b
6. accbb ⇒ cbbac
7. ccbacbcb ⇒ bcbccbac
8. ccbacbccbac ⇒ bcbacbac
9. ccbacbcccba ⇒ bcbc
10. bcbacbacbac ⇒ ccbacbb
11. ccbacbbcba ⇒ bcbacbacbc
12. cccbccbacacbacbac ⇒ accccbacbb
13. bcbacbacbcccba ⇒ ccbacbbcbc
14. ccbacbbcbccbac ⇒ bcbacbacbcb
15. bcbacbacbcbbac ⇒ ccbacbbcbb
16. bcbacbacbcbcba ⇒ ccbacbbcbccbc
17. ccbacbbcbbcba ⇒ bcbacbacbcbbc
...

Collecting factors up to length 6, frequency 7:

Length 2:[2/0] cb, [2/1] ac, [2/2] ba, [2/3] cc, [2/4] bc, [2/5] bb, [2/6] ca
Length 3:[3/0] cba, [3/1] bac, [3/2] ccb, [3/3] acb, [3/4] bcb, [3/5] cbc, [3/6] cbb
Length 4:[4/0] cbac, [4/1] ccba, [4/2] bacb, [4/3] bcba, [4/4] acba, [4/5] acbc, [4/6] accb
Length 5:[5/0] ccbac, [5/1] cbacb, [5/2] acbac, [5/3] bacbc, [5/4] bcbac, [5/5] bacba, [5/6] cbbcb

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

Step 3

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