Morphocompletion for #1777 ⟨a, b | ababaaaab=a⟩

Back:⟨a, b | ababaaaab=a⟩

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

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

#Rule
1. aaaaabb ⇒ ababaaa
2. aabaaaab ⇒ ababaaaa
3. ababaaaab ⇒ a
4. aaaaababbab ⇒ ababaaababa
5. aaaaabababbab ⇒ aaaaababbbaba
6. ababaaababaaaa ⇒ aaaaab
7. ababaaaaaaaab ⇒ aabaaababaaaa
8. aaaaababbbabaaaa ⇒ aaaaabab
9. ababaaababababaaa ⇒ aaaaababb
...

Collecting factors up to length 7 / frequency 3:

[2/0]aa50lf:42,lp:5,ls:3,rf:29,rp:5,rs:3,lprp:2,lsrp:3,lprs:2
[2/1]ab38lf:29,lp:4,ls:5,rf:19,rp:3,rs:2,lsrp:2,lprs:1
[2/2]ba23lf:23,rf:16,rs:2
[3/0]aaa36lf:29,lp:4,ls:3,rf:19,rp:4,rs:3,lprp:2,lsrp:3,lprs:1
[3/1]aba24lf:20,lp:4,rf:15,rp:3,rs:2
[3/2]bab17lf:15,ls:2,rf:9,rs:1
[4/0]aaaa23lf:17,lp:4,ls:2,rf:10,rp:4,rs:2,lprp:2,lsrp:2
[4/1]abab16lf:12,lp:4,rf:8,rp:3,rs:1
[4/2]aaab12lf:9,ls:3,rf:6,rs:1
[5/0]ababa13lf:9,lp:4,rf:5,rp:3,rs:1
[5/1]aaaaa12lf:8,lp:4,rf:4,rp:4,lprp:2,a:2
[5/2]aaaab10lf:7,ls:3,rf:4,rs:1
[6/0]aaaaab10lf:5,lp:4,ls:1,rf:4,rp:4,rs:1,re:1,lprp:2,a:2
[6/1]ababaa10lf:6,lp:4,rf:4,rp:3
[6/2]babaaa8lf:7,ls:1,rf:4,rs:1

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

Step 2

Checking up to 20 rules for overlaps.

Rewriting system is not complete: pendingRulesLimit

#Rule
1. ab ⇒ c
2. ccaaac ⇒ a
3. acaaac ⇒ ccaaaa
4. aaaacb ⇒ ccaaa
5. aaaaccbb ⇒ ccaaccccaac
6. aaaaccbc ⇒ ccaacca
7. ccaaccccaaa ⇒ aaaaccb
8. ccaaccccaacca ⇒ aaaacccbc
9. aaaacacbb ⇒ ccaaccaccaac
10. aaaacacbc ⇒ ccaaccaa
11. aaaaccacbc ⇒ aaaacccbca
12. ccaaccaaaa ⇒ aaaac
13. ccaaccaccaaa ⇒ aaaacacb
14. ccaaaaaaac ⇒ acaaccaaaa
...

Collecting factors up to length 6 / frequency 5:

