| Back: | ⟨a, b | aabbbba=baab⟩ |
|---|
Solved by morph:2/0. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: arenaTotalLimit
| # | Rule |
|---|---|
| 1. | aabbbba ⇒ baab |
| 2. | aabbbbbaab ⇒ baababbbba |
| 3. | baababbbbabbba ⇒ aabbbbbbaab |
| 4. | aabbbaabbbbbbaab ⇒ baabababbbbabbba |
| 5. | aabbbbbbaababbbba ⇒ baababbbbabbbbaab |
| 6. | baabababbbbabbbabbba ⇒ aabbbaabbbbbbbaab |
| 7. | baababbbbaaababbbbabbba ⇒ aabbbbbaaaabbbbbbaab |
| 8. | baababbbbabbbbaababbbba ⇒ aabbbbbbaababbbbbaab |
| ... |
Collecting factors up to length 8 / frequency 7:
| [2/0] | bb | 51 | lf:51,rf:45 |
|---|---|---|---|
| [2/1] | ba | 39 | lf:29,lp:4,ls:6,rf:21,rp:4,rs:2,lsrp:2 |
| [2/2] | ab | 29 | lf:27,ls:2,rf:23,rs:6 |
| [2/3] | aa | 19 | lf:15,lp:4,rf:18,rp:4 |
| [3/0] | bbb | 34 | lf:34,rf:33 |
| [3/1] | bba | 23 | lf:17,ls:6,rf:12,rs:2 |
| [3/2] | aab | 20 | lf:14,lp:4,ls:2,rf:16,rp:4,rs:6,lprs:2 |
| [3/3] | abb | 17 | lf:17,rf:12 |
| [3/4] | baa | 14 | lf:10,lp:4,rf:12,rp:4 |
| [3/5] | bab | 13 | lf:13,rf:7,a:1 |
| [3/6] | aba | 8 | lf:8,rf:5,a:1 |
| [4/0] | bbba | 23 | lf:17,ls:6,rf:12,rs:2 |
| [4/1] | bbbb | 17 | lf:17,rf:21 |
| [4/2] | abbb | 17 | lf:17,rf:12 |
| [4/3] | baab | 15 | lf:9,lp:4,ls:2,rf:11,rp:4,rs:6,re:1,lsrp:2,lprs:4 |
| [4/4] | babb | 12 | lf:12,rf:6,a:1 |
| [4/5] | aabb | 9 | lf:5,lp:4,rf:6,rp:4 |
| [4/6] | abab | 8 | lf:8,rf:5,a:1 |
| [5/0] | bbbba | 15 | lf:12,ls:3,rf:10,rs:1 |
| [5/1] | abbbb | 12 | lf:12,rf:10 |
| [5/2] | babbb | 12 | lf:12,rf:6,a:1 |
| [5/3] | baaba | 10 | lf:6,lp:4,rf:4,rp:3,a:1 |
| [5/4] | aabbb | 9 | lf:5,lp:4,rf:6,rp:4 |
| [5/5] | abbba | 8 | lf:5,ls:3,rf:2,rs:1,a:2 |
| [5/6] | ababb | 7 | lf:7,rf:4,a:1 |
| [6/0] | abbbba | 12 | lf:9,ls:3,rf:4,rs:1 |
| [6/1] | baabab | 10 | lf:6,lp:4,rf:4,rp:3,a:1 |
| [6/2] | babbbb | 8 | lf:8,rf:5,a:1 |
| [6/3] | aabbbb | 7 | lf:4,lp:3,rf:5,rp:3 |
| [6/4] | ababbb | 7 | lf:7,rf:4,a:1 |
| [6/5] | babbba | 7 | lf:4,ls:3,rf:1,rs:1,a:2 |
| [6/6] | bbbaab | 7 | lf:5,ls:2,rf:7,rs:5,a:1 |
| [7/0] | babbbba | 10 | lf:8,ls:2,rf:4,rs:1,a:1 |
| [7/1] | baababb | 8 | lf:5,lp:3,rf:3,rp:2,a:1 |
| [7/2] | ababbbb | 7 | lf:7,rf:4,a:1 |
| [7/3] | bbabbba | 7 | lf:4,ls:3,rf:1,rs:1,a:2 |
| [7/4] | bbbbaab | 6 | lf:4,ls:2,rf:6,rs:5,a:1 |
| [7/5] | aababbb | 6 | lf:6,rf:3,a:1 |
| [7/6] | bbbabbb | 5 | lf:5,rf:2,a:2 |
Considering [length 2 / frequency 0] bb=c.
Rewriting system is complete. See ⟨a, b | aabbbba=baab⟩.