| Back: | ⟨a, b | aaaaabbabba=1⟩ |
|---|
Solved by morph:3/0,5/0. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: rulesLimit
| # | Rule |
|---|---|
| 1. | bbabbaaaaaa ⇒ 1 |
| 2. | abbabb ⇒ bbabba |
| 3. | bbabbaabbaaaaa ⇒ abb |
| 4. | bbabbaaabbaaaaa ⇒ aabb |
| 5. | bbabbaaaabbaaaaa ⇒ aaabb |
| 6. | abbbbabba ⇒ bbabbaabb |
| 7. | bbabbababbaaaaaa ⇒ abbab |
| 8. | bbabbaabbbbaaaaa ⇒ abbbb |
| 9. | abbbbbbabba ⇒ bbabbaabbbb |
| 10. | abbbbbbbbabba ⇒ bbabbaabbbbbb |
| 11. | abbbbbbbbbbabba ⇒ bbabbaabbbbbbbb |
| 12. | abbbbbbbbbbbbabba ⇒ bbabbaabbbbbbbbbb |
| ... |
Collecting factors up to length 7 / frequency 4:
| [2/0] | bb | 68 | lf:61,lp:6,ls:1,rf:44,rp:6,rs:9,lsrp:1,lprs:4,a:6 |
|---|---|---|---|
| [2/1] | aa | 39 | lf:33,ls:6,rf:8,rp:2,lsrp:2,a:8 |
| [2/2] | ba | 34 | lf:29,ls:5,rf:13,rs:1,a:6 |
| [2/3] | ab | 30 | lf:24,lp:6,rf:17,rp:3,rs:1,a:6 |
| [3/0] | bba | 39 | lf:28,lp:6,ls:5,rf:13,rp:6,rs:1,lsrp:5,a:6 |
| [3/1] | bbb | 32 | lf:32,rf:22,rs:5,a:8 |
| [3/2] | abb | 30 | lf:23,lp:6,ls:1,rf:16,rp:3,rs:4,re:1,lprs:1,a:6 |
| [3/3] | aaa | 29 | lf:23,ls:6,rf:1,rp:1,lsrp:1,a:14 |
| [4/0] | bbbb | 26 | lf:26,rf:17,rs:5,a:8 |
| [4/1] | abba | 22 | lf:16,lp:1,ls:5,rf:7,rp:1,rs:1,lprs:1,a:6 |
| [4/2] | aaaa | 21 | lf:15,ls:6,a:14 |
| [4/3] | bbab | 19 | lf:13,lp:6,rf:7,rp:6,rs:1,lprs:1,a:6 |
| [5/0] | bbbbb | 20 | lf:20,rf:12,rs:3,a:9 |
| [5/1] | bbabb | 19 | lf:12,lp:6,ls:1,rf:6,rp:6,lsrp:10,a:6 |
| [5/2] | babba | 17 | lf:12,ls:5,rf:6,rs:1,a:6 |
| [5/3] | aaaaa | 14 | lf:8,ls:6,a:14 |
| [6/0] | bbabba | 22 | lf:11,lp:6,ls:5,rf:6,rp:6,rs:1,re:1,lsrp:5,a:6 |
| [6/1] | bbbbbb | 16 | lf:16,rf:9,rs:3,a:9 |
| [6/2] | baaaaa | 10 | lf:6,ls:4,a:14 |
| [6/3] | abbbbb | 8 | lf:4,lp:4,rf:3,a:9 |
Considering [length 3 / frequency 0] bba=c.
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | acc ⇒ cca |
| 2. | ccaaaaa ⇒ 1 |
| 3. | ccacaaaaa ⇒ ac |
| 4. | ccaacaaaaa ⇒ aac |
| 5. | ccacacaaaaa ⇒ acac |
| 6. | ccaaacaaaaa ⇒ aaac |
| 7. | ccbacaaaaac ⇒ ccba |
| 8. | acb ⇒ ccbacaaaaa |
| 9. | acbc ⇒ ccba |
| 10. | acbcccaaaa ⇒ ccb |
| 11. | cccaaaab ⇒ bcccaaaa |
| 12. | bb ⇒ cccaaaa |
| 13. | ccbacaaaaab ⇒ cc |
| ... |
Collecting factors up to length 6 / frequency 7:
| [2/0] | aa | 43 | lf:37,ls:6,rf:13,rp:2,rs:3,lsrp:2,a:3 |
|---|---|---|---|
| [2/1] | cc | 21 | lf:12,lp:8,ls:1,rf:10,rp:7,rs:1,re:1,lprp:2,lsrp:10,lprs:1,a:3 |
| [2/2] | ac | 17 | lf:12,lp:4,ls:1,rf:6,rp:2,rs:4,re:1,a:20 |
| [2/3] | ca | 14 | lf:14,rf:5,rs:1,a:3 |
| [2/4] | cb | 6 | lf:5,ls:1,rf:4,rs:1,a:32 |
| [2/5] | ab | 4 | lf:2,ls:2,a:23 |
| [2/6] | bc | 3 | lf:2,ls:1,rf:1,rp:1,a:23 |
| [3/0] | aaa | 32 | lf:26,ls:6,rf:8,rp:1,rs:3,lsrp:1,a:3 |
| [3/1] | cca | 12 | lf:7,lp:5,rf:3,rp:1,rs:1,re:1,a:3 |
| [3/2] | caa | 11 | lf:11,rf:3,a:3 |
| [3/3] | aca | 7 | lf:7,rf:2,rp:1,a:21 |
| [3/4] | aab | 4 | lf:2,ls:2,a:23 |
| [3/5] | acb | 4 | lf:2,lp:2,a:32 |
| [3/6] | ccb | 4 | lf:2,lp:2,rf:4,rp:4,rs:1,re:1,lprp:1,a:32 |
| [4/0] | aaaa | 22 | lf:16,ls:6,rf:4,rs:3,a:3 |
| [4/1] | caaa | 10 | lf:10,rf:3,a:3 |
| [4/2] | ccaa | 8 | lf:5,lp:3,rf:2,a:3 |
| [4/3] | acaa | 6 | lf:6,rf:1,a:21 |
| [4/4] | aaab | 4 | lf:2,ls:2,a:23 |
| [4/5] | ccba | 4 | lf:2,lp:2,rf:3,rp:3,rs:2,re:2,lprp:1,lprs:1,a:36 |
| [4/6] | ccac | 4 | lf:2,lp:2,a:22 |
| [5/0] | aaaaa | 12 | lf:7,ls:5,rf:1,rs:1,a:19 |
| [5/1] | caaaa | 10 | lf:9,ls:1,rf:3,rs:2,a:3 |
| [5/2] | acaaa | 6 | lf:6,rf:1,a:21 |
| [5/3] | ccaaa | 6 | lf:4,lp:2,rf:2,a:3 |
| [5/4] | aaaab | 4 | lf:2,ls:2,a:23 |
| [5/5] | ccbac | 4 | lf:2,lp:2,rf:1,rp:1,a:37 |
| [5/6] | ccaca | 4 | lf:2,lp:2,a:22 |
Considering [length 5 / frequency 0] aaaaa=d.
Rewriting system is complete. See ⟨a, b | aaaaabbabba=1⟩.