| Back: | ⟨a, b | abbbba=bbabb⟩ |
|---|
Solved by morph:2/0,2/1,2/0. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: arenaTotalLimit
| # | Rule |
|---|---|
| 1. | abbbba ⇒ bbabb |
| 2. | bbabbbbbba ⇒ abbbbbbabb |
| 3. | aabbbbbbabbbb ⇒ bbabbbbbbbba |
| 4. | bbabbbbbbbbaa ⇒ aabbbbbbbbabb |
| 5. | bbabbbbbbbbabba ⇒ abbabbbbbbbbabb |
| 6. | abbaabbbbbbbbabb ⇒ bbabbbbbbbbbbaa |
| 7. | abbbbbbabbbbbbbba ⇒ bbbbabbbbbbbbabb |
| 8. | abbabbabbbbbbbbabb ⇒ bbabbbbbbbbbbabba |
| 9. | bbabbbbbbbbbbaabba ⇒ abbaabbbbbbbbbbabb |
| ... |
Collecting factors up to length 7 / frequency 3:
| [2/0] | bb | 83 | lf:76,lp:4,ls:3,rf:76,rp:5,rs:6,lsrp:3,lprs:4 |
|---|---|---|---|
| [2/1] | ba | 24 | lf:19,ls:5,rf:16,rs:2 |
| [2/2] | ab | 22 | lf:18,lp:4,rf:17,rp:3 |
| [3/0] | bbb | 55 | lf:54,ls:1,rf:54,rp:1 |
| [3/1] | bba | 28 | lf:19,lp:4,ls:5,rf:16,rp:4,rs:2,lsrp:1 |
| [3/2] | abb | 24 | lf:18,lp:4,ls:2,rf:17,rp:3,rs:6,lprs:2 |
| [4/0] | bbbb | 44 | lf:43,ls:1,rf:45,rp:1 |
| [4/1] | bbab | 15 | lf:11,lp:4,rf:12,rp:4 |
| [4/2] | bbba | 13 | lf:10,ls:3,rf:9,rs:1 |
| [5/0] | bbbbb | 32 | lf:32,rf:36,a:1 |
| [5/1] | bbabb | 17 | lf:11,lp:4,ls:2,rf:12,rp:4,rs:6,re:1,lsrp:2,lprs:4 |
| [5/2] | abbbb | 14 | lf:11,lp:2,ls:1,rf:8,rp:1 |
| [6/0] | bbbbbb | 23 | lf:23,rf:28,a:1 |
| [6/1] | bbbbba | 11 | lf:9,ls:2,rf:8,rs:1,a:1 |
| [6/2] | bbabbb | 11 | lf:7,lp:4,rf:5,rp:3,a:1 |
Considering [length 2 / frequency 0] bb=c.
Checking up to 20 rules for overlaps.
Rewriting system is not complete: pendingRulesLimit
| # | Rule |
|---|---|
| 1. | bc ⇒ cb |
| 2. | bb ⇒ c |
| 3. | acca ⇒ cac |
| 4. | caccca ⇒ acccac |
| 5. | bacccac ⇒ cbaccca |
| 6. | aacccacc ⇒ cacccca |
| 7. | caccccaa ⇒ aaccccac |
| 8. | caccccaca ⇒ acaccccac |
| 9. | ccbacccaa ⇒ baccccac |
| 10. | baaccccac ⇒ cbaccccaa |
| 11. | acaaccccac ⇒ cacccccaa |
| 12. | acccacccca ⇒ ccaccccac |
| 13. | bacaccccac ⇒ cbaccccaca |
| 14. | acacaccccac ⇒ cacccccaca |
| 15. | acccaccccca ⇒ cccaccccac |
| 16. | cacccccaaca ⇒ acaacccccac |
| 17. | cbaccccaaca ⇒ baacccccac |
| ... |
Collecting factors up to length 6 / frequency 5:
| [2/0] | cc | 49 | lf:47,lp:1,ls:1,rf:47,rp:2,a:2 |
|---|---|---|---|
| [2/1] | ac | 40 | lf:30,lp:5,ls:5,rf:27,rp:3,rs:9,lprs:3,a:2 |
| [2/2] | ca | 39 | lf:28,lp:4,ls:7,rf:24,rp:4,rs:4,lsrp:1,a:2 |
| [2/3] | aa | 10 | lf:7,lp:1,ls:2,rf:5,rp:1,rs:2,lsrp:1,a:5 |
| [2/4] | ba | 8 | lf:5,lp:3,rf:5,rp:2,a:6 |
| [3/0] | ccc | 28 | lf:28,rf:31,rp:1,a:4 |
| [3/1] | cac | 25 | lf:16,lp:4,ls:5,rf:17,rp:4,rs:9,re:1,lsrp:2,lprs:4,a:2 |
| [3/2] | acc | 22 | lf:18,lp:3,ls:1,rf:14,rp:1,a:2 |
| [3/3] | cca | 21 | lf:17,ls:4,rf:16,rp:1,rs:2,lsrp:1,a:2 |
| [3/4] | aca | 12 | lf:7,lp:2,ls:3,rf:4,rp:2,rs:2,lsrp:2,lprs:1,a:12 |
| [4/0] | ccca | 19 | lf:16,ls:3,rf:15,rp:1,rs:2,lsrp:1,a:4 |
| [4/1] | accc | 18 | lf:16,lp:2,rf:14,rp:1,a:4 |
| [4/2] | ccac | 14 | lf:9,ls:5,rf:12,rp:1,rs:8,a:4 |
| [4/3] | cacc | 14 | lf:9,lp:4,ls:1,rf:6,rp:3,lsrp:1,a:4 |
| [4/4] | cccc | 12 | lf:12,rf:16,a:5 |
| [5/0] | cccac | 14 | lf:9,ls:5,rf:11,rp:1,rs:8,a:4 |
| [5/1] | cccca | 12 | lf:10,ls:2,rf:12,rs:1,a:5 |
| [5/2] | caccc | 12 | lf:8,lp:4,rf:6,rp:3,a:4 |
| [5/3] | acccc | 10 | lf:10,rf:12,a:5 |
| [5/4] | accca | 9 | lf:6,lp:2,ls:1,rf:2,rp:1,rs:1,lsrp:10,a:4 |
Considering [length 2 / frequency 1] ac=d.
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | ac ⇒ d |
| 2. | bc ⇒ cb |
| 3. | bb ⇒ c |
| 4. | dca ⇒ cd |
| 5. | dcd ⇒ cdc |
| 6. | cdcca ⇒ dccd |
| 7. | dccdc ⇒ cdccd |
| 8. | ddcca ⇒ adccd |
| 9. | cbdcca ⇒ bdccd |
| 10. | cdccca ⇒ ddccd |
| 11. | cdccda ⇒ dcccd |
| 12. | dcccdc ⇒ cdccdd |
| 13. | dbdcca ⇒ abdccd |
| 14. | ddccca ⇒ addccd |
| 15. | ddccda ⇒ adcccd |
| 16. | cbdccca ⇒ bddccd |
| 17. | cbdccda ⇒ bdcccd |
| 18. | cdcccca ⇒ dddccd |
| 19. | cdcccda ⇒ ddcccd |
| 20. | cdccdda ⇒ dccccd |
| ... |
Collecting factors up to length 6 / frequency 5:
| [2/0] | dc | 25 | lf:19,lp:4,ls:2,rf:16,rp:3,rs:1,lprs:10,a:3 |
|---|---|---|---|
| [2/1] | cc | 22 | lf:22,rf:21,a:6 |
| [2/2] | cd | 21 | lf:14,lp:6,ls:1,rf:19,rp:4,rs:15,re:1,lsrp:10,lprs:6,a:3 |
| [2/3] | ca | 18 | lf:9,ls:9,a:3 |
| [2/4] | da | 10 | lf:5,ls:5,a:12 |
| [3/0] | dcc | 17 | lf:15,lp:2,rf:15,rp:3,a:6 |
| [3/1] | cdc | 16 | lf:8,lp:6,ls:2,rf:3,rp:3,rs:1,re:1,lsrp:2,a:5 |
| [3/2] | cca | 16 | lf:8,ls:8,a:6 |
| [3/3] | cda | 8 | lf:4,ls:4,a:12 |
| [3/4] | ccd | 7 | lf:7,rf:15,rs:14,a:6 |
| [4/0] | cdcc | 12 | lf:6,lp:6,rf:2,rp:2,a:6 |
| [4/1] | dcca | 8 | lf:4,ls:4,a:6 |
| [4/2] | ccda | 8 | lf:4,ls:4,a:12 |
| [4/3] | ccca | 8 | lf:4,ls:4,a:10 |
| [4/4] | dccc | 7 | lf:6,lp:1,rf:5,rp:2,a:10 |
| [5/0] | dccda | 6 | lf:3,ls:3,a:12 |
| [5/1] | dccca | 6 | lf:3,ls:3,a:10 |
| [5/2] | cdccc | 6 | lf:3,lp:3,a:10 |
| [5/3] | cbdcc | 6 | lf:3,lp:3,a:9 |
| [5/4] | bdcca | 4 | lf:2,ls:2,a:9 |
Considering [length 2 / frequency 0] dc=e.
Rewriting system is complete. See ⟨a, b | abbbba=bbabb⟩.