Morphocompletion for #4327 ⟨a, b | abbaaaaab=ba⟩

Back:⟨a, b | abbaaaaab=ba⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. abbaaaaab ⇒ ba
2. babaaaaab ⇒ abbaaaaba
3. abbaaaaaabbaaaaba ⇒ baabaaaaab
4. baabaaaaabbbaaaaab ⇒ abbaaaaaabbaaaabba
5. babaaaaaabbaaaaba ⇒ abbaaaabaabaaaaab
6. baaabaaaaabbbaaaaabaaaab ⇒ abbaaaaaabbaaaaaabbaaaba
7. abbaaaaaabbaaaaaabbaaaabba ⇒ baaabaaaaabbbaaaaab
8. baaabaaaaabbbaaaaabbbaaaaab ⇒ abbaaaaaabbaaaaaabbaaaabbba
9. baabaaaaabbbaaaaaabbaaaaba ⇒ abbaaaaaabbaaaabbaabaaaaab
10. babaaaaaabbaaaaaabbaaaabba ⇒ abbaaaabaaabaaaaabbbaaaaab
11. abbaaaaaabbaaaaaabbaaaaaabbaaaba ⇒ baaaabaaaaabbbaaaaabaaaab
...

Collecting factors up to length 7, frequency 4:

Length 2:[2/0] aa, [2/1] ba, [2/2] ab, [2/3] bb
Length 3:[3/0] aaa, [3/1] aab, [3/2] baa, [3/3] abb
Length 4:[4/0] aaaa, [4/1] aaab, [4/2] baaa, [4/3] abba
Length 5:[5/0] aaaab, [5/1] aaaaa, [5/2] baaaa, [5/3] bbaaa
Length 6:[6/0] aaaaab, [6/1] baaaaa, [6/2] bbaaaa, [6/3] abbaaa

Considering [length 6 / frequency 1] baaaaa=c.

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: wordLimit

#Rule
1. ca ⇒ abcc
2. ba ⇒ abcb
3. abcabcabcabcabcb ⇒ c
...

Collecting factors up to length 6, frequency 7:

Length 2:[2/0] ab, [2/1] bc, [2/2] ca, [2/3] cb, [2/4] cc
Length 3:[3/0] abc, [3/1] bca, [3/2] cab, [3/3] bcb, [3/4] bcc
Length 4:[4/0] abca, [4/1] bcab, [4/2] cabc, [4/3] abcb, [4/4] abcc
Length 5:[5/0] abcab, [5/1] bcabc, [5/2] cabca, [5/3] cabcb

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

Step 3

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