Morphocompletion for #555 ⟨a, b | abbba=bab⟩

Back:⟨a, b | abbba=bab⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. abbba ⇒ bab
2. abbbbab ⇒ babbbba
3. aabbbbbab ⇒ babbbbbaa
4. bbbabbbbaa ⇒ abbbbbab
5. ababbbbbab ⇒ babbbbbaba
6. abbabbbbbab ⇒ babbbbbabba
7. babbbbbaabba ⇒ aabbbbbbab
8. abbbbbabbbba ⇒ babbbbbabb
9. babbbbbababba ⇒ ababbbbbbab
10. abbbbbbabbbba ⇒ babbbbbabbb
...

Collecting factors up to length 7, frequency 3:

Length 2:[2/0] bb, [2/1] ab, [2/2] ba
Length 3:[3/0] bbb, [3/1] bba, [3/2] abb
Length 4:[4/0] bbbb, [4/1] bbba, [4/2] abbb
Length 5:[5/0] abbbb, [5/1] bbbab, [5/2] bbbba
Length 6:[6/0] bbbbab, [6/1] abbbbb, [6/2] babbbb

Considering [length 2 / frequency 1] ab=c.

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ab ⇒ c
2. cbba ⇒ bc
3. cbbc ⇒ bcb
4. bcbbba ⇒ cbbbc
5. cbbbcb ⇒ bcbbbc
6. ccbbba ⇒ acbbbc
7. cbcbbbc ⇒ bcbbbba
8. bbcbbbca ⇒ cbbbbc
9. bbcbbbcc ⇒ cbbbbcb
10. bcbbbbaa ⇒ acbbbbc
11. bcbbbbca ⇒ ccbbbbc
12. acbbbbcb ⇒ bcbbbbac
13. ccbbbbaa ⇒ aacbbbbc
14. ccbbbbcb ⇒ bcbbbbcc
15. ccbbbbca ⇒ accbbbbc
16. bcbbbbcba ⇒ cbcbbbbc
17. acbcbbbbc ⇒ bcbbbbcca
18. cbacbbbbc ⇒ bcbbbbbaa
19. cbcbbbbcb ⇒ bcbbbbcbc
20. cbccbbbbc ⇒ bcbbbbbca
...

Collecting factors up to length 6, frequency 5:

Length 2:[2/0] bb, [2/1] cb, [2/2] bc, [2/3] cc, [2/4] ba
Length 3:[3/0] bbb, [3/1] bbc, [3/2] cbb, [3/3] bcb, [3/4] ccb
Length 4:[4/0] cbbb, [4/1] bbbc, [4/2] bcbb, [4/3] bbcb, [4/4] bbbb
Length 5:[5/0] bcbbb, [5/1] bbbbc, [5/2] cbbbb, [5/3] ccbbb, [5/4] bbbcb

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

Step 3

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ab ⇒ c
2. cb ⇒ d
3. dba ⇒ bc
4. dbc ⇒ bd
5. dbd ⇒ bdb
6. bdbba ⇒ dbbc
7. bdbbc ⇒ dbbd
8. cdbba ⇒ adbbc
9. cdbbc ⇒ adbbd
10. dbbdb ⇒ bdbbd
11. ddbba ⇒ adbbd
12. ddbbc ⇒ cdbbd
13. bdbbba ⇒ cdbbd
14. bdbbbc ⇒ ddbbd
15. bdbbda ⇒ dbbbc
16. bdbbdc ⇒ dbbbd
17. cdbbba ⇒ acdbbd
18. cdbbbc ⇒ addbbd
19. cdbbda ⇒ adbbbc
20. cdbbdc ⇒ adbbbd
...

Collecting factors up to length 6, frequency 5:

Length 2:[2/0] db, [2/1] bd, [2/2] bb, [2/3] cd, [2/4] bc
Length 3:[3/0] dbb, [3/1] bdb, [3/2] cdb, [3/3] bbc, [3/4] bba
Length 4:[4/0] cdbb, [4/1] bdbb, [4/2] dbbd, [4/3] dbbc, [4/4] dbba
Length 5:[5/0] dbbdc, [5/1] dbbda, [5/2] dbbbc, [5/3] dbbba, [5/4] cdbbd

Considering [length 2 / frequency 0] db=e.

Step 4

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