| Back: | ⟨a, b | aababaa=a⟩ |
|---|
Solved by morph:2/0. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | abaaa ⇒ aaaba |
| 2. | ababaa ⇒ aababa |
| 3. | aaababa ⇒ a |
| 4. | aaabaababa ⇒ abaa |
| 5. | aaabaabaababa ⇒ abaabaa |
| 6. | aaabaabaabaababa ⇒ abaabaabaa |
| 7. | aaabaabaabaabaababa ⇒ abaabaabaabaa |
| 8. | aaabaabaabaabaabaababa ⇒ abaabaabaabaabaa |
| 9. | aaabaabaabaabaabaabaababa ⇒ abaabaabaabaabaabaa |
| 10. | aaabaabaabaabaabaabaabaababa ⇒ abaabaabaabaabaabaabaa |
| 11. | aaabaabaabaabaabaabaabaabaababa ⇒ abaabaabaabaabaabaabaabaa |
| ... |
Collecting factors up to length 8 / frequency 7:
| [2/0] | aa | 68 | lf:57,lp:9,ls:2,rf:39,rp:2,rs:8,lsrp:2,lprs:8,a:1 |
|---|---|---|---|
| [2/1] | ba | 66 | lf:57,ls:9,rf:39,rs:2,a:1 |
| [2/2] | ab | 59 | lf:57,lp:2,rf:39,rp:8,a:1 |
| [3/0] | aba | 68 | lf:57,lp:2,ls:9,rf:39,rp:8,rs:2,lsrp:8,lprs:2,a:1 |
| [3/1] | aab | 45 | lf:45,rf:30,rp:1,a:1 |
| [3/2] | baa | 39 | lf:38,ls:1,rf:36,rs:8,a:1 |
| [3/3] | aaa | 20 | lf:10,lp:9,ls:1,rf:1,rp:1,lsrp:1,a:2 |
| [3/4] | bab | 10 | lf:10,rf:1,a:1 |
| [4/0] | aaba | 45 | lf:45,rf:30,rp:1,rs:1,a:1 |
| [4/1] | abaa | 40 | lf:38,lp:1,ls:1,rf:36,rp:8,rs:8,re:1,a:1 |
| [4/2] | baab | 36 | lf:36,rf:28,a:3 |
| [4/3] | baba | 19 | lf:10,ls:9,rf:1,rs:1,a:1 |
| [4/4] | aaab | 18 | lf:9,lp:9,rf:1,rp:1,a:2 |
| [4/5] | abab | 11 | lf:10,lp:1,rf:1,a:1 |
| [4/6] | baaa | 2 | lf:1,ls:1,a:4 |
| [5/0] | baaba | 36 | lf:36,rf:28,a:3 |
| [5/1] | abaab | 36 | lf:36,rf:28,rp:7,a:3 |
| [5/2] | aabaa | 36 | lf:36,rf:28,rs:7,a:3 |
| [5/3] | ababa | 20 | lf:10,lp:1,ls:9,rf:1,rs:1,lprs:10,a:1 |
| [5/4] | aaaba | 18 | lf:9,lp:9,rf:1,rp:1,rs:1,re:1,a:2 |
| [5/5] | aabab | 9 | lf:9,rf:1,rp:1,a:1 |
| [5/6] | babaa | 2 | lf:1,ls:1,a:1 |
| [6/0] | abaaba | 36 | lf:36,rf:28,rp:7,a:3 |
| [6/1] | aabaab | 36 | lf:36,rf:21,a:3 |
| [6/2] | baabaa | 28 | lf:28,rf:28,rs:7,a:5 |
| [6/3] | aababa | 18 | lf:9,ls:9,rf:1,rp:1,rs:1,re:1,a:1 |
| [6/4] | aaabaa | 16 | lf:8,lp:8,a:3 |
| [6/5] | baabab | 8 | lf:8,a:3 |
| [6/6] | aaabab | 2 | lf:1,lp:1,a:2 |
| [7/0] | aabaaba | 36 | lf:36,rf:21,a:3 |
| [7/1] | baabaab | 28 | lf:28,rf:21,a:5 |
| [7/2] | abaabaa | 28 | lf:28,rf:28,rp:7,rs:7,re:1,a:5 |
| [7/3] | baababa | 16 | lf:8,ls:8,a:3 |
| [7/4] | aaabaab | 16 | lf:8,lp:8,a:3 |
| [7/5] | abaabab | 8 | lf:8,a:3 |
Considering [length 2 / frequency 0] aa=c.
Rewriting system is complete. See ⟨a, b | aababaa=a⟩.