| Back: | ⟨a, b | aababbabaa=a⟩ |
|---|
Solved by morph:2/0. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | abbabaaa ⇒ aaababba |
| 2. | ababbabaa ⇒ aababbaba |
| 3. | aaababbaba ⇒ a |
| 4. | abaaababba ⇒ a |
| 5. | aaababbaababbaba ⇒ abbabaa |
| 6. | aaababbaababbaababbaba ⇒ abbabaabbabaa |
| 7. | aaababbaababbaababbaababbaba ⇒ abbabaabbabaabbabaa |
| 8. | aaababbaababbaababbaababbaababbaba ⇒ abbabaabbabaabbabaabbabaa |
| 9. | aaababbaababbaababbaababbaababbaababbaba ⇒ abbabaabbabaabbabaabbabaabbabaa |
| 10. | aaababbaababbaababbaababbaababbaababbaababbaba ⇒ abbabaabbabaabbabaabbabaabbabaabbabaa |
| 11. | aaababbaababbaababbaababbaababbaababbaababbaababbaba ⇒ abbabaabbabaabbabaabbabaabbabaabbabaabbabaa |
| ... |
Collecting factors up to length 8 / frequency 7:
| [2/0] | ba | 97 | lf:88,ls:9,rf:61,rs:2,a:1 |
|---|---|---|---|
| [2/1] | ab | 91 | lf:88,lp:3,rf:61,rp:7,a:1 |
| [2/2] | aa | 59 | lf:49,lp:8,ls:2,rf:31,rp:2,rs:7,lsrp:2,lprs:7,a:1 |
| [2/3] | bb | 39 | lf:39,rf:30,a:1 |
| [3/0] | aba | 59 | lf:49,lp:2,ls:8,rf:31,rs:1,lprs:1,a:1 |
| [3/1] | bab | 48 | lf:48,rf:31,a:1 |
| [3/2] | bba | 40 | lf:39,ls:1,rf:30,rs:1,a:1 |
| [3/3] | abb | 40 | lf:39,lp:1,rf:30,rp:7,a:1 |
| [3/4] | aab | 37 | lf:37,rf:23,rp:1,a:1 |
| [3/5] | baa | 32 | lf:31,ls:1,rf:28,rs:7,a:1 |
| [3/6] | aaa | 19 | lf:10,lp:8,ls:1,rf:1,rp:1,lsrp:1,a:2 |
| [4/0] | abba | 41 | lf:39,lp:1,ls:1,rf:30,rp:7,rs:1,lprs:1,a:1 |
| [4/1] | abab | 39 | lf:38,lp:1,rf:2,a:1 |
| [4/2] | babb | 38 | lf:38,rf:2,a:1 |
| [4/3] | aaba | 37 | lf:37,rf:2,rp:1,a:1 |
| [4/4] | bbaa | 28 | lf:28,a:3 |
| [4/5] | baab | 28 | lf:28,rf:21,a:3 |
| [4/6] | baba | 18 | lf:10,ls:8,rf:29,rs:1,a:1 |
| [5/0] | babba | 39 | lf:38,ls:1,rf:2,rs:1,a:1 |
| [5/1] | ababb | 39 | lf:38,lp:1,rf:2,a:1 |
| [5/2] | aabab | 37 | lf:37,rf:2,rp:1,a:1 |
| [5/3] | bbaab | 28 | lf:28,a:3 |
| [5/4] | baaba | 28 | lf:28,a:3 |
| [5/5] | abbaa | 28 | lf:28,a:3 |
| [5/6] | bbaba | 18 | lf:10,ls:8,rf:29,rs:1,a:1 |
| [6/0] | ababba | 40 | lf:38,lp:1,ls:1,rf:2,rs:1,a:1 |
| [6/1] | aababb | 37 | lf:37,rf:2,rp:1,a:1 |
| [6/2] | bbaaba | 28 | lf:28,a:3 |
| [6/3] | babbaa | 28 | lf:28,a:3 |
| [6/4] | baabab | 28 | lf:28,a:3 |
| [6/5] | abbaab | 28 | lf:28,a:3 |
| [6/6] | abbaba | 19 | lf:10,lp:1,ls:8,rf:29,rp:7,rs:1,lsrp:7,a:1 |
| [7/0] | aababba | 38 | lf:37,ls:1,rf:2,rp:1,rs:1,a:1 |
| [7/1] | bbaabab | 28 | lf:28,a:3 |
| [7/2] | babbaab | 28 | lf:28,a:3 |
| [7/3] | baababb | 28 | lf:28,a:3 |
| [7/4] | abbaaba | 28 | lf:28,a:3 |
| [7/5] | ababbaa | 28 | lf:28,a:3 |
| [7/6] | babbaba | 17 | lf:9,ls:8,rf:1,rs:1,a:1 |
Considering [length 2 / frequency 0] ba=c.
Rewriting system is complete. See ⟨a, b | aababbabaa=a⟩.