[2/0]aa49lf:40,lp:6,ls:3,rf:31,rp:5,rs:4,lprp:1,lsrp:3,lprs:2,a:2
[2/1]cc25lf:19,lp:6,rf:19,rp:6,a:2
[2/2]ac23lf:19,lp:1,ls:3,rf:15,rp:1,rs:3,lsrp:1,a:2
[2/3]ca17lf:16,ls:1,rf:15,rs:2,a:2
[2/4]cb7lf:6,ls:1,rf:4,rs:2,a:7
[3/0]aaa32lf:23,lp:6,ls:3,rf:15,rp:5,rs:3,lprp:1,lsrp:3,lprs:1,a:2
[3/1]cca20lf:13,lp:6,ls:1,rf:12,rp:6,rs:1,a:2
[3/2]aac17lf:14,ls:3,rf:12,rs:3,a:2
[3/3]caa11lf:11,rf:11,rs:1,a:2
[3/4]acc9lf:9,rf:9,a:4
[4/0]aaaa18lf:11,lp:6,ls:1,rf:7,rp:5,rs:2,lprp:1,lsrp:1,a:3
[4/1]ccaa16lf:10,lp:6,rf:10,rp:6,rs:1,a:2
[4/2]aaac12lf:9,ls:3,rf:5,rs:1,a:2
[4/3]caaa8lf:6,ls:2,rf:3,rs:1,a:2
[4/4]aacc8lf:8,rf:8,a:4
[5/0]aaaac14lf:7,lp:6,ls:1,rf:5,rp:5,rs:1,re:1,lprp:1,a:4
[5/1]ccaaa9lf:5,lp:2,ls:2,rf:3,rp:2,rs:1,re:1,a:2
[5/2]ccaac9lf:5,lp:4,rf:6,rp:4,rs:2,a:4
[5/3]aacca5lf:4,ls:1,rf:4,rs:1,a:4
[5/4]caacc5lf:5,rf:5,a:4

Considering [length 3 / frequency 3] caa=d.

Step 3

Checking up to 20 rules for overlaps.

Rewriting system is not complete: roundsLimit

#Rule
1. ab ⇒ c
2. ccdad ⇒ da
3. cac ⇒ db
4. ddac ⇒ dbdbdad
5. cdac ⇒ a
6. dbdac ⇒ d
7. cadb ⇒ dbac
8. dbdadb ⇒ dac
9. cadc ⇒ dbcdadb
10. daa ⇒ dbdad
11. caa ⇒ d
12. dbaa ⇒ cad
13. cada ⇒ dbcdad
14. dbdada ⇒ dcdad
15. adad ⇒ cdcdada
16. acdad ⇒ cdada
17. aac ⇒ cdadb
18. adac ⇒ cdbdad
19. aadb ⇒ cdadbac
20. aaa ⇒ cdad
...

Collecting factors up to length 6 / frequency 5:

[2/0]ad16lf:11,lp:2,ls:3,rf:12,rs:7,lprs:1,a:5
[2/1]da15lf:12,lp:1,ls:2,rf:15,rp:2,rs:3,re:1,a:3
[2/2]aa14lf:7,lp:3,ls:4,a:2
[2/3]ac14lf:7,lp:1,ls:6,rf:3,rs:3,a:3
[2/4]db14lf:7,lp:4,ls:3,rf:11,rp:6,rs:3,re:1,lsrp:1,a:4
[3/0]ada8lf:4,lp:2,ls:2,rf:2,rs:2,lprs:1,a:8
[3/1]dac8lf:4,ls:4,rf:1,rp:1,rs:1,re:1,a:3
[3/2]dad8lf:5,ls:3,rf:11,rs:6,a:7
[3/3]adb6lf:3,ls:3,rf:3,rs:2,a:6
[3/4]cad6lf:3,lp:3,rf:1,rp:1,rs:1,re:1,a:5
[4/0]dbda6lf:3,lp:3,rf:3,rp:1,a:8
[4/1]cdad4lf:2,ls:2,rf:8,rp:4,rs:3,re:1,lsrp:10,a:7
[4/2]acda2lf:1,lp:1,a:16
[4/3]dada2lf:1,ls:1,rf:2,rs:2,a:16
[4/4]dadb2lf:1,ls:1,rf:3,rs:2,a:9
[5/0]dbdad4lf:2,lp:2,rf:3,rp:1,rs:3,re:1,a:8
[5/1]bdada2lf:1,ls:1,a:17
[5/2]bdadb2lf:1,ls:1,a:13
[5/3]adbac0rf:1,rs:1,a:18
[5/4]dadba0rf:1,a:18

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

Step 4

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