| Back: | ⟨a, b | abaaab=baaba⟩ |
|---|
Solved by morph:3/2,2/2,2/0. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | baaba ⇒ abaaab |
| 2. | abaaababa ⇒ baaabaaab |
| 3. | abaaaabaaabba ⇒ babaaabaaab |
| 4. | abaaabaaabaaabba ⇒ bababaaabaaab |
| 5. | abaaabbaaababa ⇒ baabbaaabaaab |
| 6. | abaaaabaaaabaaabaabba ⇒ babababaaabaaab |
| 7. | abaaabbaaaabaaabba ⇒ baabbabaaabaaab |
| 8. | abaaabaabbaaababa ⇒ babaabbaaabaaab |
| 9. | abaaabaaabaaaabaaabaabba ⇒ bababababaaabaaab |
| 10. | abaaabbaaabaaabaaabba ⇒ baabbababaaabaaab |
| 11. | abaaabaabbaaaabaaabba ⇒ babaabbabaaabaaab |
| 12. | abaaaabaaababbaaababa ⇒ bababaabbaaabaaab |
| 13. | abaaabbaaabbaaababa ⇒ baabbaabbaaabaaab |
| 14. | abaaabbaaaabaaaabaaabaabba ⇒ baabbabababaaabaaab |
| 15. | abaaabaabbaaabaaabaaabba ⇒ babaabbababaaabaaab |
| 16. | abaaaabaaababbaaaabaaabba ⇒ bababaabbabaaabaaab |
| 17. | abaaabbaaabbaaaabaaabba ⇒ baabbaabbabaaabaaab |
| 18. | abaaabaaabaaababbaaababa ⇒ babababaabbaaabaaab |
| 19. | abaaabbaaabaabbaaababa ⇒ baabbabaabbaaabaaab |
| 20. | abaaabaabbaaabbaaababa ⇒ babaabbaabbaaabaaab |
| ... |
Collecting factors up to length 7, frequency 3:
| Length 2: | [2/0] aa, [2/1] ba, [2/2] ab |
|---|---|
| Length 3: | [3/0] aba, [3/1] aaa, [3/2] baa |
| Length 4: | [4/0] abaa, [4/1] baaa, [4/2] aaab |
| Length 5: | [5/0] abaaa, [5/1] baaab, [5/2] aaaba |
| Length 6: | [6/0] abaaab, [6/1] aaabaa, [6/2] baaaba |
Considering [length 3 / frequency 2] baa=c.
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | baa ⇒ c |
| 2. | cca ⇒ acac |
| 3. | cba ⇒ acab |
| 4. | acaba ⇒ cc |
| 5. | acaacab ⇒ bacc |
| 6. | acacacab ⇒ babacc |
| 7. | acabcaba ⇒ cbcc |
| 8. | acaacaacacb ⇒ bababacc |
| 9. | acabcaacab ⇒ cbbacc |
| 10. | acacbcaba ⇒ bacbcc |
| 11. | acacacaacacb ⇒ babababacc |
| 12. | acabcacacab ⇒ cbbabacc |
| 13. | acacbcaacab ⇒ bacbbacc |
| 14. | acaccbcaba ⇒ babacbcc |
| 15. | acabcabcaba ⇒ cbcbcc |
| 16. | acacbcacacab ⇒ bacbbabacc |
| 17. | acabcabcaacab ⇒ cbcbbacc |
| 18. | acacccbcaba ⇒ bababacbcc |
| 19. | acabcacbcaba ⇒ cbbacbcc |
| 20. | acacbcabcaba ⇒ bacbcbcc |
| ... |
Collecting factors up to length 6, frequency 5:
| Length 2: | [2/0] ac, [2/1] ca, [2/2] ab, [2/3] ba, [2/4] bc |
|---|---|
| Length 3: | [3/0] aca, [3/1] cab, [3/2] cac, [3/3] bca, [3/4] aba |
| Length 4: | [4/0] acab, [4/1] acac, [4/2] caba, [4/3] bcab, [4/4] cacb |
| Length 5: | [5/0] bcaba, [5/1] acacb, [5/2] acabc, [5/3] cabca, [5/4] aacab |
Considering [length 2 / frequency 2] ab=d.
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | daa ⇒ ac |
| 2. | ab ⇒ d |
| 3. | baa ⇒ c |
| 4. | cca ⇒ acac |
| 5. | acda ⇒ cc |
| 6. | dada ⇒ aacd |
| 7. | bada ⇒ acd |
| 8. | cb ⇒ bad |
| 9. | acaacd ⇒ bacc |
| 10. | ccda ⇒ bacc |
| 11. | acdda ⇒ cacd |
| 12. | acdb ⇒ badd |
| 13. | acacacd ⇒ bdacc |
| 14. | acdcda ⇒ badcc |
| 15. | ccdda ⇒ bacacd |
| 16. | ccdb ⇒ bdadd |
| 17. | ccdcda ⇒ bdadcc |
| 18. | acdcdda ⇒ badcacd |
| 19. | acdcdb ⇒ badbadd |
| 20. | ccdcdb ⇒ bdadbadd |
| ... |
Collecting factors up to length 6, frequency 5:
| Length 2: | [2/0] da, [2/1] cd, [2/2] ac, [2/3] cc, [2/4] db |
|---|---|
| Length 3: | [3/0] acd, [3/1] ccd, [3/2] cdb, [3/3] cda, [3/4] dda |
| Length 4: | [4/0] cdda, [4/1] acdc, [4/2] cdcd, [4/3] dcdb, [4/4] ccdc |
| Length 5: | [5/0] acdcd, [5/1] cdcdb, [5/2] ccdcd, [5/3] cdcda, [5/4] dcdda |
Considering [length 2 / frequency 0] da=e.
Rewriting system is complete. See ⟨a, b | abaaab=baaba⟩.