| Back: | ⟨a, b | aababbaba=ab⟩ |
|---|
Solved by morph:5/0. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: rulesLimit
| # | Rule |
|---|---|
| 1. | abbbaba ⇒ aababbb |
| 2. | aababbaba ⇒ ab |
| 3. | abbbbaba ⇒ abababbb |
| 4. | abbabbaba ⇒ aababbabb |
| 5. | abababbaba ⇒ abb |
| 6. | abbbbbaba ⇒ abbababbb |
| 7. | abbbabbaba ⇒ abababbabb |
| 8. | abbababbaba ⇒ abbb |
| 9. | abbbbbbaba ⇒ aababbbbbb |
| 10. | abbbbabbaba ⇒ abbababbabb |
| 11. | abbbbbbbaba ⇒ abababbbbbb |
| 12. | abbbbbabbaba ⇒ aababbbbbabb |
| 13. | abbbbbbbbaba ⇒ abbababbbbbb |
| 14. | abbbbbbabbaba ⇒ abababbbbbabb |
| 15. | abbbbbbbbbaba ⇒ aababbbbbbbbb |
| ... |
Collecting factors up to length 8 / frequency 7:
| [2/0] | bb | 59 | lf:59,rf:51,rs:14 |
|---|---|---|---|
| [2/1] | ba | 55 | lf:40,ls:15,rf:24 |
| [2/2] | ab | 54 | lf:40,lp:14,rf:39,rp:10,rs:1,re:1,lprp:9 |
| [2/3] | aa | 2 | lf:1,lp:1,rf:5,rp:5 |
| [3/0] | bbb | 38 | lf:38,rf:29,rs:8,a:3 |
| [3/1] | aba | 35 | lf:19,lp:1,ls:15,rf:16,rp:4,lsrp:4 |
| [3/2] | abb | 34 | lf:21,lp:13,rf:22,rp:5,rs:6,re:1,lprp:4,lprs:5 |
| [3/3] | bab | 25 | lf:25,rf:24 |
| [3/4] | bba | 21 | lf:21,rf:8 |
| [3/5] | aab | 2 | lf:1,lp:1,rf:5,rp:5 |
| [4/0] | baba | 32 | lf:17,ls:15,rf:7 |
| [4/1] | bbbb | 27 | lf:27,rf:19,rs:4,a:7 |
| [4/2] | abbb | 22 | lf:11,lp:11,rf:10,rp:1,rs:4,re:1,lprs:3,a:3 |
| [4/3] | bbab | 21 | lf:21,rf:8 |
| [4/4] | abba | 12 | lf:10,lp:2,rf:6,rp:3 |
| [4/5] | bbba | 11 | lf:11,rf:2,a:4 |
| [4/6] | babb | 8 | lf:8,rf:17,rs:5 |
| [5/0] | bbaba | 31 | lf:16,ls:15,rf:3 |
| [5/1] | bbbbb | 18 | lf:18,rf:13,rs:4,a:11 |
| [5/2] | abbbb | 18 | lf:9,lp:9,rf:6,a:7 |
| [5/3] | abbab | 12 | lf:10,lp:2,rf:6,rp:3 |
| [5/4] | bbbab | 11 | lf:11,rf:2,a:4 |
| [5/5] | bbbba | 9 | lf:9,rf:2,a:7 |
| [5/6] | babba | 8 | lf:8,rf:3 |
| [6/0] | abbaba | 18 | lf:9,lp:1,ls:8,rf:3,rp:3,lsrp:1 |
| [6/1] | abbbbb | 14 | lf:7,lp:7,rf:6,a:11 |
| [6/2] | bbbaba | 14 | lf:7,ls:7,a:6 |
| [6/3] | bbbbbb | 11 | lf:11,rf:7,rs:4,a:12 |
| [6/4] | bbbbab | 9 | lf:9,rf:2,a:7 |
| [6/5] | babbab | 8 | lf:8,rf:3 |
| [6/6] | bbbbba | 7 | lf:7,rf:2,a:11 |
| [7/0] | babbaba | 16 | lf:8,ls:8 |
| [7/1] | bbbbaba | 12 | lf:6,ls:6,a:7 |
| [7/2] | abbbbbb | 10 | lf:5,lp:5,rf:4,rs:3,lprs:3,a:12 |
| [7/3] | bbbbbab | 7 | lf:7,rf:2,a:11 |
| [7/4] | bbbbbbb | 6 | lf:6,rf:3,rs:1,a:13 |
| [7/5] | bbbbbba | 5 | lf:5,a:12 |
| [7/6] | bbabbab | 5 | lf:5,a:2 |
Considering [length 5 / frequency 0] bbaba=c.
Rewriting system is complete. See ⟨a, b | aababbaba=ab⟩.