Morphocompletion for #2671 ⟨a, b | abaab=aaaba⟩

Back:⟨a, b | abaab=aaaba⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: arenaTotalLimit

#Rule
1. abaab ⇒ aaaba
2. abaaaaba ⇒ aaabaaab
3. abaaaaaaba ⇒ aaabaaabab
4. aaabaaabbaab ⇒ aaabaaaaabaa
5. abaaaaaaaaba ⇒ aaabaaababab
6. aaabaaababbaab ⇒ aaabaaabaaabaa
7. abaaaaaaaaaaba ⇒ aaabaaabababab
8. aaabaaabbaaaaba ⇒ aaabaaaaabaaaab
9. aaabaaabababbaab ⇒ aaabaaababaaabaa
...

Collecting factors up to length 7, frequency 3:

Length 2:[2/0] aa, [2/1] ab, [2/2] ba
Length 3:[3/0] aaa, [3/1] aba, [3/2] aab
Length 4:[4/0] aaab, [4/1] aaaa, [4/2] aaba
Length 5:[5/0] aaaba, [5/1] abaaa, [5/2] aaaaa
Length 6:[6/0] aaaaba, [6/1] aaaaaa, [6/2] abaaaa

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

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aa ⇒ c
2. ca ⇒ ac
3. acba ⇒ abcb
4. ccba ⇒ cbcb
5. abcba ⇒ acbc
6. cbcba ⇒ ccbc
7. abcbbcb ⇒ abccbc
8. cbcbbcb ⇒ cbccbc
9. abccbcbcb ⇒ abcbbccbc
10. cbccbcbcb ⇒ cbcbbccbc
11. abccbccbbcb ⇒ abccbcccbc
12. cbccbccbbcb ⇒ cbccbcccbc
13. abcbbccbcbcb ⇒ abccbcbccbc
14. cbcbbccbcbcb ⇒ cbccbcbccbc
15. abccbcccbcbcb ⇒ abccbccbbccbc
16. cbccbcccbcbcb ⇒ cbccbccbbccbc
17. abcbbccbccbbcb ⇒ abcbbccbcccbc
18. cbcbbccbccbbcb ⇒ cbcbbccbcccbc
19. abccbcccbccbbcb ⇒ abccbcccbcccbc
20. cbccbcccbccbbcb ⇒ cbccbcccbcccbc
...

Collecting factors up to length 6, frequency 5:

Length 2:[2/0] cb, [2/1] bc, [2/2] cc, [2/3] ab, [2/4] bb
Length 3:[3/0] bcb, [3/1] cbc, [3/2] ccb, [3/3] bcc, [3/4] abc
Length 4:[4/0] cbcb, [4/1] cbcc, [4/2] bccb, [4/3] ccbc, [4/4] bbcb
Length 5:[5/0] cbbcb, [5/1] cbccb, [5/2] bccbc, [5/3] bcbcb, [5/4] ccbcc

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

Step 3

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. aa ⇒ c
2. bc ⇒ d
3. ca ⇒ ac
4. bac ⇒ da
5. adba ⇒ acd
6. acda ⇒ add
7. acdc ⇒ adda
8. acba ⇒ adb
9. ddba ⇒ dcd
10. dcda ⇒ ddd
11. dcdc ⇒ ddda
12. dcba ⇒ ddb
13. badd ⇒ dada
14. badb ⇒ daba
15. cdba ⇒ ccd
16. ccda ⇒ cdd
17. ccdc ⇒ cdda
18. ccba ⇒ cdb
19. adbdb ⇒ adcd
20. ddbdb ⇒ ddcd
...

Collecting factors up to length 6, frequency 5:

Length 2:[2/0] ba, [2/1] dc, [2/2] db, [2/3] cd, [2/4] ac
Length 3:[3/0] cba, [3/1] cdc, [3/2] cda, [3/3] dba, [3/4] adb
Length 4:[4/0] dbdb, [4/1] ddbd, [4/2] adbd, [4/3] cdda, [4/4] ddcd

Considering [length 3 / frequency 0] cba=e.

Step 4

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