| Back: | ⟨a, b | aabaaab=baba⟩ |
|---|
Solved by morph:6/0. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: lhsLimit
| # | Rule |
|---|---|
| 1. | baba ⇒ aabaaab |
| 2. | aabaaabba ⇒ baaabaaab |
| 3. | aabaaaaabaaabaabba ⇒ babbaaabaaab |
| 4. | aabaaaaabaaabaaaabaaabaabba ⇒ babbabbaaabaaab |
| 5. | aabaaaaabaaabaaaabaaabaaaabaaabaabba ⇒ babbabbabbaaabaaab |
| 6. | aabaaaaabaaabaaaabaaabaaaabaaabaaaabaaabaabba ⇒ babbabbabbabbaaabaaab |
| 7. | aabaaaaabaaabaaaabaaabaaaabaaabaaaabaaabaaaabaaabaabba ⇒ babbabbabbabbabbaaabaaab |
| 8. | aabaaaaabaaabaaaabaaabaaaabaaabaaaabaaabaaaabaaabaaaabaaabaabba ⇒ babbabbabbabbabbabbaaabaaab |
| 9. | aabaaaaabaaabaaaabaaabaaaabaaabaaaabaaabaaaabaaabaaaabaaabaaaabaaabaabba ⇒ babbabbabbabbabbabbabbaaabaaab |
| ... |
Collecting factors up to length 8 / frequency 7:
| [2/0] | aa | 172 | lf:164,lp:8,rf:35,rp:1 |
|---|---|---|---|
| [2/1] | ba | 84 | lf:74,lp:1,ls:9,rf:45,rp:8,lsrp:8 |
| [2/2] | ab | 73 | lf:73,rf:46,rs:9 |
| [2/3] | bb | 8 | lf:8,rf:28,a:1 |
| [3/0] | aaa | 92 | lf:92,rf:17 |
| [3/1] | aab | 80 | lf:72,lp:8,rf:18,rp:1,rs:9,lprs:8 |
| [3/2] | aba | 66 | lf:65,ls:1,rf:9 |
| [3/3] | baa | 64 | lf:64,rf:17,rp:1 |
| [3/4] | bba | 16 | lf:8,ls:8,rf:28,a:1 |
| [3/5] | abb | 8 | lf:8,rf:28,a:1 |
| [3/6] | bab | 2 | lf:1,lp:1,rf:28,rp:7 |
| [4/0] | aaba | 72 | lf:64,lp:8,rf:9,rp:1 |
| [4/1] | abaa | 64 | lf:64,rf:9 |
| [4/2] | baaa | 57 | lf:57,rf:17,rp:1 |
| [4/3] | aaab | 57 | lf:57,rf:17,rs:9 |
| [4/4] | aaaa | 35 | lf:35,a:2 |
| [4/5] | abba | 16 | lf:8,ls:8,rf:28,a:1 |
| [4/6] | aabb | 8 | lf:8,a:1 |
| [5/0] | aabaa | 72 | lf:64,lp:8,rf:9,rp:1 |
| [5/1] | abaaa | 57 | lf:57,rf:9 |
| [5/2] | aaaba | 56 | lf:56,rf:8,a:1 |
| [5/3] | baaab | 29 | lf:29,rf:17,rp:1,rs:9 |
| [5/4] | baaaa | 28 | lf:28,a:2 |
| [5/5] | aaaab | 28 | lf:28,a:2 |
| [5/6] | aabba | 16 | lf:8,ls:8,a:1 |
| [6/0] | aabaaa | 65 | lf:57,lp:8,rf:9,rp:1 |
| [6/1] | aaabaa | 56 | lf:56,rf:8,a:1 |
| [6/2] | abaaab | 29 | lf:29,rf:9,rs:9 |
| [6/3] | baaaba | 28 | lf:28,rf:8,rp:1,a:1 |
| [6/4] | abaaaa | 28 | lf:28,a:2 |
| [6/5] | aaaaba | 28 | lf:28,a:2 |
| [6/6] | baaaab | 21 | lf:21,a:3 |
| [7/0] | aaabaaa | 49 | lf:49,rf:8,a:1 |
| [7/1] | aabaaaa | 35 | lf:28,lp:7,a:2 |
| [7/2] | aabaaab | 30 | lf:29,lp:1,rf:9,rp:1,rs:9,re:1,lprs:1 |
| [7/3] | baaabaa | 28 | lf:28,rf:8,rp:1,a:1 |
| [7/4] | abaaaba | 28 | lf:28,a:2 |
| [7/5] | aaaabaa | 28 | lf:28,a:2 |
| [7/6] | baaaaba | 21 | lf:21,a:3 |
Considering [length 6 / frequency 0] aabaaa=c.
Rewriting system is complete. See ⟨a, b | aabaaab=baba⟩.