| Back: | ⟨a, b | abaaaab=aaba⟩ |
|---|
Solved by morph:2/2,3/2,3/0. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: rulesLimit
| # | Rule |
|---|---|
| 1. | abaaaab ⇒ aaba |
| 2. | abaaaaaba ⇒ aabaaaaab |
| 3. | ababaaaaaaba ⇒ aabaaaaaabab |
| 4. | aaaaabaaaaabb ⇒ abaaaaaaba |
| 5. | abaabaaaaaaba ⇒ aabaaaaaabaab |
| 6. | aabaaaaabbaaaab ⇒ aaabaaaaabba |
| 7. | abaaaaaabaaaaab ⇒ aabaaaaaabaa |
| 8. | aabaaaaaababaaab ⇒ ababaaaaaaaba |
| ... |
Collecting factors up to length 7 / frequency 3:
| [2/0] | aa | 54 | lf:51,lp:3,rf:43,rp:6,rs:1,lprp:1 |
|---|---|---|---|
| [2/1] | ab | 31 | lf:22,lp:5,ls:4,rf:18,rp:2,rs:3,lsrp:1,lprs:3 |
| [2/2] | ba | 20 | lf:17,ls:3,rf:15,rs:4 |
| [3/0] | aaa | 37 | lf:36,lp:1,rf:28,rp:1 |
| [3/1] | aba | 24 | lf:16,lp:5,ls:3,rf:14,rp:2,rs:3,lprs:1 |
| [3/2] | aab | 21 | lf:15,lp:2,ls:4,rf:14,rp:5,rs:2,lsrp:2 |
| [4/0] | aaaa | 25 | lf:24,lp:1,rf:20 |
| [4/1] | aaab | 16 | lf:12,ls:4,rf:8,rp:1,rs:1,lsrp:1 |
| [4/2] | abaa | 15 | lf:11,lp:4,rf:9,rp:1,rs:1,lprs:1 |
| [5/0] | aaaab | 14 | lf:11,ls:3,rf:7,rs:1 |
| [5/1] | aaaaa | 14 | lf:13,lp:1,rf:13,a:1 |
| [5/2] | abaaa | 13 | lf:10,lp:3,rf:7,rp:1 |
| [6/0] | abaaaa | 12 | lf:9,lp:3,rf:7,rp:1 |
| [6/1] | aaaaab | 11 | lf:9,lp:1,ls:1,rf:7,rs:1,a:1 |
| [6/2] | aaaaba | 9 | lf:6,ls:3,rf:5,rs:2,a:1 |
Considering [length 2 / frequency 2] ba=c.
Checking up to 20 rules for overlaps.
Rewriting system is not complete: pendingRulesLimit
| # | Rule |
|---|---|
| 1. | ba ⇒ c |
| 2. | ccaaac ⇒ caca |
| 3. | ccaaab ⇒ cac |
| 4. | acaaac ⇒ aaca |
| 5. | acaaab ⇒ aac |
| 6. | cacaaaac ⇒ ccaaaaca |
| 7. | cacaaaab ⇒ ccaaaac |
| 8. | aacaaaac ⇒ acaaaaca |
| 9. | aacaaaab ⇒ acaaaac |
| 10. | cccaaaacaa ⇒ cacaaaaab |
| 11. | cacaaaaacc ⇒ cccaaaaaca |
| 12. | cacaaaaacb ⇒ cccaaaaac |
| 13. | accaaaacaa ⇒ aacaaaaab |
| 14. | aacaaaaacc ⇒ accaaaaaca |
| 15. | aacaaaaacb ⇒ accaaaaac |
| 16. | cacaaaaacac ⇒ ccacaaaaaca |
| 17. | cacaaaaacab ⇒ ccacaaaaac |
| 18. | aacaaaaacac ⇒ acacaaaaaca |
| 19. | aacaaaaacab ⇒ acacaaaaac |
| 20. | ccaaccaaaaac ⇒ cacaaaaaacb |
| ... |
Collecting factors up to length 6 / frequency 5:
| [2/0] | aa | 79 | lf:71,lp:6,ls:2,rf:60,rp:3,lsrp:1,a:2 |
|---|---|---|---|
| [2/1] | ac | 43 | lf:33,lp:3,ls:7,rf:30,rp:6,rs:8,lsrp:2,lprs:1,a:2 |
| [2/2] | ca | 38 | lf:32,lp:6,rf:31,rp:4,rs:8,lprs:3,a:2 |
| [2/3] | cc | 15 | lf:9,lp:4,ls:2,rf:10,rp:6,lsrp:1,a:3 |
| [2/4] | ab | 12 | lf:6,ls:6,rf:2,rs:2,a:2 |
| [3/0] | aaa | 43 | lf:43,rf:42,a:2 |
| [3/1] | aac | 33 | lf:22,lp:6,ls:5,rf:16,rp:3,rs:7,re:1,lsrp:1,lprs:3,a:2 |
| [3/2] | caa | 24 | lf:22,ls:2,rf:15,a:2 |
| [3/3] | aca | 22 | lf:20,lp:2,rf:19,rp:4,rs:8,lprs:1,a:2 |
| [3/4] | cac | 16 | lf:8,lp:6,ls:2,rf:8,rp:4,rs:1,re:1,a:3 |
| [4/0] | aaaa | 24 | lf:24,rf:27,a:6 |
| [4/1] | aaac | 20 | lf:15,ls:5,rf:13,rs:6,a:4 |
| [4/2] | acaa | 20 | lf:16,lp:2,ls:2,rf:9,rp:2,a:2 |
| [4/3] | caaa | 19 | lf:19,rf:15,a:2 |
| [4/4] | aaca | 18 | lf:12,lp:6,rf:8,rp:2,rs:7,re:1,lprs:3,a:4 |
| [5/0] | aaaac | 16 | lf:13,ls:3,rf:13,rs:6,a:6 |
| [5/1] | aacaa | 16 | lf:8,lp:6,ls:2,rf:1,rp:1,lsrp:1,a:7 |
| [5/2] | acaaa | 16 | lf:14,lp:2,rf:9,rp:2,a:2 |
| [5/3] | caaaa | 15 | lf:15,rf:15,a:6 |
| [5/4] | cacaa | 12 | lf:6,lp:6,rf:6,rp:2,a:6 |
Considering [length 3 / frequency 2] caa=d.
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | ba ⇒ c |
| 2. | caa ⇒ d |
| 3. | cdac ⇒ caca |
| 4. | cdab ⇒ cac |
| 5. | cdad ⇒ cada |
| 6. | adac ⇒ aaca |
| 7. | adab ⇒ aac |
| 8. | adad ⇒ aada |
| 9. | ddac ⇒ daca |
| 10. | ddab ⇒ dac |
| 11. | ddad ⇒ dada |
| 12. | ddaac ⇒ cdaad |
| 13. | cadaac ⇒ ddaab |
| 14. | cadaab ⇒ cdaac |
| 15. | cdaaca ⇒ ddaab |
| 16. | cdaada ⇒ cadaad |
| 17. | aadaab ⇒ adaac |
| 18. | adaaca ⇒ aadaac |
| 19. | adaada ⇒ aadaad |
| 20. | dadaab ⇒ ddaac |
| ... |
Collecting factors up to length 6 / frequency 5:
| [2/0] | da | 24 | lf:21,lp:1,ls:2,rf:15,rp:3,rs:3,a:3 |
|---|---|---|---|
| [2/1] | ad | 22 | lf:14,lp:5,ls:3,rf:10,rp:1,rs:3,lprs:1,a:3 |
| [2/2] | aa | 13 | lf:11,lp:1,ls:1,rf:14,rp:5,a:2 |
| [2/3] | ab | 12 | lf:6,ls:6,rf:2,rs:2,a:3 |
| [2/4] | ac | 12 | lf:7,ls:5,rf:10,rs:7,a:3 |
| [3/0] | ada | 18 | lf:11,lp:5,ls:2,rf:7,rp:1,rs:3,lprs:10,a:3 |
| [3/1] | cda | 10 | lf:5,lp:5,rf:2,rp:2,a:4 |
| [3/2] | daa | 9 | lf:9,rf:9,a:11 |
| [3/3] | dda | 8 | lf:4,lp:4,rf:3,rp:3,a:5 |
| [3/4] | dad | 8 | lf:4,lp:1,ls:3,rf:1,rp:1,lsrp:10,a:9 |
| [4/0] | adaa | 8 | lf:6,lp:2,rf:4,rp:1,a:11 |
| [4/1] | daab | 6 | lf:3,ls:3,rf:2,rs:2,a:11 |
| [4/2] | daac | 6 | lf:4,ls:2,rf:4,rs:4,a:11 |
| [4/3] | aada | 6 | lf:3,lp:1,ls:2,rf:3,rp:3,rs:1,re:1,lsrp:1,a:12 |
| [4/4] | aaca | 4 | lf:2,ls:2,rf:1,rp:1,rs:1,re:1,a:6 |
| [5/0] | adaab | 6 | lf:3,ls:3,a:11 |
| [5/1] | daada | 4 | lf:2,ls:2,a:15 |
| [5/2] | daaca | 4 | lf:2,ls:2,a:13 |
| [5/3] | adaac | 4 | lf:2,lp:1,ls:1,rf:2,rp:1,rs:2,re:1,lprs:10,a:16 |
| [5/4] | cadaa | 4 | lf:2,lp:2,rf:1,rp:1,a:11 |
Considering [length 3 / frequency 0] ada=e.
Rewriting system is complete. See ⟨a, b | abaaaab=aaba⟩.