| Back: | ⟨a, b | aabababba=ab⟩ |
|---|
Solved by morph:7/0. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | aabababba ⇒ ab |
| 2. | ababababba ⇒ abb |
| 3. | aabababbb ⇒ abbababba |
| 4. | abbabababba ⇒ abbb |
| 5. | ababababbb ⇒ abbbababba |
| 6. | abbbabababba ⇒ abbbb |
| 7. | abbabababbb ⇒ abbbbababba |
| 8. | abbbbabababba ⇒ abbbbb |
| 9. | abbbabababbb ⇒ abbbbbababba |
| 10. | abbbbbabababba ⇒ abbbbbb |
| 11. | abbbbabababbb ⇒ abbbbbbababba |
| 12. | abbbbbbabababba ⇒ abbbbbbb |
| 13. | abbbbbabababbb ⇒ abbbbbbbababba |
| 14. | abbbbbbbabababba ⇒ abbbbbbbb |
| 15. | abbbbbbabababbb ⇒ abbbbbbbbababba |
| 16. | abbbbbbbbabababba ⇒ abbbbbbbbb |
| 17. | abbbbbbbabababbb ⇒ abbbbbbbbbababba |
| 18. | abbbbbbbbbabababba ⇒ abbbbbbbbbb |
| 19. | abbbbbbbbbbabababba ⇒ abbbbbbbbbbb |
| 20. | abbbbbbbbbbbabababba ⇒ abbbbbbbbbbbb |
| ... |
Collecting factors up to length 8 / frequency 7:
| [2/0] | bb | 112 | lf:104,ls:8,rf:110,rs:11 |
|---|---|---|---|
| [2/1] | ab | 96 | lf:78,lp:18,rf:36,rp:20,rs:1,re:1,lprp:18 |
| [2/2] | ba | 82 | lf:70,ls:12,rf:24,rs:8 |
| [2/3] | aa | 4 | lf:2,lp:2 |
| [3/0] | bbb | 76 | lf:68,ls:8,rf:83,rs:10,a:2 |
| [3/1] | bab | 58 | lf:58,rf:16 |
| [3/2] | abb | 52 | lf:36,lp:16,rf:27,rp:19,rs:1,re:1,lprp:16 |
| [3/3] | aba | 44 | lf:42,lp:2,rf:8 |
| [3/4] | bba | 40 | lf:28,ls:12,rf:16,rs:8 |
| [3/5] | aab | 4 | lf:2,lp:2 |
| [4/0] | bbbb | 46 | lf:46,rf:66,rs:9,a:3 |
| [4/1] | abbb | 44 | lf:22,lp:14,ls:8,rf:17,rp:17,rs:1,re:1,lprp:14,lsrp:7,a:2 |
| [4/2] | abab | 44 | lf:42,lp:2,rf:8 |
| [4/3] | baba | 38 | lf:38,rf:8 |
| [4/4] | abba | 28 | lf:14,lp:2,ls:12,rf:9,rp:1,rs:8,lprs:1 |
| [4/5] | babb | 20 | lf:20,rf:8 |
| [4/6] | bbab | 16 | lf:16,rf:8,a:2 |
| [5/0] | babab | 38 | lf:38,rf:8 |
| [5/1] | bbbbb | 34 | lf:34,rf:51,rs:8,a:6 |
| [5/2] | abbbb | 24 | lf:12,lp:12,rf:15,rp:15,rs:1,re:1,lprp:12,a:3 |
| [5/3] | babba | 24 | lf:12,ls:12,rf:8,rs:8 |
| [5/4] | ababa | 24 | lf:22,lp:2 |
| [5/5] | ababb | 20 | lf:20,rf:8 |
| [5/6] | babbb | 16 | lf:8,ls:8,a:4 |
| [6/0] | bbbbbb | 24 | lf:24,rf:38,rs:7,a:8 |
| [6/1] | ababab | 24 | lf:22,lp:2 |
| [6/2] | ababba | 24 | lf:12,ls:12,rf:8,rs:8 |
| [6/3] | abbbbb | 20 | lf:10,lp:10,rf:13,rp:13,rs:1,re:1,lprp:10,a:6 |
| [6/4] | bababb | 20 | lf:20,rf:8 |
| [6/5] | bababa | 18 | lf:18,a:1 |
| [6/6] | ababbb | 16 | lf:8,ls:8,a:4 |
| [7/0] | bababba | 24 | lf:12,ls:12,rf:8,rs:8 |
| [7/1] | abababb | 20 | lf:20 |
| [7/2] | bababab | 18 | lf:18,a:1 |
| [7/3] | bbbbbbb | 16 | lf:16,rf:27,rs:6,a:9 |
| [7/4] | abbbbbb | 16 | lf:8,lp:8,rf:11,rp:11,rs:1,re:1,lprp:8,a:8 |
| [7/5] | bababbb | 16 | lf:8,ls:8,a:4 |
| [7/6] | bbababa | 16 | lf:16,a:2 |
Considering [length 7 / frequency 0] bababba=c.
Rewriting system is complete. See ⟨a, b | aabababba=ab⟩.