| Back: | ⟨a, b, c | bb=aa, acb=c⟩ |
|---|
Solved by morph:3/0. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | aab ⇒ baa |
| 2. | bb ⇒ aa |
| 3. | acaa ⇒ cb |
| 4. | acb ⇒ c |
| 5. | acabaa ⇒ cbab |
| 6. | acababaa ⇒ cbabab |
| 7. | acabababaa ⇒ cbababab |
| 8. | acababababaa ⇒ cbabababab |
| 9. | acabababababaa ⇒ cbababababab |
| 10. | acc ⇒ cbcaa |
| 11. | acac ⇒ cbcb |
| 12. | acabc ⇒ cbabcaa |
| 13. | acabac ⇒ cbabcb |
| 14. | acababc ⇒ cbababcaa |
| 15. | acababac ⇒ cbababcb |
| 16. | acabababc ⇒ cbabababcaa |
| 17. | acabababac ⇒ cbabababcb |
| 18. | acababababc ⇒ cbababababcaa |
| 19. | acababababac ⇒ cbababababcb |
| 20. | acabababababac ⇒ cbabababababcb |
| ... |
Collecting factors up to length 4 / frequency 7:
| [2/0] | ac | 48 | lf:24,lp:18,ls:6,a:1 |
|---|---|---|---|
| [2/1] | ab | 42 | lf:41,ls:1,rf:40,rs:5,a:2 |
| [2/2] | ba | 36 | lf:36,rf:41,rp:1,a:2 |
| [2/3] | ca | 16 | lf:16,rf:5,a:3 |
| [2/4] | aa | 14 | lf:7,lp:1,ls:6,rf:7,rp:1,rs:7,re:1,lprs:10 |
| [2/5] | bc | 8 | lf:4,ls:4,rf:11,a:4 |
| [2/6] | cc | 2 | lf:1,ls:1,a:6 |
| [3/0] | aba | 36 | lf:36,rf:26,a:5 |
| [3/1] | aca | 32 | lf:16,lp:16,a:3 |
| [3/2] | bab | 26 | lf:26,rf:40,rs:5,a:5 |
| [3/3] | cab | 14 | lf:14,a:5 |
| [3/4] | bac | 10 | lf:5,ls:5,a:7 |
| [3/5] | baa | 10 | lf:5,ls:5,rf:1,rp:1,rs:1,re:1,a:2 |
| [3/6] | abc | 8 | lf:4,ls:4,rf:9,a:7 |
Considering [length 3 / frequency 0] aba=d.
Rewriting system is complete. See ⟨a, b, c | bb=aa, acb=c⟩.