| Back: | ⟨a, b | aaa=1, abaaba=bb⟩ |
|---|
Solved by morph:3/0. (See Morphocompletion.)
Checking up to 80 rules for overlaps.
Rewriting system is not complete: roundsLimit
| # | Rule |
|---|---|
| 1. | aaa ⇒ 1 |
| 2. | abaab ⇒ bbaa |
| 3. | aabb ⇒ baaba |
| 4. | abbaab ⇒ bbaabaa |
| 5. | ababb ⇒ bbaba |
| 6. | abbbaab ⇒ bbabba |
| 7. | abbabb ⇒ bbaababa |
| 8. | abbbbaab ⇒ bbabbabaa |
| 9. | abbbabb ⇒ bbabbba |
| 10. | abbbbbaab ⇒ bbabbbba |
| 11. | abbbbabb ⇒ bbabbababa |
| 12. | abbbbbbaab ⇒ bbabbbbabaa |
| 13. | abbbbbabb ⇒ bbabbbbba |
| 14. | abbbbbbbaab ⇒ bbabbbbbba |
| 15. | abbbbbbabb ⇒ bbabbbbababa |
| 16. | abbbbbbbbaab ⇒ bbabbbbbbabaa |
| 17. | abbbbbbbabb ⇒ bbabbbbbbba |
| 18. | abbbbbbbbbaab ⇒ bbabbbbbbbba |
| 19. | abbbbbbbbabb ⇒ bbabbbbbbababa |
| 20. | abbbbbbbbbbaab ⇒ bbabbbbbbbbabaa |
| 21. | abbbbbbbbbabb ⇒ bbabbbbbbbbba |
| 22. | abbbbbbbbbbbaab ⇒ bbabbbbbbbbbba |
| 23. | abbbbbbbbbbabb ⇒ bbabbbbbbbbababa |
| 24. | abbbbbbbbbbbbaab ⇒ bbabbbbbbbbbbabaa |
| 25. | abbbbbbbbbbbabb ⇒ bbabbbbbbbbbbba |
| 26. | abbbbbbbbbbbbbaab ⇒ bbabbbbbbbbbbbba |
| 27. | abbbbbbbbbbbbabb ⇒ bbabbbbbbbbbbababa |
| 28. | abbbbbbbbbbbbbbaab ⇒ bbabbbbbbbbbbbbabaa |
| 29. | abbbbbbbbbbbbbabb ⇒ bbabbbbbbbbbbbbba |
| 30. | abbbbbbbbbbbbbbbaab ⇒ bbabbbbbbbbbbbbbba |
| 31. | abbbbbbbbbbbbbbabb ⇒ bbabbbbbbbbbbbbababa |
| 32. | abbbbbbbbbbbbbbbbaab ⇒ bbabbbbbbbbbbbbbbabaa |
| 33. | abbbbbbbbbbbbbbbabb ⇒ bbabbbbbbbbbbbbbbba |
| 34. | abbbbbbbbbbbbbbbbbaab ⇒ bbabbbbbbbbbbbbbbbba |
| 35. | abbbbbbbbbbbbbbbbabb ⇒ bbabbbbbbbbbbbbbbababa |
| 36. | abbbbbbbbbbbbbbbbbbaab ⇒ bbabbbbbbbbbbbbbbbbabaa |
| 37. | abbbbbbbbbbbbbbbbbabb ⇒ bbabbbbbbbbbbbbbbbbba |
| 38. | abbbbbbbbbbbbbbbbbbbaab ⇒ bbabbbbbbbbbbbbbbbbbba |
| 39. | abbbbbbbbbbbbbbbbbbbaaba ⇒ bbabbbbbbbbbbbbbbbbbbaa |
| 40. | abbbbbbbbbbbbbbbbbbabb ⇒ bbabbbbbbbbbbbbbbbbababa |
| 41. | abbbbbbbbbbbbbbbbbbabba ⇒ bbabbbbbbbbbbbbbbbbababaa |
| 42. | abbbbbbbbbbbbbbbbbbbbaab ⇒ bbabbbbbbbbbbbbbbbbbbabaa |
| 43. | abbbbbbbbbbbbbbbbbbbbaaba ⇒ bbabbbbbbbbbbbbbbbbbbab |
| 44. | abbbbbbbbbbbbbbbbbbbabb ⇒ bbabbbbbbbbbbbbbbbbbbba |
| 45. | abbbbbbbbbbbbbbbbbbbabba ⇒ bbabbbbbbbbbbbbbbbbbbbaa |
| 46. | abbbbbbbbbbbbbbbbbbbbbaab ⇒ bbabbbbbbbbbbbbbbbbbbbba |
| 47. | abbbbbbbbbbbbbbbbbbbbbaaba ⇒ bbabbbbbbbbbbbbbbbbbbbbaa |
| ... |
Collecting factors up to length 14, frequency 2:
| Length 2: | [2/0] bb, [2/1] ab |
|---|---|
| Length 3: | [3/0] bba, [3/1] aba |
| Length 4: | [4/0] bbbb, [4/1] bbab |
| Length 5: | [5/0] bbabb, [5/1] bbaab |
| Length 6: | [6/0] bbbbbb, [6/1] abbbbb |
| Length 7: | [7/0] abbbbba, [7/1] bbbbbbb |
| Length 8: | [8/0] bbbbbbbb, [8/1] abbbbbbb |
| Length 9: | [9/0] abbbbbbba, [9/1] bbbbbbbbb |
| Length 10: | [10/0] abbbbbbbbb, [10/1] bbbbbbbbbb |
| Length 11: | [11/0] abbbbbbbbba, [11/1] abbbbbbbbbb |
| Length 12: | [12/0] abbbbbbbbbbb, [12/1] bbabbbbbbbbb |
| Length 13: | [13/0] abbbbbbbbbbba, [13/1] bbabbbbbbbbbb |
Considering [length 3 / frequency 0] bba=c.
Rewriting system is complete. See ⟨a, b | aaa=1, abaaba=bb⟩.