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: rulesLimit

#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:

[2/0]aa51lf:47,lp:4,rf:48,rp:9,rs:3,lprp:4,lprs:3
[2/1]ab34lf:25,lp:5,ls:4,rf:27,rs:5,lprs:4
[2/2]ba26lf:21,ls:5,rf:22,rs:1
[3/0]aaa34lf:30,lp:4,rf:25,rp:9,lprp:4
[3/1]aba27lf:17,lp:5,ls:5,rf:22,rs:1,lprs:1
[3/2]aab21lf:17,ls:4,rf:20,rs:2
[4/0]aaab17lf:13,lp:4,rf:20,rp:9,rs:2,lprp:4,lprs:1
[4/1]aaaa17lf:17,rf:5,a:1
[4/2]aaba16lf:11,ls:5,rf:18,rs:1
[5/0]aaaba20lf:11,lp:4,ls:5,rf:18,rp:9,rs:1,re:1,lprp:4,lsrp:5
[5/1]abaaa12lf:8,lp:4,rf:11,a:1
[5/2]aaaaa12lf:12,rf:2,a:2
[6/0]aaaaba10lf:5,ls:5,rf:2,a:1
[6/1]aaaaaa9lf:9,a:2
[6/2]abaaaa8lf:4,lp:4,rf:3,a:1

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:

[2/0]cb82lf:60,lp:8,ls:14,rf:46,rp:8,rs:2,lprp:7,lsrp:7,a:2
[2/1]bc50lf:50,rf:52,rs:16,a:2
[2/2]cc28lf:27,lp:1,rf:37,rp:1,a:4
[2/3]ab16lf:8,lp:8,rf:8,rp:8,lprp:7,a:2
[2/4]bb12lf:12,rf:6,a:6
[3/0]bcb42lf:28,ls:14,rf:8,rs:2,a:2
[3/1]cbc38lf:30,lp:8,rf:38,rp:8,rs:16,lprp:7,lprs:8,a:4
[3/2]ccb24lf:23,lp:1,rf:29,rp:1,a:4
[3/3]bcc22lf:22,rf:28,a:6
[3/4]abc16lf:8,lp:8,rf:8,rp:8,lprp:7,a:2
[4/0]cbcb26lf:16,lp:4,ls:6,rf:5,rp:3,rs:1,re:1,lprp:1,lsrp:1,a:4
[4/1]cbcc18lf:14,lp:4,rf:17,rp:5,lprp:3,a:8
[4/2]bccb18lf:18,rf:20,a:6
[4/3]ccbc16lf:16,rf:27,rp:1,rs:15,re:1,a:6
[4/4]bbcb16lf:8,ls:8,a:6
[5/0]cbbcb16lf:8,ls:8,a:6
[5/1]cbccb14lf:10,lp:4,rf:9,rp:5,lprp:3,a:8
[5/2]bccbc12lf:12,rf:18,rs:8,a:6
[5/3]bcbcb12lf:6,ls:6,a:10
[5/4]ccbcc10lf:10,rf:10,a:11

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:

[2/0]ba18lf:9,lp:3,ls:6,rf:1,rs:1,lprs:1,a:3
[2/1]dc12lf:6,lp:3,ls:3,rf:3,rp:1,a:12
[2/2]db11lf:8,ls:3,rf:3,rs:3,a:3
[2/3]cd8lf:7,lp:1,rf:8,rp:3,rs:5,lprs:1,a:6
[2/4]ac8lf:4,lp:3,ls:1,rf:2,rp:2,rs:1,re:1,a:3
[3/0]cba6lf:3,ls:3,a:3
[3/1]cdc6lf:3,ls:3,a:12
[3/2]cda6lf:3,ls:3,a:8
[3/3]dba6lf:3,ls:3,a:7
[3/4]adb6lf:3,lp:2,ls:1,rf:1,rp:1,rs:1,re:1,a:3
[4/0]dbdb4lf:2,ls:2,a:39
[4/1]ddbd2lf:1,lp:1,a:42
[4/2]adbd2lf:1,lp:1,a:39
[4/3]cdda0rf:1,rp:1,rs:1,re:1,a:20
[4/4]ddcd0rf:1,rp:1,rs:1,re:1,a:42

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

Step 4

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