| Back: | ⟨a, b | abba=abab⟩ |
|---|
Solved by morph:5/0. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: trailTotalLimit
| # | Rule |
|---|---|
| 1. | abab ⇒ abba |
| 2. | abbaab ⇒ abbaba |
| 3. | abbabaab ⇒ abbabbaa |
| 4. | abbabbaaab ⇒ abbabbabaa |
| 5. | abbabbabaaab ⇒ abbabbabbaaa |
| 6. | abbabbabbaaaab ⇒ abbabbabbabaaa |
| 7. | abbabbabbabaaaab ⇒ abbabbabbabbaaaa |
| 8. | abbabbabbabbaaaaab ⇒ abbabbabbabbabaaaa |
| 9. | abbabbabbabbabaaaaab ⇒ abbabbabbabbabbaaaaa |
| 10. | abbabbabbabbabbaaaaaab ⇒ abbabbabbabbabbabaaaaa |
| 11. | abbabbabbabbabbabaaaaaab ⇒ abbabbabbabbabbabbaaaaaa |
| 12. | abbabbabbabbabbabbaaaaaaab ⇒ abbabbabbabbabbabbabaaaaaa |
| 13. | abbabbabbabbabbabbabaaaaaaab ⇒ abbabbabbabbabbabbabbaaaaaaa |
| 14. | abbabbabbabbabbabbabbaaaaaaaab ⇒ abbabbabbabbabbabbabbabaaaaaaa |
| 15. | abbabbabbabbabbabbabbabaaaaaaaab ⇒ abbabbabbabbabbabbabbabbaaaaaaaa |
| 16. | abbabbabbabbabbabbabbabbaaaaaaaaab ⇒ abbabbabbabbabbabbabbabbabaaaaaaaa |
| ... |
Collecting factors up to length 8 / frequency 7:
| [2/0] | ab | 120 | lf:88,lp:16,ls:16,rf:80,rp:16,lprp:16,lsrp:16 |
|---|---|---|---|
| [2/1] | ba | 72 | lf:72,rf:80,rs:2 |
| [2/2] | aa | 64 | lf:64,rf:56,rs:14,a:1 |
| [2/3] | bb | 64 | lf:64,rf:72 |
| [3/0] | abb | 79 | lf:64,lp:15,rf:72,rp:16,lprp:15 |
| [3/1] | bba | 64 | lf:64,rf:72,rs:1 |
| [3/2] | bab | 58 | lf:57,ls:1,rf:64 |
| [3/3] | aaa | 49 | lf:49,rf:42,rs:12,a:3 |
| [3/4] | aab | 30 | lf:15,ls:15,a:1 |
| [3/5] | baa | 15 | lf:15,rf:14,rs:2,a:1 |
| [3/6] | aba | 9 | lf:8,lp:1,rf:8,rs:1 |
| [4/0] | abba | 79 | lf:64,lp:15,rf:72,rp:16,rs:1,re:1,lprp:15 |
| [4/1] | bbab | 56 | lf:56,rf:64,a:1 |
| [4/2] | babb | 49 | lf:49,rf:56,a:2 |
| [4/3] | aaaa | 36 | lf:36,rf:30,rs:10,a:5 |
| [4/4] | aaab | 26 | lf:13,ls:13,a:3 |
| [4/5] | baaa | 13 | lf:13,rf:12,rs:2,a:3 |
| [4/6] | bbaa | 8 | lf:8,rf:7,rs:1,a:1 |
| [5/0] | abbab | 70 | lf:56,lp:14,rf:64,rp:15,lprp:14,a:1 |
| [5/1] | babba | 49 | lf:49,rf:56,a:2 |
| [5/2] | bbabb | 49 | lf:49,rf:56,a:2 |
| [5/3] | aaaaa | 25 | lf:25,rf:20,rs:8,a:7 |
| [5/4] | aaaab | 22 | lf:11,ls:11,a:5 |
| [5/5] | baaaa | 11 | lf:11,rf:10,rs:2,a:5 |
| [5/6] | abbaa | 9 | lf:8,lp:1,rf:7,rs:1,a:1 |
| [6/0] | abbabb | 62 | lf:49,lp:13,rf:56,rp:14,lprp:13,a:2 |
| [6/1] | bbabba | 49 | lf:49,rf:56,a:2 |
| [6/2] | babbab | 42 | lf:42,rf:49,a:3 |
| [6/3] | aaaaab | 18 | lf:9,ls:9,a:7 |
| [6/4] | aaaaaa | 16 | lf:16,rf:12,rs:6,a:9 |
| [6/5] | baaaaa | 9 | lf:9,rf:8,rs:2,a:7 |
| [6/6] | abbaba | 8 | lf:7,lp:1,rf:8,rp:1,rs:1,re:1,a:1 |
| [7/0] | abbabba | 62 | lf:49,lp:13,rf:56,rp:14,lprp:13,a:2 |
| [7/1] | bbabbab | 42 | lf:42,rf:49,a:3 |
| [7/2] | babbabb | 36 | lf:36,rf:42,a:4 |
| [7/3] | aaaaaab | 14 | lf:7,ls:7,a:9 |
| [7/4] | aaaaaaa | 9 | lf:9,rf:6,rs:4,a:11 |
| [7/5] | abbabaa | 8 | lf:7,lp:1,rf:7,rs:1,a:2 |
| [7/6] | baaaaaa | 7 | lf:7,rf:6,rs:2,a:9 |
Considering [length 5 / frequency 0] abbab=c.
Rewriting system is complete. See ⟨a, b | abba=abab⟩.