| Back: | ⟨a, b | abbbba=bab⟩ |
|---|
Solved by morph:2/1,2/1,2/1,2/0. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: rulesLimit
| # | Rule |
|---|---|
| 1. | abbbba ⇒ bab |
| 2. | abbbbbab ⇒ babbbbba |
| 3. | aabbbbbbab ⇒ babbbbbbaa |
| 4. | ababbbbbbab ⇒ babbbbbbaba |
| 5. | bbbbabbbbbaa ⇒ abbbbbbab |
| 6. | abbabbbbbbab ⇒ babbbbbbabba |
| 7. | babbbbbbaabbba ⇒ aabbbbbbbab |
| 8. | abbbbbbabbbbba ⇒ babbbbbbabb |
| 9. | babbbbbbababbba ⇒ ababbbbbbbab |
| ... |
Collecting factors up to length 4 / frequency 3:
| [2/0] | bb | 54 | lf:53,lp:1,rf:43,rs:1 |
|---|---|---|---|
| [2/1] | ab | 28 | lf:19,lp:5,ls:4,rf:16,rp:2,rs:4,lprs:1 |
| [2/2] | ba | 24 | lf:18,lp:2,ls:4,rf:17,rp:6,rs:3,lsrp:2 |
| [3/0] | bbb | 40 | lf:39,lp:1,rf:33 |
| [3/1] | bab | 18 | lf:12,lp:2,ls:4,rf:13,rp:6,rs:4,re:1,lsrp:4,lprs:2 |
| [3/2] | bba | 18 | lf:14,ls:4,rf:9,rs:2 |
Considering [length 2 / frequency 1] ab=c.
Checking up to 20 rules for overlaps.
Rewriting system is not complete: pendingRulesLimit
| # | Rule |
|---|---|
| 1. | ab ⇒ c |
| 2. | cbbba ⇒ bc |
| 3. | cbbbc ⇒ bcb |
| 4. | bcbbbba ⇒ cbbbbc |
| 5. | cbbbbcb ⇒ bcbbbbc |
| 6. | ccbbbba ⇒ acbbbbc |
| 7. | bcbbbbbaa ⇒ acbbbbbc |
| 8. | bcbbbbbca ⇒ ccbbbbbc |
| 9. | acbbbbbcb ⇒ bcbbbbbac |
| 10. | cbbcbbbbc ⇒ bcbbbbba |
| 11. | ccbbbbbaa ⇒ aacbbbbbc |
| 12. | ccbbbbbcb ⇒ bcbbbbbcc |
| 13. | ccbbbbbca ⇒ accbbbbbc |
| 14. | bbbcbbbbca ⇒ cbbbbbc |
| 15. | bbbcbbbbcc ⇒ cbbbbbcb |
| 16. | bcbbbbbcba ⇒ cbcbbbbbc |
| 17. | acbcbbbbbc ⇒ bcbbbbbcca |
| 18. | cbcbbbbbcb ⇒ bcbbbbbcbc |
| 19. | bcbbbbbcbca ⇒ ccbcbbbbbc |
| ... |
Collecting factors up to length 5 / frequency 3:
| [2/0] | bb | 69 | lf:67,lp:2,rf:61,a:2 |
|---|---|---|---|
| [2/1] | cb | 36 | lf:27,lp:5,ls:4,rf:21,rp:4,rs:2,lprs:1,a:2 |
| [2/2] | bc | 32 | lf:24,lp:5,ls:3,rf:25,rp:8,rs:12,re:1,lsrp:3,lprs:5,a:2 |
| [3/0] | bbb | 48 | lf:46,lp:2,rf:45,a:2 |
| [3/1] | bcb | 25 | lf:16,lp:5,ls:4,rf:11,rp:7,rs:2,re:1,lsrp:4,a:3 |
| [3/2] | cbb | 23 | lf:19,lp:4,rf:16,rp:3,a:2 |
| [4/0] | bbbb | 26 | lf:26,rf:29,a:4 |
| [4/1] | cbbb | 21 | lf:18,lp:3,rf:16,rp:3,a:2 |
| [4/2] | bbbc | 20 | lf:15,lp:2,ls:3,rf:14,rs:10,lprs:1,a:3 |
Considering [length 2 / frequency 1] cb=d.
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | ab ⇒ c |
| 2. | cb ⇒ d |
| 3. | dbba ⇒ bc |
| 4. | dbbc ⇒ bd |
| 5. | dbbd ⇒ bdb |
| 6. | bdbbba ⇒ dbbbc |
| 7. | bdbbbc ⇒ dbbbd |
| 8. | cdbbba ⇒ adbbbc |
| 9. | cdbbbc ⇒ adbbbd |
| 10. | dbbbdb ⇒ bdbbbd |
| 11. | ddbbba ⇒ adbbbd |
| 12. | ddbbbc ⇒ cdbbbd |
| 13. | bdbbbba ⇒ ddbbbd |
| 14. | cdbbbba ⇒ addbbbd |
| 15. | dbdbbbd ⇒ bdbbbbc |
| 16. | ddbbbba ⇒ cddbbbd |
| 17. | ddbbbda ⇒ adbbbbc |
| 18. | ddbbbdc ⇒ adbbbbd |
| 19. | bbdbbbda ⇒ dbbbbc |
| 20. | bbdbbbdc ⇒ dbbbbd |
| ... |
Collecting factors up to length 4 / frequency 3:
| [2/0] | bb | 40 | lf:38,lp:2,rf:35,a:3 |
|---|---|---|---|
| [2/1] | db | 26 | lf:20,lp:5,ls:1,rf:16,rp:4,rs:1,lprs:1,a:3 |
| [2/2] | bd | 18 | lf:13,lp:3,ls:2,rf:14,rp:4,rs:11,re:1,lsrp:2,lprs:2,a:4 |
| [3/0] | dbb | 22 | lf:18,lp:4,rf:15,rp:4,a:3 |
| [3/1] | bbb | 18 | lf:18,rf:20,a:6 |
| [3/2] | bba | 14 | lf:7,ls:7,a:3 |
Considering [length 2 / frequency 1] db=e.
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | ab ⇒ c |
| 2. | cb ⇒ d |
| 3. | db ⇒ e |
| 4. | eba ⇒ bc |
| 5. | ebc ⇒ bd |
| 6. | ebd ⇒ be |
| 7. | ebe ⇒ beb |
| 8. | bebba ⇒ ebbc |
| 9. | bebbc ⇒ ebbd |
| 10. | bebbd ⇒ ebbe |
| 11. | cebba ⇒ aebbc |
| 12. | cebbc ⇒ aebbd |
| 13. | cebbd ⇒ aebbe |
| 14. | debba ⇒ aebbd |
| 15. | debbc ⇒ aebbe |
| 16. | debbd ⇒ cebbe |
| 17. | ebbeb ⇒ bebbe |
| 18. | eebba ⇒ aebbe |
| 19. | eebbc ⇒ cebbe |
| 20. | eebbd ⇒ debbe |
| ... |
Collecting factors up to length 7 / frequency 2:
| [2/0] | eb | 24 | lf:18,lp:5,ls:1,rf:14,rp:3,rs:1,lprs:10,a:4 |
|---|---|---|---|
| [2/1] | bb | 13 | lf:13,rf:13,a:8 |
| [3/0] | ebb | 14 | lf:13,lp:1,rf:13,rp:3,a:8 |
| [3/1] | beb | 8 | lf:4,lp:3,ls:1,rf:2,rp:2,rs:1,re:1,lsrp:1,a:7 |
| [4/0] | ebbd | 8 | lf:4,ls:4,rf:3,rp:1,rs:3,re:1,a:9 |
| [4/1] | ebbc | 8 | lf:4,ls:4,rf:2,rp:1,rs:2,re:1,a:8 |
| [5/0] | debbe | 0 | rf:1,rp:1,rs:1,re:1,a:22 |
| [5/1] | cebbe | 0 | rf:2,rp:2,rs:2,re:2,a:18 |
Considering [length 2 / frequency 0] eb=f.
Rewriting system is complete. See ⟨a, b | abbbba=bab⟩.