| Back: | ⟨a, b | aabbabba=baa⟩ |
|---|
Solved by morph:3/0,4/0,2/1. (See Morphocompletion.)
Checking up to 20 rules for overlaps.
Rewriting system is not complete: rulesLimit
| # | Rule |
|---|---|
| 1. | aabbabba ⇒ baa |
| 2. | aabbabbbaa ⇒ babaa |
| 3. | aabbabbbbaa ⇒ babbaa |
| 4. | aabbabbbabaa ⇒ bababaa |
| 5. | aabbabbbbbaa ⇒ babbbaa |
| 6. | aabbabbbabbaa ⇒ bababbaa |
| 7. | aabbabbbbabaa ⇒ babbabaa |
| ... |
Collecting factors up to length 7, frequency 3:
| Length 2: | [2/0] aa, [2/1] bb, [2/2] ba |
|---|---|
| Length 3: | [3/0] bba, [3/1] abb, [3/2] aab |
| Length 4: | [4/0] aabb, [4/1] bbab, [4/2] abba |
| Length 5: | [5/0] aabba, [5/1] bbabb, [5/2] abbab |
| Length 6: | [6/0] aabbab, [6/1] abbabb, [6/2] bbabbb |
Considering [length 3 / frequency 0] bba=c.
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | aacccc ⇒ ca |
| 2. | baa ⇒ aacc |
| 3. | bca ⇒ cacc |
| 4. | baca ⇒ aaccacccc |
| 5. | bcca ⇒ caccacccc |
| 6. | bacca ⇒ aaccaccccacccc |
| 7. | bccca ⇒ caccaccccacccc |
| 8. | baccca ⇒ aaccaccccaccccacccc |
| 9. | bcccca ⇒ caccaccccaccccacccc |
| 10. | bacccca ⇒ aaccaccccaccccaccccacccc |
| 11. | bccccca ⇒ caccaccccaccccaccccacccc |
| 12. | baccccca ⇒ aaccaccccaccccaccccaccccacccc |
| 13. | bcccccca ⇒ caccaccccaccccaccccaccccacccc |
| 14. | bacccccca ⇒ aaccaccccaccccaccccaccccaccccacccc |
| 15. | bccccccca ⇒ caccaccccaccccaccccaccccaccccacccc |
| 16. | baccccccca ⇒ aaccaccccaccccaccccaccccaccccaccccacccc |
| 17. | bcccccccca ⇒ caccaccccaccccaccccaccccaccccaccccacccc |
| 18. | bacccccccca ⇒ aaccaccccaccccaccccaccccaccccaccccaccccacccc |
| 19. | bccccccccca ⇒ caccaccccaccccaccccaccccaccccaccccaccccacccc |
| 20. | bba ⇒ c |
| ... |
Collecting factors up to length 6, frequency 5:
| Length 2: | [2/0] cc, [2/1] ca, [2/2] ba, [2/3] bc, [2/4] ac |
|---|---|
| Length 3: | [3/0] ccc, [3/1] cca, [3/2] bcc, [3/3] bac, [3/4] acc |
| Length 4: | [4/0] cccc, [4/1] ccca, [4/2] bccc, [4/3] bacc, [4/4] accc |
| Length 5: | [5/0] ccccc, [5/1] cccca, [5/2] bcccc, [5/3] baccc, [5/4] acccc |
Considering [length 4 / frequency 0] cccc=d.
Checking up to 20 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | aadadadad ⇒ da |
| 2. | ca ⇒ aad |
| 3. | cd ⇒ dc |
| 4. | cccc ⇒ d |
| 5. | baa ⇒ aacc |
| 6. | bda ⇒ aadaadaddadad |
| 7. | bada ⇒ aaaadaddadadad |
| 8. | bdda ⇒ aadaadaddadadadadadad |
| 9. | badda ⇒ aaaadaddadadadadadadad |
| 10. | bddda ⇒ aadaadaddadadadadadadadadadad |
| 11. | baddda ⇒ aaaadaddadadadadadadadadadadad |
| 12. | bdddda ⇒ aadaadaddadadadadadadadadadadadadadad |
| 13. | badddda ⇒ aaaadaddadadadadadadadadadadadadadadad |
| 14. | bddddda ⇒ aadaadaddadadadadadadadadadadadadadadadadadad |
| 15. | baddddda ⇒ aaaadaddadadadadadadadadadadadadadadadadadadad |
| 16. | bdddddda ⇒ aadaadaddadadadadadadadadadadadadadadadadadadadadadad |
| 17. | badddddda ⇒ aaaadaddadadadadadadadadadadadadadadadadadadadadadadad |
| 18. | bddddddda ⇒ aadaadaddadadadadadadadadadadadadadadadadadadadadadadadadadad |
| 19. | baddddddda ⇒ aaaadaddadadadadadadadadadadadadadadadadadadadadadadadadadadad |
| 20. | bba ⇒ c |
| ... |
Collecting factors up to length 6, frequency 5:
| Length 2: | [2/0] dd, [2/1] da, [2/2] ba, [2/3] bd, [2/4] ad |
|---|---|
| Length 3: | [3/0] ddd, [3/1] dda, [3/2] bad, [3/3] bdd, [3/4] add |
| Length 4: | [4/0] dddd, [4/1] ddda, [4/2] badd, [4/3] bddd, [4/4] addd |
| Length 5: | [5/0] dddda, [5/1] ddddd, [5/2] baddd, [5/3] bdddd, [5/4] adddd |
Considering [length 2 / frequency 1] da=e.
Rewriting system is complete. See ⟨a, b | aabbabba=baa⟩.