| Back: | ⟨a, b, c | bb=aa, aca=c⟩ |
|---|
Solved by morph:3/2. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | aab ⇒ baa |
| 2. | bb ⇒ aa |
| 3. | aca ⇒ c |
| 4. | acbaa ⇒ cab |
| 5. | acbabaa ⇒ cabab |
| 6. | acbababaa ⇒ cababab |
| 7. | acbabababaa ⇒ cabababab |
| 8. | acbababababaa ⇒ cababababab |
| 9. | acbabababababaa ⇒ cabababababab |
| 10. | acc ⇒ cca |
| 11. | acbc ⇒ cabcaa |
| 12. | acbac ⇒ cabca |
| 13. | acbabc ⇒ cababcaa |
| 14. | acbabac ⇒ cababca |
| 15. | acbababc ⇒ cabababcaa |
| 16. | acbababac ⇒ cabababca |
| 17. | acbabababc ⇒ cababababcaa |
| 18. | acbabababac ⇒ cababababca |
| 19. | acbababababc ⇒ cabababababcaa |
| 20. | acbababababac ⇒ cabababababca |
| ... |
Collecting factors up to length 4 / frequency 7:
| [2/0] | ac | 46 | lf:23,lp:18,ls:5,a:1 |
|---|---|---|---|
| [2/1] | ba | 46 | lf:46,rf:36,rp:1,a:2 |
| [2/2] | ab | 37 | lf:36,ls:1,rf:51,rs:6,a:2 |
| [2/3] | cb | 16 | lf:16,a:4 |
| [2/4] | aa | 14 | lf:7,lp:1,ls:6,rf:7,rp:1,rs:7,re:1,lprs:10 |
| [2/5] | bc | 10 | lf:5,ls:5,rf:10,a:5 |
| [2/6] | cc | 2 | lf:1,ls:1,rf:1,rp:1,lsrp:10,a:3 |
| [3/0] | bab | 35 | lf:35,rf:35,rs:5,a:6 |
| [3/1] | acb | 32 | lf:16,lp:16,a:4 |
| [3/2] | aba | 31 | lf:31,rf:35,a:6 |
| [3/3] | cba | 15 | lf:15,a:4 |
| [3/4] | baa | 12 | lf:6,ls:6,rf:1,rp:1,rs:1,re:1,a:2 |
| [3/5] | bac | 10 | lf:5,ls:5,a:5 |
| [3/6] | abc | 8 | lf:4,ls:4,rf:10,a:5 |
Considering [length 3 / frequency 2] aba=d.
Rewriting system is complete. See ⟨a, b, c | bb=aa, aca=c⟩.